Welcome...

prof.dr. M. Huisman (Marieke)

Full Professor

About Me

For more info about Marieke Huisman on the 'Featured Scientists' page, click below:

Ancillary Activities

  • stichting NLNet labs
    lid Raad van Toezicht

Publications

Recent
Groote, J. F. , & Huisman, M. (2024). Formal Methods for Industrial Critical Systems. International journal on software tools for technology transfer. Advance online publication. https://doi.org/10.1007/s10009-024-00744-3
Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. , & Huisman, M. (2024). Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. In R. Dimitrova, O. Lahav, & S. Wolff (Eds.), Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS). Springer. https://doi.org/10.1007/978-3-031-50521-8_9
Armborst, L. , Lathouwers, S. , & Huisman, M. (2024). Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In P. Herber, & A. Wijs (Eds.), iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture Notes in Computer Science; Vol. 14300). Springer. https://doi.org/10.1007/978-3-031-47705-8_9
Gurov, D., Hähnle, R. , Huisman, M., Reger, G., & Lidström, C. (2023). Principles of Contract Languages: Dagstuhl Seminar 22451. Dagstuhl reports, 12(11), 1-27. https://doi.org/10.4230/DagRep.12.11.1
Huisman, M., Pasareanu, C., & Zhan, N. (2023). Introduction to the Special Section on FM 2021. Formal aspects of computing, 35(2), 1-2. Article 6. https://doi.org/10.1145/3604594
Starink, J. , Huisman, M. , Peter, A. , & Continella, A. (2023). Understanding and Measuring Inter-Process Code Injection in Windows Malware. In Proceedings of the International Conference on Security and Privacy in Communication Networks (SecureComm 2023)
Huisman, M., Păsăreanu, C. S., & Zhan, N. (2023). Preface for the formal methods in system design special issue on ‘Formal Methods 2021’. Formal methods in system design, 61, 1-2. Advance online publication. https://doi.org/10.1007/s10703-023-00438-7

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3055
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3055
P.O. Box 217
7500 AE Enschede
The Netherlands