No photo of Vincent Bloemen

Vincent Bloemen

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

Research Output 2014 2018

  • 6 Conference contribution
  • 1 Chapter
Filter
Conference contribution
2018

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J. 2018 Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer International, Vol. 11080, p. 233-249 17 p.

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

Open Access
File
Synchronization
Cost functions
Industry
2017

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

Bloemen, V., Duret-Lutz, A. & van de Pol, J. 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
2016
10 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
3 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
2014

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