Jeroen J. A. Keiren

43 papers A 1B 2C 6Journal 24Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Evidence Generation for Modal μ-Calculus Model Checking (extended version).
CoRR
Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse
2025 — conf
Efficient Evidence Generation for Modal μ-Calculus Model Checking.
TACAS (1)
Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse
2025 J jnl
Formal Methods in Industry.
Formal Aspects Comput.
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, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025 J jnl
Overview of Controllability Definitions in Supervisory Control Theory.
CoRR
Jeroen J. A. Keiren, Michel A. Reniers
2025 J jnl
Unfolding state variables improves model checking performance.
Theor. Comput. Sci.
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
2024 — conf
An Expressive Timed Modal Mu-Calculus for Timed Automata.
QEST+FORMATS
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
2024 J jnl
Extensible Proof Systems for Infinite-State Systems.
ACM Trans. Comput. Log.
Rance Cleaveland, Jeroen J. A. Keiren
2024 — conf
It's All a Game - Apartness and Bisimilarity.
Logics and Type Systems in Theory and Practice
Jeroen J. A. Keiren, Tim A. C. Willemse
2024 C conf
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2.
ABZ
Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse
2024 — conf
Validation of supervisory control synthesis tool CIF using model checker mCRL2.
CASE
Michel A. Reniers, Jeroen J. A. Keiren
2023 — conf
Compositional ioco using model-based mocking.
BENEVOL
Jore J. Booy, Jeroen J. A. Keiren, Machiel van der Bijl
2023 J jnl
Expressiveness Results for Timed Modal Mu-Calculi.
CoRR
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
2023 C conf
Simplifying Process Parameters by Unfolding Algebraic Data Types.
ICTAC
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
2022 J jnl
Extensible Proof Systems for Infinite-State Systems.
CoRR
Jeroen J. A. Keiren, Rance Cleaveland
2022 C conf
Formal Verification of an Industrial UML-like Model using mCRL2.
FMICS
Anna Stramaglia, Jeroen J. A. Keiren
2022 J jnl
Formal verification of an industrial UML-like model using mCRL2 (extended version).
CoRR
Anna Stramaglia, Jeroen J. A. Keiren
2021 — conf
Deadlock in Packet Switching Networks.
FSEN
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
2021 J jnl
Deadlock in packet switching networks.
CoRR
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
2021 J jnl
Fair Mutual Exclusion for N Processes (extended version).
CoRR
Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
2021 C conf
Tutorial: Designing Distributed Software in mCRL2.
FORTE
Jan Friso Groote, Jeroen J. A. Keiren
2021 J jnl
Tutorial: Designing Distributed Software in mCRL2.
CoRR
Jan Friso Groote, Jeroen J. A. Keiren
2020 — conf
An O(m log n) algorithm for branching bisimilarity on labelled transition systems.
TACAS (2)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2020 B conf
Effective System Level Liveness Verification.
FMCAD
Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz
2019 J jnl
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems.
CoRR
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2019 — conf
Modelling and Analysing Software in mCRL2.
FACS
Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
2019 — conf
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
TACAS (2)
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 J jnl
Parity game reductions.
Acta Informatica
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
2017 J jnl
An
ACM Trans. Comput. Log.
Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs
2017 J jnl
Corrections to "A Menagerie of Timed Automata".
ACM Comput. Surv.
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
2017 J jnl
Games for Bisimulations and Abstraction.
Log. Methods Comput. Sci.
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
2016 C conf
Branching Bisimulation Games.
FORTE
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
2016 J jnl
Corrections to A Menagerie of Timed Automata.
CoRR
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
2016 J jnl
Games for Bisimulations and Abstraction.
CoRR
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
2016 J jnl
Parity Game Reductions.
CoRR
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
2016 J jnl
Stuttering equivalence is too slow!
CoRR
David N. Jansen, Jeroen J. A. Keiren
2015 — conf
Benchmarks for Parity Games.
FSEN
Jeroen J. A. Keiren
2014 J jnl
Benchmarks for Parity Games.
CoRR
Jeroen J. A. Keiren
2014 B conf
Liveness Analysis for Parameterised Boolean Equation Systems.
ATVA
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
2013 A conf
An Overview of the mCRL2 Toolset and Its Recent Advances.
TACAS
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
2013 J jnl
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Sci. Comput. Program.
Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse
2013 J jnl
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
CoRR
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
2012 C conf
A Cure for Stuttering Parity Games.
ICTAC
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
2012 J jnl
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jeroen J. A. Keiren, Martijn Klabbers