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
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 contributionAcademicpeer-review

Open Access
File
Synchronization
Cost functions
Industry

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time
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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

File
5 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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

Open Access
File