Vincent Bloemen
Vincent Bloemen
Geverifieerd e-mailadres voor utwente.nl
Titel
Geciteerd door
Geciteerd door
Jaar
Multi-core on-the-fly SCC decomposition
V Bloemen, A Laarman, J van de Pol
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
302016
Multi-core SCC-based LTL model checking
V Bloemen, J van de Pol
Haifa Verification Conference, 18-33, 2016
142016
On-The-Fly parallel decomposition of strongly connected components
V Bloemen
University of Twente, 2015
102015
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
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
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
72018
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
42019
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
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
12019
Strong Connectivity and Shortest Paths for Checking Models
V Bloemen
12019
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
Parallel Model Checking of ω-Automata
V Bloemen
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15