According to our database1, Jeroen Keiren authored at least 17 papers between 2008 and 2019.
Legend:Book In proceedings Article PhD thesis Other
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Parity game reductions.
Acta Inf., 2018
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.
ACM Trans. Comput. Log., 2017
Games for Bisimulations and Abstraction.
Logical Methods in Computer Science, 2017
Corrections to "A Menagerie of Timed Automata".
ACM Comput. Surv., 2017
Branching Bisimulation Games.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Benchmarks for Parity Games.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
Liveness Analysis for Parameterised Boolean Equation Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2014
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Sci. Comput. Program., 2013
An Overview of the mCRL2 Toolset and Its Recent Advances.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Structural Analysis of Boolean Equation Systems.
ACM Trans. Comput. Log., 2012
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.
A Cure for Stuttering Parity Games.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Experiences in developing the mCRL2 toolset.
Softw., Pract. Exper., 2011
Stuttering Mostly Speeds Up Solving Parity Games.
Proceedings of the NASA Formal Methods, 2011
Bisimulation Minimisations for Boolean Equation Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2009
Designing Case Handling Systems.
Trans. Petri Nets and Other Models of Concurrency, 2008