| 2026 | CONCUR | Minimal and Canonical Quotients for Simulation Equivalences. | Eduardo Costa Martins, Tim A. C. Willemse |
| 2026 | FORTE | Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems. | Menno Bartels, Maurice Laveaux, Thomas Neele, Tim A. C. Willemse |
| 2026 | ICISSP | Synthesising Attack Trees with Optimal Shape and Labelling. | Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasua, Tim A. C. Willemse |
| 2026 | SACMAT | A Causal Framework for Explainable Access Control: [Work in Progress Paper]. | Gelareh Hasel Mehri, Clemens Dubslaff, Tim A. C. Willemse, Nicola Zannone |
| 2025 | TACAS | Efficient Evidence Generation for Modal μ-Calculus Model Checking. | Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse |
| 2024 | CONCUR | Progress, Justness and Fairness in Modal μ-Calculus Formulae. | Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse |
| 2024 | FMICS | Formalising the Industrial Language SMMT in mCRL2. | Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2023 | CONCUR | Real Equation Systems with Alternating Fixed-Points. | Jan Friso Groote, Tim A. C. Willemse |
| 2023 | CONCUR | The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. | P. H. M. van Spaendonck, Tim A. C. Willemse |
| 2023 | SOFSEM | On the Preservation of Properties When Changing Communication Models. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2022 | FORTE | Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
| 2022 | TACAS | On-The-Fly Solving for Symbolic Parity Games. | Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse |
| 2021 | FORTE | Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
| 2020 | FASE | Family-Based SPL Model Checking Using Parity Games with Variability. | Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse |
| 2020 | FMICS | Formal Verification of OIL Component Specifications using mCRL2. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2020 | FOSSACS | The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. | Thomas Neele, Antti Valmari, Tim A. C. Willemse |
| 2020 | TACAS | Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. | Thomas Neele, Tim A. C. Willemse, Wieger Wesselink |
| 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 |
| 2018 | CADE | Evidence Extraction from Parameterised Boolean Equation Systems. | Wieger Wesselink, Tim A. C. Willemse |
| 2018 | FMICS | Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. | Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse |
| 2018 | SACMAT | Efficient Extended ABAC Evaluation. | Charles Morisset, Tim A. C. Willemse, Nicola Zannone |
| 2017 | FASE | Family-Based Model Checking with mCRL2. | Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse |
| 2017 | FMICS | Formalising the Dezyne Modelling Language in mCRL2. | Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse |
| 2017 | ITP | A Formalisation of Consistent Consequence for Boolean Equation Systems. | Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse |
| 2017 | SPLC | Family-Based Model Checking of SPL based on mCRL2. | Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse |
| 2016 | FORTE | Branching Bisimulation Games. | David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2016 | SOFSEM | On Parity Game Preorders and the Logic of Matching Plays. | Maciej Gazda, Tim A. C. Willemse |
| 2015 | ATVA | Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. | Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema |
| 2015 | CSL | Evidence for Fixpoint Logic. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2015 | ICSoft | Designing and Describing QVTo Model Transformations. | Ulyana Tikhonova, Tim A. C. Willemse |
| 2015 | ICSoft | Documenting and Designing QVTo Model Transformations Through Mathematics. | Ulyana Tikhonova, Tim A. C. Willemse |
| 2014 | ATVA | Liveness Analysis for Parameterised Boolean Equation Systems. | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
| 2014 | FORTE | Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. | Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal |
| 2013 | CONCUR | Proof Graphs for Parameterised Boolean Equation Systems. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2013 | TACAS | An Overview of the mCRL2 Toolset and Its Recent Advances. | Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse |
| 2012 | CCGRID | Using Model Checking to Analyze the System Behavior of the LHC Production Grid. | Daniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan J. Fokkink, Jeff Templon, Henri E. Bal |
| 2012 | ICTAC | A Cure for Stuttering Parity Games. | Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2012 | SOFSEM | Consistent Consequence for Boolean Equation Systems. | Maciej Gazda, Tim A. C. Willemse |
| 2011 | SEFM | Synchronizing Asynchronous Conformance Testing. | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
| 2011 | SOFSEM | Folk Theorems on the Correspondence between State-Based and Event-Based Systems. | Michel A. Reniers, Tim A. C. Willemse |
| 2010 | CONCUR | Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. | Tim A. C. Willemse |
| 2009 | TACAS | Static Analysis Techniques for Parameterised Boolean Equation Systems. | Simona Orzan, Wieger Wesselink, Tim A. C. Willemse |
| 2008 | CONCUR | Invariants for Parameterised Boolean Equation Systems. | Simona Orzan, Tim A. C. Willemse |
| 2008 | ICTAC | Instantiation for Parameterised Boolean Equation Systems. | Alexander van Dam, Bas Ploeger, Tim A. C. Willemse |
| 2007 | CONCUR | Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
| 2007 | IFM | Integrating Verification, Testing, and Learning for Cryptographic Protocols. | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, Ren G. de Vries, Tim A. C. Willemse |
| 2006 | CONCUR | A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. | Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse |
| 2006 | FMICS | Heuristics for ioco -Based Test-Based Modelling. | Tim A. C. Willemse |
| 2004 | CONCUR | Parameterised Boolean Equation Systems (Extended Abstract). | Jan Friso Groote, Tim A. C. Willemse |
| 2004 | IFM | Embeddings of Hybrid Automata in Process Algebra. | Tim A. C. Willemse |