The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. - Olav Bunte; Jan Friso Groote; Jeroen J. A. Keiren; Maurice Laveaux; Thomas Neele; Erik P. de Vink; Wieger Wesselink; Anton Wijs; Tim A. C. Willemse (TACAS (2), 2019)

Decompositional Minimisation of Monolithic Processes. - Maurice Laveaux; Tim A. C. Willemse (CoRR, 2020)

A thread-safe Term Library. - Jan Friso Groote; Maurice Laveaux; P. H. M. van Spaendonck (CoRR, 2021)

Adaptive Non-linear Pattern Matching Automata. - Rick Erkens; Maurice Laveaux (Log. Methods Comput. Sci., 2021)

Correct and Efficient Antichain Algorithms for Refinement Checking. - Maurice Laveaux; Jan Friso Groote; Tim A. C. Willemse (Log. Methods Comput. Sci., 2021)

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. - Jan Friso Groote; Kevin H. J. Jilissen; Maurice Laveaux; P. H. M. van Spaendonck; Tim A. C. Willemse (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Decompositional Branching Bisimulation Minimisation of Monolithic Processes. - Mark Bouwman; Maurice Laveaux; Bas Luttik; Tim A. C. Willemse (FACS, 2022)

A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). - Jan Friso Groote; Maurice Laveaux; P. H. M. van Spaendonck (ISoLA (1), 2022)

On-The-Fly Solving for Symbolic Parity Games. - Maurice Laveaux; Wieger Wesselink; Tim A. C. Willemse (TACAS (2), 2022)

Decomposing monolithic processes in a process algebra with multi-actions. - Maurice Laveaux; Tim A. C. Willemse (J. Log. Algebraic Methods Program., 2023)

Efficient Evidence Generation for Modal μ-Calculus Model Checking. - Anna Stramaglia; Jeroen J. A. Keiren; Maurice Laveaux; Tim A. C. Willemse (TACAS (1), 2025)

Efficient Evidence Generation for Modal μ-Calculus Model Checking (extended version). - Anna Stramaglia; Jeroen J. A. Keiren; Maurice Laveaux; Tim A. C. Willemse (CoRR, 2025)