Jeroen Keiren

According to our database, Jeroen Keiren authored at least 33 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Extensible Proof Systems for Infinite-State Systems.

Rance Cleaveland, Jeroen J. A. Keiren

ACM Trans. Comput. Log., January, 2024

2023

Expressiveness Results for Timed Modal Mu-Calculi.

Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana

CoRR, 2023

Simplifying Process Parameters by Unfolding Algebraic Data Types.

Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Compositional ioco using model-based mocking.

Jore J. Booy, Jeroen J. A. Keiren, Machiel van der Bijl

Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023

2022

Formal verification of an industrial UML-like model using mCRL2 (extended version).

Anna Stramaglia, Jeroen J. A. Keiren

CoRR, 2022

Formal Verification of an Industrial UML-like Model using mCRL2.

Anna Stramaglia, Jeroen J. A. Keiren

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Fair Mutual Exclusion for N Processes (extended version).

Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote

CoRR, 2021

Deadlock in Packet Switching Networks.

Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Tutorial: Designing Distributed Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Effective System Level Liveness Verification.

Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modelling and Analysing Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Parity game reductions.

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse

Acta Informatica, 2018

2017

An <i>O</i>(<i>m</i>log<i>n</i>) 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

Games for Bisimulations and Abstraction.

David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Log. Methods Comput. Sci., 2017

Corrections to "A Menagerie of Timed Automata".

Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland

ACM Comput. Surv., 2017

2016

Stuttering equivalence is too slow!

David N. Jansen, Jeroen J. A. Keiren

CoRR, 2016

Branching Bisimulation Games.

David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Benchmarks for Parity Games.

Jeroen J. A. Keiren

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Liveness Analysis for Parameterised Boolean Equation Systems.

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Automated Technology for Verification and Analysis, 2014

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

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

CoRR, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Structural Analysis of Boolean Equation Systems.

Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse

ACM Trans. Comput. Log., 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

A Cure for Stuttering Parity Games.

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

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

Stuttering Equivalence for Parity Games

Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse

CoRR, 2011

Stuttering Mostly Speeds Up Solving Parity Games.

Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse

Proceedings of the NASA Formal Methods, 2011

2009

Bisimulation Minimisations for Boolean Equation Systems.

Jeroen Keiren, Tim A. C. Willemse

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

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