Sjoerd Cranen

According to our database1, 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


  Loading...