According to our database1, Sjoerd Cranen authored at least 13 papers between 2008 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Parity game reductions.
Acta Inf., 2018
Parity Game Reductions.
Abstraction in Fixpoint Logic.
ACM Trans. Comput. Log., 2015
Evidence for Fixpoint Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
An Overview of the mCRL2 Toolset and Its Recent Advances.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proof Graphs for Parameterised Boolean Equation Systems.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
A Cure for Stuttering Parity Games.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Model Checking the FlexRay Startup Phase.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
A linear translation from CTL* to the first-order modal μ -calculus.
Theor. Comput. Sci., 2011
Stuttering Equivalence for Parity Games
Stuttering Mostly Speeds Up Solving Parity Games.
Proceedings of the NASA Formal Methods, 2011
A Rule Format for Associativity.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008