A Checker for Modal Formulae for Processes with Data. - Jan Friso Groote; Tim A. C. Willemse (FMCO, 2003)

Parameterised Boolean Equation Systems (Extended Abstract). - Jan Friso Groote; Tim A. C. Willemse (CONCUR, 2004)

Test Generation Based on Symbolic Specifications. - Lars Frantzen; Jan Tretmans; Tim A. C. Willemse (FATES, 2004)

Embeddings of Hybrid Automata in Process Algebra. - Tim A. C. Willemse (IFM, 2004)

Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). - Suzana Andova; Tim A. C. Willemse (EXPRESS, 2004)

Language-Driven System Design. - Sjouke Mauw; Wouter T. Wiersma; Tim A. C. Willemse (Int. J. Softw. Eng. Knowl. Eng., 2004)

Model-checking processes with data. - Jan Friso Groote; Tim A. C. Willemse (Sci. Comput. Program., 2005)

Parameterised boolean equation systems. - Jan Friso Groote; Tim A. C. Willemse (Theor. Comput. Sci., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

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 (CONCUR, 2006)

A Symbolic Framework for Model-Based Testing. - Lars Frantzen; Jan Tretmans; Tim A. C. Willemse (FATES/RV, 2006)

Heuristics for ioco -Based Test-Based Modelling. - Tim A. C. Willemse (FMICS/PDMC, 2006)

Branching bisimulation for probabilistic systems: Characteristics and decidability. - Suzana Andova; Tim A. C. Willemse (Theor. Comput. Sci., 2006)

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. - Taolue Chen 001; Bas Ploeger; Jaco van de Pol; Tim A. C. Willemse (CONCUR, 2007)

Integrating Verification, Testing, and Learning for Cryptographic Protocols. - Martijn Oostdijk; Vlad Rusu; Jan Tretmans; René G. de Vries; Tim A. C. Willemse (IFM, 2007)

Testing and Model-Checking Techniques for Diagnosis. - Maxim Gromov; Tim A. C. Willemse (TestCom/FATES, 2007)

Instantiation for Parameterised Boolean Equation Systems. - Alexander van Dam; Bas Ploeger; Tim A. C. Willemse (ICTAC, 2008)

Bisimulation Minimisations for Boolean Equation Systems. - Jeroen Keiren; Tim A. C. Willemse (Haifa Verification Conference, 2009)

Static Analysis Techniques for Parameterised Boolean Equation Systems. - Simona Orzan; Wieger Wesselink; Tim A. C. Willemse (TACAS, 2009)

Analysis of Boolean Equation Systems through Structure Graphs - Michel A. Reniers; Tim A. C. Willemse (SOS, 2009)

Search algorithms for automated validation. - Tom A. N. Engels; Jan Friso Groote; Muck van Weerdenburg; Tim A. C. Willemse (J. Log. Algebraic Methods Program., 2009)

Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. - Tim A. C. Willemse (CONCUR, 2010)

Invariants for Parameterised Boolean Equation Systems. - Simona Orzan; Tim A. C. Willemse (Theor. Comput. Sci., 2010)

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. - Yi-Ling Hwong; Vincent J. J. Kusters; Tim A. C. Willemse (FSEN, 2011)

Stuttering Mostly Speeds Up Solving Parity Games. - Sjoerd Cranen; Jeroen Keiren; Tim A. C. Willemse (NASA Formal Methods, 2011)

Synchronizing Asynchronous Conformance Testing. - Neda Noroozi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (SEFM, 2011)

Folk Theorems on the Correspondence between State-Based and Event-Based Systems. - Michel A. Reniers; Tim A. C. Willemse (SOFSEM, 2011)

Stuttering Equivalence for Parity Games - Sjoerd Cranen; Jeroen Keiren; Tim A. C. Willemse (CoRR, 2011)

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. - Bas Ploeger; Wieger Wesselink; Tim A. C. Willemse (Inf. Comput., 2011)

Experiences in developing the mCRL2 toolset. - Jan Friso Groote; Jeroen Keiren; Frank P. M. Stappers; Wieger Wesselink; Tim A. C. Willemse (Softw. Pract. Exp., 2011)

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 (CCGRID, 2012)

A Cure for Stuttering Parity Games. - Sjoerd Cranen; Jeroen J. A. Keiren; Tim A. C. Willemse (ICTAC, 2012)

Consistent Consequence for Boolean Equation Systems. - Maciej Gazda; Tim A. C. Willemse (SOFSEM, 2012)

Expressiveness and Completeness in Abstraction - Maciej Gazda; Tim A. C. Willemse (EXPRESS/SOS, 2012)

Structural Analysis of Boolean Equation Systems. - Jeroen Keiren; Michel A. Reniers; Tim A. C. Willemse (ACM Trans. Comput. Log., 2012)

Proof Graphs for Parameterised Boolean Equation Systems. - Sjoerd Cranen; Bas Luttik; Tim A. C. Willemse (CONCUR, 2013)

On the Complexity of Input Output Conformance Testing. - Neda Noroozi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (FACS, 2013)

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. - Daniela Remenska; Jeff Templon; Tim A. C. Willemse; Philip Homburg; Kees Verstoep; Adrian Casajus Ramo; Henri E. Bal (NASA Formal Methods, 2013)

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 (TACAS, 2013)

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. - Maciej Gazda; Tim A. C. Willemse (GandALF, 2013)

Decomposability in Input Output Conformance Testing - Neda Noroozi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (MBT, 2013)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction - Jeroen J. A. Keiren; Wieger Wesselink; Tim A. C. Willemse (CoRR, 2013)

Using model checking to analyze the system behavior of the LHC production grid. - Daniela Remenska; Tim A. C. Willemse; Kees Verstoep; Jeff Templon; Henri E. Bal (Future Gener. Comput. Syst., 2013)

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. - Yi-Ling Hwong; Jeroen J. A. Keiren; Vincent J. J. Kusters; Sander J. J. Leemans; Tim A. C. Willemse (Sci. Comput. Program., 2013)

Liveness Analysis for Parameterised Boolean Equation Systems. - Jeroen J. A. Keiren; Wieger Wesselink; Tim A. C. Willemse (ATVA, 2014)

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 (FORTE, 2014)

Results on Embeddings Between State-Based and Event-Based Systems. - Michel A. Reniers; Rob Schoren; Tim A. C. Willemse (Comput. J., 2014)

Strategy Derivation for Small Progress Measures. - Maciej Gazda; Tim A. C. Willemse (CoRR, 2014)

Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. - Ruud P. J. Koolen; Tim A. C. Willemse; Hans Zantema (ATVA, 2015)

Evidence for Fixpoint Logic. - Sjoerd Cranen; Bas Luttik; Tim A. C. Willemse (CSL, 2015)

Designing and Describing QVTo Model Transformations. - Ulyana Tikhonova; Tim A. C. Willemse (ICSOFT-EA, 2015)

Documenting and Designing QVTo Model Transformations Through Mathematics. - Ulyana Tikhonova; Tim A. C. Willemse (ICSOFT (Selected Papers), 2015)

Improvement in Small Progress Measures. - Maciej Gazda; Tim A. C. Willemse (GandALF, 2015)

Synchrony and asynchrony in conformance testing. - Neda Noroozi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (Softw. Syst. Model., 2015)

Abstraction in Fixpoint Logic. - Sjoerd Cranen; Maciej Gazda; Wieger Wesselink; Tim A. C. Willemse (ACM Trans. Comput. Log., 2015)

Branching Bisimulation Games. - David de Frutos-Escrig; Jeroen J. A. Keiren; Tim A. C. Willemse (FORTE, 2016)

On Parity Game Preorders and the Logic of Matching Plays. - Maciej Gazda; Tim A. C. Willemse (SOFSEM, 2016)

Towards a Feature mu-Calculus Targeting SPL Verification. - Maurice H. ter Beek; Erik P. de Vink; Tim A. C. Willemse (FMSPLE, 2016)

Parity Games. - Tim A. C. Willemse; Maciej Gazda (Encyclopedia of Algorithms, 2016)

Family-Based Model Checking with mCRL2. - Maurice H. ter Beek; Erik P. de Vink; Tim A. C. Willemse (FASE, 2017)

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 (FMICS-AVoCS, 2017)

A Formalisation of Consistent Consequence for Boolean Equation Systems. - Myrthe van Delft; Herman Geuvers; Tim A. C. Willemse (ITP, 2017)

Family-Based Model Checking of SPL based on mCRL2. - Ziad Ben Snaiba; Erik P. de Vink; Tim A. C. Willemse (SPLC (B), 2017)

Refinement-Aware Generation of Attack Trees. - Olga Gadyatskaya; Ravi Jhawar; Sjouke Mauw; Rolando Trujillo-Rasua; Tim A. C. Willemse (STM, 2017)

Games for Bisimulations and Abstraction. - David de Frutos-Escrig; Jeroen J. A. Keiren; Tim A. C. Willemse (Log. Methods Comput. Sci., 2017)

Evidence Extraction from Parameterised Boolean Equation Systems. - Wieger Wesselink; Tim A. C. Willemse (ARQNL@IJCAR, 2018)

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. - Thomas Neele; Tim A. C. Willemse; Jan Friso Groote (FACS, 2018)

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. - Maarten Bartholomeus; Bas Luttik; Tim A. C. Willemse (FMICS, 2018)

Efficient Extended ABAC Evaluation. - Charles Morisset; Tim A. C. Willemse; Nicola Zannone (SACMAT, 2018)

Parity game reductions. - Sjoerd Cranen; Jeroen J. A. Keiren; Tim A. C. Willemse (Acta Informatica, 2018)

A Comparison of BDD-Based Parity Game Solvers. - Lisette Sanchez; Wieger Wesselink; Tim A. C. Willemse (GandALF, 2018)

Cooking Your Own Parity Game Preorders Through Matching Plays. - Maciej Gazda; Tim A. C. Willemse (Int. J. Found. Comput. Sci., 2018)

Modelling and Analysing Software in mCRL2. - Jan Friso Groote; Jeroen J. A. Keiren; Bas Luttik; Erik P. de Vink; Tim A. C. Willemse (FACS, 2019)

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)

