Vincent Bloemen
Vincent Bloemen
Onbekend partnerschap
Geen geverifieerd e-mailadres
Geciteerd door
Geciteerd door
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
Parallel model checking algorithms for linear-time temporal logic
J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J Pol, ...
Handbook of Parallel Constraint Reasoning, 457-507, 2018
Multi-core SCC-based LTL model checking
V Bloemen, J Pol
Haifa Verification Conference, 18-33, 2016
Maximizing synchronization for aligning observed and modelled behaviour
V Bloemen, SJ Zelst, WMP van der Aalst, BF Dongen, J Pol
International Conference on Business Process Management, 233-249, 2018
Minimal-time synthesis for parametric timed automata
É André, V Bloemen, L Petrucci, J Pol
International Conference on Tools and Algorithms for the Construction and …, 2019
On-the-fly parallel decomposition of strongly connected components
V Bloemen
University of Twente, 2015
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
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
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 103, 101456, 2022
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
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
Strong Connectivity and Shortest Paths for Checking Models
V Bloemen
Univesity of Twente, 2019
Analyzing old games with modern techniques: Probabilistic model checking using SCOOP and PRISM
V Bloemen
Bachelor’s thesis, University of Twente, 2012
Parallel Model Checking of ω-Automata
V Bloemen
Formal Methods 2016 Doctoral Symposium co-located with 21st International …, 2016
Extending the Finite Domain Solver of GNU Prolog
V Bloemen, D Diaz, M Van Der Bijl, S Abreu
TU Wien, 2014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15