Multi-core SCC-Based LTL Model Checking. - Vincent Bloemen; Jaco van de Pol (Haifa Verification Conference, 2016)

Multi-core on-the-fly SCC decomposition. - Vincent Bloemen; Alfons Laarman; Jaco van de Pol (PPoPP, 2016)

Explicit state model checking with generalized Büchi and Rabin automata. - Vincent Bloemen; Alexandre Duret-Lutz; Jaco van de Pol (SPIN, 2017)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic. - Jiri Barnat; Vincent Bloemen; Alexandre Duret-Lutz; Alfons Laarman; Laure Petrucci; Jaco van de Pol; Etienne Renault (Handbook of Parallel Constraint Reasoning, 2018)

Symbolically Aligning Observed and Modelled Behaviour. - Vincent Bloemen; Jaco van de Pol; Wil M. P. van der Aalst (ACSD, 2018)

Maximizing Synchronization for Aligning Observed and Modelled Behaviour. - Vincent Bloemen; Sebastiaan J. van Zelst; Wil M. P. van der Aalst; Boudewijn F. van Dongen; Jaco van de Pol (BPM, 2018)

Minimal-Time Synthesis for Parametric Timed Automata. - Étienne André; Vincent Bloemen; Laure Petrucci; Jaco van de Pol (TACAS (2), 2019)

Model checking with generalized Rabin and Fin-less automata. - Vincent Bloemen; Alexandre Duret-Lutz; Jaco van de Pol (Int. J. Softw. Tools Technol. Transf., 2019)

STBins: Visual Tracking and Comparison of Multiple Data Sequences Using Temporal Binning. - Ji Qi; Vincent Bloemen; Shihan Wang 001; Jarke J. van Wijk; Huub van de Wetering (IEEE Trans. Vis. Comput. Graph., 2020)

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. - Vincent Bloemen; Sebastiaan J. van Zelst; Wil M. P. van der Aalst; Boudewijn F. van Dongen; Jaco van de Pol (Inf. Syst., 2022)