| 2026 | FORTE | Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems. | Menno Bartels, Maurice Laveaux, Thomas Neele, Tim A. C. Willemse |
| 2026 | TACAS | Faster Signature Refinement for Branching Bisimilarity Minimization. | Jan Martens, Maurice Laveaux |
| 2025 | TACAS | Efficient Evidence Generation for Modal μ-Calculus Model Checking. | Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse |
| 2022 | ISoLA | A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). | Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck |
| 2022 | TACAS | On-The-Fly Solving for Symbolic Parity Games. | Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse |
| 2020 | FSCD | Adaptive Non-Linear Pattern Matching Automata. | Rick Erkens, Maurice Laveaux |
| 2019 | FORTE | Correct and Efficient Antichain Algorithms for Refinement Checking. | Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse |
| 2019 | TACAS | 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 |