# Sjoerd Cranen

According to our database

Collaborative distances:

^{1}, Sjoerd Cranen authored at least 11 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

2015

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

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

Proof Graphs for Parameterised Boolean Equation Systems.

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.

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

2011

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

Theor. Comput. Sci., 2011

Stuttering Mostly Speeds Up Solving Parity Games.

Proceedings of the NASA Formal Methods, 2011

2008

A Rule Format for Associativity.

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