prof.dr. M. Huisman (Marieke)



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

Pure Link



Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3039
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie


Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3039
Postbus 217
7500 AE Enschede