Designing Case Handling Systems. - Kees M. van Hee; Jeroen Keiren; Reinier Post; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2008)

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

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

Stuttering Equivalence for Parity Games - Sjoerd Cranen; Jeroen Keiren; Tim A. C. Willemse (CoRR, 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)

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

Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. - Jeroen J. A. Keiren; Martijn Klabbers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

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

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)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction - Jeroen J. A. Keiren; Wieger Wesselink; Tim A. C. Willemse (CoRR, 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)

Benchmarks for Parity Games. - Jeroen J. A. Keiren (FSEN, 2015)

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

Stuttering equivalence is too slow! - David N. Jansen; Jeroen J. A. Keiren (CoRR, 2016)

Corrections to "A Menagerie of Timed Automata". - Jeroen J. A. Keiren; Peter Fontana; Rance Cleaveland (ACM Comput. Surv., 2017)

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

An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. - Jan Friso Groote; David N. Jansen; Jeroen J. A. Keiren; Anton Wijs (ACM Trans. Comput. Log., 2017)

Parity game reductions. - Sjoerd Cranen; Jeroen J. A. Keiren; Tim A. C. Willemse (Acta Informatica, 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 simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. - David N. Jansen; Jan Friso Groote; Jeroen J. A. Keiren; Anton Wijs (CoRR, 2019)

Effective System Level Liveness Verification. - Alexander Fedotov; Jeroen J. A. Keiren; Julien Schmaltz (FMCAD, 2020)

An O(m log n) algorithm for branching bisimilarity on labelled transition systems. - David N. Jansen; Jan Friso Groote; Jeroen J. A. Keiren; Anton Wijs (TACAS (2), 2020)

Tutorial: Designing Distributed Software in mCRL2. - Jan Friso Groote; Jeroen J. A. Keiren (FORTE, 2021)

Deadlock in Packet Switching Networks. - Anna Stramaglia; Jeroen J. A. Keiren; Hans Zantema (FSEN, 2021)

Fair Mutual Exclusion for N Processes (extended version). - Yousra Hafidi; Jeroen J. A. Keiren; Jan Friso Groote (CoRR, 2021)

Formal Verification of an Industrial UML-like Model using mCRL2. - Anna Stramaglia; Jeroen J. A. Keiren (FMICS, 2022)

Formal verification of an industrial UML-like model using mCRL2 (extended version). - Anna Stramaglia; Jeroen J. A. Keiren (CoRR, 2022)

Compositional ioco using model-based mocking. - Jore J. Booy; Jeroen J. A. Keiren; Machiel van der Bijl (BENEVOL, 2023)

Simplifying Process Parameters by Unfolding Algebraic Data Types. - Anna Stramaglia; Jeroen J. A. Keiren; Thomas Neele (ICTAC, 2023)

Expressiveness Results for Timed Modal Mu-Calculi. - Rance Cleaveland; Jeroen J. A. Keiren; Peter Fontana (CoRR, 2023)

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)

Validation of supervisory control synthesis tool CIF using model checker mCRL2. - Michel A. Reniers; Jeroen J. A. Keiren (CASE, 2024)

An Expressive Timed Modal Mu-Calculus for Timed Automata. - Rance Cleaveland; Jeroen J. A. Keiren; Peter Fontana (QEST+FORMATS, 2024)

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

Extensible Proof Systems for Infinite-State Systems. - Rance Cleaveland; Jeroen J. A. Keiren (ACM Trans. Comput. Log., 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)

Unfolding state variables improves model checking performance. - Anna Stramaglia; Jeroen J. A. Keiren; Thomas Neele (Theor. Comput. Sci., 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)

Overview of Controllability Definitions in Supervisory Control Theory. - Jeroen J. A. Keiren; Michel A. Reniers (CoRR, 2025)