prof.dr. M. Huisman (Marieke)



Particle Accelerators
Concurrency Control
Technical Presentations
Information Flow
Computer Programming Languages
Data Structures
Computer Science


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
Huisman, M. (2017). Verification of Concurrent Software with VerCors. In M. Walden (Ed.), Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT) (pp. 2). (TUCS lecture notes; No. 27).
Huisman, M., Noll, T., & Tatsuta, M. (2017). Analysis and Verification of Pointer Programs. (NII Shonan Meeting Reports; No. 2017-14). Tokyo, Japan: National Institute of Informatics.

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