Vincent Bloemen

According to our database, Vincent Bloemen authored at least 10 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones.

Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol

Inf. Syst., 2022

2020

STBins: Visual Tracking and Comparison of Multiple Data Sequences Using Temporal Binning.

Ji Qi, Vincent Bloemen, Shihan Wang, Jarke J. van Wijk, Huub van de Wetering

IEEE Trans. Vis. Comput. Graph., 2020

2019

Model checking with generalized Rabin and Fin-less automata.

Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2019

Minimal-Time Synthesis for Parametric Timed Automata.

Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Maximizing Synchronization for Aligning Observed and Modelled Behaviour.

Vincent Bloemen, Sebastiaan J. van Zelst, Wil M. P. van der Aalst, Boudewijn F. van Dongen, Jaco van de Pol

Proceedings of the Business Process Management - 16th International Conference, 2018

Symbolically Aligning Observed and Modelled Behaviour.

Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.

Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Explicit state model checking with generalized Büchi and Rabin automata.

Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Multi-core on-the-fly SCC decomposition.

Vincent Bloemen, Alfons Laarman, Jaco van de Pol

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Multi-core SCC-Based LTL Model Checking.

Vincent Bloemen, Jaco van de Pol

Proceedings of the Hardware and Software: Verification and Testing, 2016