V. Bloemen MSc (Vincent)



Model Checking
Parallel Algorithms


Bloemen, V., Duret-Lutz, A., & Pol, J. V. D. (2017). Explicit State Model Checking with Generalized Büchi and Rabin Automata. In SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 50-59). Association for Computing Machinery. DOI: 10.1145/3092282.3092288
Bloemen, V., Laarman, A., & van de Pol, J. C. (2016). Multi-Core On-The-Fly SCC Decomposition. In Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016 (pp. 8). New York: Association for Computing Machinery. DOI: 10.1145/2851141.2851161
Bloemen, V. (2016). Parallel Model Checking of ω-Automata. In A. Butterfield, & M. Rossi (Eds.), Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016) (pp. 1). Aachen: CEUR Workshop Proceedings.
Bloemen, V., & van de Pol, J. C. (2016). Multi-core SCC-Based LTL Model Checking. In R. Bloem, & E. Arbel (Eds.), Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016 (pp. 18-33). (Lecture Notes in Computer Science; Vol. 10028). Cham: Springer International Publishing. DOI: 10.1007/978-3-319-49052-6_2
Bloemen, V., Diaz, D., van der Bijl, M., & Abreu, S. (2014). Extending the Finite Domain Solver of GNU Prolog. In T. Ströder, & T. Swift (Eds.), Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 (pp. 47-62). (Aachener Informatik-Berichte (AIB); No. 2014-09). Aachen: RWTH Aachen.

Pure Link



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

Navigeer naar locatie


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