No photo of Vincent Bloemen

Vincent Bloemen

20142018
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.

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Temporal logic Engineering & Materials Science
Temporal Logic Mathematics
Model Checking Mathematics
Linear Time Mathematics
Synchronization Engineering & Materials Science
Cost functions Engineering & Materials Science

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

Research Output 2014 2018

  • 6 Conference contribution
  • 1 Chapter

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

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 proceedingChapter

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time

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