Welkom...

V. Bloemen MSc (Vincent)

Promovendus

Expertises

Model Checking
Parallel Algorithms
Serum
Specifications
Bone And Bones
In Vitro Techniques
Hardware
Bone Morphogenetic Protein 2
Periosteum

Publicaties

Recente Artikelen
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). ACM. 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: ACM. 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., Bloemen, V., Diaz, D., van der Bijl, H. 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; Vol. 2014-09, No. AIB-2014-09). Aachen: RWTH Aachen, Department of Computer Science.

Pure Link

Contactgegevens

Bezoekadres

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

Navigeer naar locatie

Postadres

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