A framework for the extended evaluation of ABAC policies. - Charles Morisset; Tim A. C. Willemse; Nicola Zannone (Cybersecur., 2019)

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 (FASE, 2020)

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. - Thomas Neele; Antti Valmari; Tim A. C. Willemse (FoSSaCS, 2020)

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. - Thomas Neele; Tim A. C. Willemse; Wieger Wesselink (TACAS (2), 2020)

Off-the-shelf automated analysis of liveness properties for just paths. - Mark Bouwman; Bas Luttik; Tim A. C. Willemse (Acta Informatica, 2020)

A process algebra with global variables. - Mark Bouwman; Bas Luttik; Wouter Schols; Tim A. C. Willemse (EXPRESS/SOS, 2020)

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

A symmetric protocol to establish service level agreements. - Jan Friso Groote; Tim A. C. Willemse (Log. Methods Comput. Sci., 2020)

Finding compact proofs for infinite-data parameterised Boolean equation systems. - Thomas Neele; Tim A. C. Willemse; Jan Friso Groote (Sci. Comput. Program., 2020)

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). - Mark Bouwman; Bas Luttik; Tim A. C. Willemse (FORTE, 2021)

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

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. - Thomas Neele; Antti Valmari; 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)

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 (FORTE, 2022)

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

Formal methods and tools for industrial critical systems. - Maurice H. ter Beek; Kim G. Larsen; Dejan Nickovic; Tim A. C. Willemse (Int. J. Softw. Tools Technol. Transf., 2022)

