Volgen
Vincent Bloemen
Vincent Bloemen
Onbekend partnerschap
Geen geverifieerd e-mailadres
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
392016
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
242018
Multi-core SCC-based LTL model checking
V Bloemen, J Pol
Haifa Verification Conference, 18-33, 2016
182016
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
172018
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
162019
On-the-fly parallel decomposition of strongly connected components
V Bloemen
University of Twente, 2015
142015
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
132018
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
72019
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
32022
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
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
Univesity of Twente, 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
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