| 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 | 45 | 2016 |
| 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 | 39 | 2018 |
| Maximizing synchronization for aligning observed and modelled behaviour V Bloemen, SJ van Zelst, WMP van der Aalst, BF van Dongen, ... Business Process Management: 16th International Conference, BPM 2018, Sydney …, 2018 | 24 | 2018 |
| Multi-core SCC-based LTL model checking V Bloemen, J van de Pol Hardware and Software: Verification and Testing: 12th International Haifa …, 2016 | 23 | 2016 |
| On-the-fly parallel decomposition of strongly connected components V Bloemen University of Twente, 2015 | 20 | 2015 |
| 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 | 18 | 2022 |
| 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 | 17 | 2018 |
| Minimal-time synthesis for parametric timed automata É André, V Bloemen, L Petrucci, J Van de Pol Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 16 | 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 | 10 | 2019 |
| Strong connectivity and shortest paths for checking models V Bloemen | 9 | 2019 |
| 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, 307-324, 2019 | 8 | 2019 |
| Multi-core on-thefly SCC decomposition V Bloemen, A Laarman, J van de Pol Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016 | 5 | 2016 |
| 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 | 4 | 2017 |
| Analyzing old games with modern techniques: Probabilistic model checking using SCOOP and PRISM V Bloemen Bachelor’s thesis, University of Twente, 2012 | 1 | 2012 |
| Minimal-Time Synthesis for Parametric Timed Automata J van de Pol, É André, V Bloemen, L Petrucci (No Title), 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 |
