Welcome...

W.H.M. Oortwijn MSc (Wytse)

PhD Candidate / PhD Student

Expertise

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

Publications

Recent Articles
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

UT Research Information System

Contact Details

Visiting Address

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

Navigate to location

Mailing Address

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