Jeroen Keiren

According to our database1, Jeroen Keiren authored at least 24 papers between 2008 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Parity game reductions.
Acta Inf., 2018

2017
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

2016
Corrections to A Menagerie of Timed Automata.
CoRR, 2016

Stuttering equivalence is too slow!
CoRR, 2016

Games for Bisimulations and Abstraction.
CoRR, 2016

Parity Game Reductions.
CoRR, 2016

Branching Bisimulation Games.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015
Benchmarks for Parity Games.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014
Benchmarks for Parity Games.
CoRR, 2014

Liveness Analysis for Parameterised Boolean Equation Systems.
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.
Sci. Comput. Program., 2013

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
CoRR, 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

2012
Structural Analysis of Boolean Equation Systems.
ACM Trans. Comput. Log., 2012

Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.
ECEASST, 2012

A Cure for Stuttering Parity Games.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011
Experiences in developing the mCRL2 toolset.
Softw., Pract. Exper., 2011

Stuttering Equivalence for Parity Games
CoRR, 2011

Stuttering Mostly Speeds Up Solving Parity Games.
Proceedings of the NASA Formal Methods, 2011

2010
Structural Analysis of Boolean Equation Systems
CoRR, 2010

2009
Bisimulation Minimisations for Boolean Equation Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2009

2008
Designing Case Handling Systems.
Trans. Petri Nets and Other Models of Concurrency, 2008


  Loading...