Sjoerd Cranen

According to our database, Sjoerd Cranen authored at least 12 papers between 2008 and 2018.

Collaborative distances:

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

2018

Parity game reductions.

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

Acta Informatica, 2018

2015

Abstraction in Fixpoint Logic.

Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse

ACM Trans. Comput. Log., 2015

Evidence for Fixpoint Logic.

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

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

Proof Graphs for Parameterised Boolean Equation Systems.

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems.

Sjoerd Cranen, Reinder J. Bril

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 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

Model Checking the FlexRay Startup Phase.

Sjoerd Cranen

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

A linear translation from CTL* to the first-order modal μ -calculus.

Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers

Theor. Comput. Sci., 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

2008

A Rule Format for Associativity.

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008