Formal verification of OIL component specifications using mCRL2. - Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (Int. J. Softw. Tools Technol. Transf., 2022)

Partial-order reduction for parity games and parameterised Boolean equation systems. - Thomas Neele; Tim A. C. Willemse; Wieger Wesselink; Antti Valmari (Int. J. Softw. Tools Technol. Transf., 2022)

Real Equation Systems with Alternating Fixed-Points. - Jan Friso Groote; Tim A. C. Willemse (CONCUR, 2023)

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. - P. H. M. van Spaendonck; Tim A. C. Willemse (CONCUR, 2023)

On the Preservation of Properties When Changing Communication Models. - Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (SOFSEM, 2023)

Real Equation Systems with Alternating Fixed-points (full version with proofs). - Jan Friso Groote; Tim A. C. Willemse (CoRR, 2023)

Automated generation of attack trees with optimal shape and labelling. - Olga Gadyatskaya; Sjouke Mauw; Rolando Trujillo-Rasua; Tim A. C. Willemse (CoRR, 2023)

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

On Woolhouse's Cotton-Spinning Problem. - Jan Friso Groote; Tim A. C. Willemse (Principles of Verification (2), 2024)

It's All a Game - Apartness and Bisimilarity. - Jeroen J. A. Keiren; Tim A. C. Willemse (Logics and Type Systems in Theory and Practice, 2024)

Progress, Justness and Fairness in Modal μ-Calculus Formulae. - Myrthe S. C. Spronck; Bas Luttik; Tim A. C. Willemse (CONCUR, 2024)

Formalising the Industrial Language SMMT in mCRL2. - Jordi E. P. M. van Laarhoven; Olav Bunte; Louis C. M. van Gool; Tim A. C. Willemse (FMICS, 2024)

Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. - Danny van Dortmont; Jeroen J. A. Keiren; Tim A. C. Willemse (ABZ, 2024)

Modelling the Raft Distributed Consensus Protocol in mCRL2. - Parth Bora; Pham Duc Minh; Tim A. C. Willemse (MARS@ETAPS, 2024)

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. - Hamed Arshad; Ross Horne; Christian Johansen; Olaf Owe; Tim A. C. Willemse (Sci. Comput. Program., 2024)

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

Formal Methods in Industry. - Maurice H. ter Beek; Rod Chapman; Rance Cleaveland; Hubert Garavel; Rong Gu; Ivo ter Horst; Jeroen J. A. Keiren; Thierry Lecomte; Michael Leuschel; Kristin Yvonne Rozier; Augusto Sampaio 001; Cristina Seceleanu; et al. (Formal Aspects Comput., 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)

OIL: an industrial case study in language engineering with Spoofax. - Olav Bunte; Jasper Denkers; Louis C. M. van Gool; Jurgen J. Vinju; Eelco Visser; Tim A. C. Willemse; Andy Zaidman (Softw. Syst. Model., 2025)