Vincent Bloemen

发表

BSR winter school Big Software on the Run : Where Software meets Data

Wil M.P. van der Aalst, Boudewijn F. van Dongen, J. V. van Wijk, 2016 .

Parallel model checking of ω-automata

Vincent Bloemen, 2016, FM 2016.

Model checking with generalized Rabin and Fin-less automata

A. Duret-Lutz, Vincent Bloemen, J. van de Pol, 2019, International Journal on Software Tools for Technology Transfer.

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

Boudewijn F. van Dongen, Wil M. P. van der Aalst, Jaco van de Pol, 2019, Inf. Syst..

Model checking with generalized Rabin and Fin-less automata

Jaco van de Pol, Alexandre Duret-Lutz, Vincent Bloemen, 2019, International Journal on Software Tools for Technology Transfer.

Explicit state model checking with generalized Büchi and Rabin automata

Jaco van de Pol, Vincent Bloemen, Alexandre Duret-Lutz, 2017, SPIN.

Multi-core on-the-fly SCC decomposition

Alfons Laarman, Jaco van de Pol, Vincent Bloemen, 2016, PPoPP.

On-The-Fly parallel decomposition of strongly connected components

Vincent Bloemen, Vincent Bloemen, 2015 .

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Alfons Laarman, Laure Petrucci, Jaco van de Pol, 2018, Handbook of Parallel Constraint Reasoning.

Strong Connectivity and Shortest Paths for Checking Models

Vincent Bloemen, Vincent Bloemen, 2019 .

Multi-core SCC-Based LTL Model Checking

Jaco van de Pol, Vincent Bloemen, Vincent Bloemen, 2016, Haifa Verification Conference.

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Boudewijn F. van Dongen, Wil M. P. van der Aalst, Jaco van de Pol, 2018, BPM.

Symbolically Aligning Observed and Modelled Behaviour

Wil M. P. van der Aalst, Jaco van de Pol, Wil M.P. van der Aalst, 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).