Jeroen J. A. Keiren

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 29

Top Topics

Formal Verification

Simulation Game

Transition Systems

Top Venues

ACM Trans. Comput. Log.

Publications

Jeroen J. A. Keiren, Tim A. C. Willemse
It's All a Game - Apartness and Bisimilarity. Logics and Type Systems in Theory and Practice (2024)
Rance Cleaveland, Jeroen J. A. Keiren
Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25 (1) (2024)
Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. ABZ (2024)
Jore J. Booy, Jeroen J. A. Keiren, Machiel van der Bijl
Compositional ioco using model-based mocking. BENEVOL (2023)
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
Expressiveness Results for Timed Modal Mu-Calculi. CoRR (2023)
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
Simplifying Process Parameters by Unfolding Algebraic Data Types. ICTAC (2023)
Anna Stramaglia, Jeroen J. A. Keiren
Formal Verification of an Industrial UML-like Model using mCRL2. FMICS (2022)
Anna Stramaglia, Jeroen J. A. Keiren
Formal verification of an industrial UML-like model using mCRL2 (extended version). CoRR (2022)
Jeroen J. A. Keiren, Rance Cleaveland
Extensible Proof Systems for Infinite-State Systems. CoRR (2022)
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
Deadlock in packet switching networks. CoRR (2021)
Jan Friso Groote, Jeroen J. A. Keiren
Tutorial: Designing Distributed Software in mCRL2. FORTE (2021)
Jan Friso Groote, Jeroen J. A. Keiren
Tutorial: Designing Distributed Software in mCRL2. CoRR (2021)
Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
Fair Mutual Exclusion for N Processes (extended version). CoRR (2021)
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
Deadlock in Packet Switching Networks. FSEN (2021)
Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz
Effective System Level Liveness Verification. FMCAD (2020)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
An O(m log n) algorithm for branching bisimilarity on labelled transition systems. TACAS (2) (2020)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. CoRR (2019)
Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
Modelling and Analysing Software in mCRL2. FACS (2019)
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
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
Parity game reductions. Acta Informatica 55 (5) (2018)
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv. 50 (3) (2017)
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Games for Bisimulations and Abstraction. Log. Methods Comput. Sci. 13 (4) (2017)
Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs
) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log. 18 (2) (2017)
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Branching Bisimulation Games. FORTE (2016)
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
Corrections to A Menagerie of Timed Automata. CoRR (2016)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
Parity Game Reductions. CoRR (2016)
David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Games for Bisimulations and Abstraction. CoRR (2016)
David N. Jansen, Jeroen J. A. Keiren
Stuttering equivalence is too slow! CoRR (2016)
Jeroen J. A. Keiren
Benchmarks for Parity Games. FSEN (2015)
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
Liveness Analysis for Parameterised Boolean Equation Systems. ATVA (2014)
Jeroen J. A. Keiren
Benchmarks for Parity Games. CoRR (2014)
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction CoRR (2013)
Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Sci. Comput. Program. 78 (12) (2013)
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS (2013)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
A Cure for Stuttering Parity Games. ICTAC (2012)
Jeroen J. A. Keiren, Martijn Klabbers
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)