No photo of Vincent Bloemen

Vincent Bloemen

20142017
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 21 Similar Profiles
Model checking Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Specifications Engineering & Materials Science
Hardware Engineering & Materials Science
Set theory Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2017

  • 5 Conference contribution

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Bloemen, V., Duret-Lutz, A. & Pol, J. V. D. Jul 2017 SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 50-59 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Set theory
Experiments
9 Citations

Multi-Core On-The-Fly SCC Decomposition

Bloemen, V., Laarman, A. & van de Pol, J. C. Mar 2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: Association for Computing Machinery, p. 8 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2 Citations

Multi-core SCC-Based LTL Model Checking

Bloemen, V. & van de Pol, J. C. Nov 2016 Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer International Publishing, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Parallel Model Checking of ω-Automata

Bloemen, V. 8 Nov 2016 Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016). Butterfield, A. & Rossi, M. (eds.). Aachen: CEUR Workshop Proceedings, p. 1 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Model checking
Parallel algorithms
Specifications
Hardware

Extending the Finite Domain Solver of GNU Prolog

Bloemen, V., Diaz, D., van der Bijl, M. & Abreu, S. Jul 2014 Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014. Ströder, T. & Swift, T. (eds.). Aachen: RWTH Aachen, p. 47-62 16 p. (Aachener Informatik-Berichte (AIB); no. 2014-09)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File