W.H.M. Oortwijn MSc (Wytse)



Message Passing
Positive Ions
Model Checking
Emergency Services
Air Traffic Control
Control Systems


Recente Artikelen
Oortwijn, W., Dijk, T. V., & Pol, J. V. D. (2017). Distributed Binary Decision Diagrams for Symbolic Reachability. In SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 21-30). ACM. DOI: 10.1145/3092282.3092284
Orchard, D. (Ed.), Oortwijn, W. H. M., Yoshida, N. (Ed.), Blom, S., & Huisman, M. (2016). Future-based Static Analysis of Message Passing Programs. 65-72. Paper presented at Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, .DOI: 10.4204/EPTCS.211.7
Oortwijn, W. H. M., van Dijk, T., & van de Pol, J. C. (2015). A Distributed Hash Table for Shared Memory. In R. Wyrzykowski, E. Deelman, J. Dongarra, K. Karczewski, J. Kitowski, & K. Wiatr (Eds.), Proceedings of the 11th International Conference on Parallel Processing and Applied Mathematics (PPAM 2016), Revised Selected Papers (pp. 15-24). (Lecture Notes in Computer Science; Vol. 9574). London: Springer. DOI: 10.1007/978-3-319-32152-3_2

Pure Link



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

Navigeer naar locatie


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