Vincent Bloemen
Vincent Bloemen
Verified email at utwente.nl
TitleCited byYear
Multi-core on-the-fly SCC decomposition
V Bloemen, A Laarman, J van de Pol
ACM SIGPLAN Notices 51 (8), 8, 2016
272016
Multi-core SCC-based LTL model checking
V Bloemen, J van de Pol
Haifa Verification Conference, 18-33, 2016
122016
On-The-Fly parallel decomposition of strongly connected components
V Bloemen
University of Twente, 2015
92015
Maximizing synchronization for aligning observed and modelled behaviour
V Bloemen, SJ van Zelst, WMP van der Aalst, BF van Dongen, ...
International Conference on Business Process Management, 233-249, 2018
82018
Symbolically aligning observed and modelled behaviour
V Bloemen, J van de Pol, WMP van der Aalst
2018 18th International Conference on Application of Concurrency to System …, 2018
52018
Parallel model checking algorithms for linear-time temporal logic
J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ...
Handbook of Parallel Constraint Reasoning, 457-507, 2018
52018
Model checking with generalized Rabin and Fin-less automata
V Bloemen, A Duret-Lutz, J van de Pol
International Journal on Software Tools for Technology Transfer 21 (3), 307-324, 2019
32019
Explicit state model checking with generalized Büchi and Rabin automata
V Bloemen, A Duret-Lutz, J Pol
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
32017
Strong connectivity and shortest paths for checking models
V Bloemen
22019
Minimal-Time Synthesis for Parametric Timed Automata
É André, V Bloemen, L Petrucci, J Van de Pol
International Conference on Tools and Algorithms for the Construction and …, 2019
22019
Analyzing old games with modern techniques: Probabilistic model checking using SCOOP and PRISM
V Bloemen
Bachelor’s thesis, University of Twente, 2012
12012
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones
V Bloemen, S van Zelst, W van der Aalst, B van Dongen, J van de Pol
Information Systems, 101456, 2019
2019
STBins: Visual Tracking and Comparison of Multiple Data Sequences Using Temporal Binning
J Qi, V Bloemen, S Wang, J van Wijk, H Van De Wetering
IEEE transactions on visualization and computer graphics 26 (1), 1054-1063, 2019
2019
Parallel Model Checking of ω-Automata
V Bloemen, A Butterfield, M Rossi
Formal Methods 2016 Doctoral Symposium co-located with 21st International …, 2016
2016
Extending the Finite Domain Solver of GNU Prolog
V Bloemen, D Diaz, M Van Der Bijl, S Abreu
TU Wien, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–15