prof.dr. M. Huisman (Marieke)

Full Professor


Model Checking
Software Industry
Formal Methods
Software Development
Computer Science
Technical Presentations
Static Analysis
Message Passing
Graphics Processing Unit
Quality Assurance
Particle Accelerators
Concurrency Control
Technical Presentations
Information Flow


Joosten, S. J. C., Oortwijn, W., Safari, M., & Huisman, M. (2018). An Exercise in Verifying Sequential Programs with VerCors. Paper presented at 20th Workshop on Formal Techniques for Java-like Programs Formal techniques, Amsterdam, Netherlands.
Gomes, P. D. C., Gurov, D., Huisman, M., & Artho, C. (2018). Specification and verification of synchronization with condition variables. Science of computer programming, 163, 174-189. DOI: 10.1016/j.scico.2018.05.001
Huisman, M., Varbanescu, A. L., van Werkhoven, B., & Wijs, A. (2018). An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop. Paper presented at Fourth workshop in NIRICT GPGPU Reconnaissance workshop series, Utrecht, Netherlands.
Amighi, A., Huisman, M., & Blom, S. (2018). Verification of Shared-Reading Synchronisers. In S. Bensalem, & S. Bliudze (Eds.), 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid)
Huisman, M. (2018). Mercedes:: Maximal Reliability of Concurrent and Distributed Software. Paper presented at ICT.OPEN 2018, Amersfoort, Netherlands.
Huisman, M. (2017). A verification technique for deterministic parallel programs: Invited abstract. In W. Vanhoof, & B. Pientka (Eds.), Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 (pp. 3). ACM/Sheridan. DOI: 10.1145/3131851.3131852
Huisman, M., Monahan, R., Müller, P., Mostowski, W., & Ulbrich, M. (2017). VerifyThis 2017: A Program Verification Competition. (Karlsruhe Reports in Informatics; No. 2017 - 10). Karlsruhe Institute of Technology. DOI: 10.5445/ir/1000077160

UT Research Information System

Contact Details

Visiting Address

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

Navigate to location

Mailing Address

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