Sjoerd Cranen

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 4

Top Topics

Semantics Of Logic Programs

Fixpoint Semantics

Top Venues

ACM Trans. Comput. Log.

Acta Informatica

Publications

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
Parity game reductions. Acta Informatica 55 (5) (2018)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
Parity Game Reductions. CoRR (2016)
Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
Evidence for Fixpoint Logic. CSL (2015)
Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse
Abstraction in Fixpoint Logic. ACM Trans. Comput. Log. 16 (4) (2015)
Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
Proof Graphs for Parameterised Boolean Equation Systems. CONCUR (2013)
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS (2013)
Sjoerd Cranen, Reinder J. Bril
Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems. SIES (2012)
Sjoerd Cranen
Model Checking the FlexRay Startup Phase. FMICS (2012)
Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
A Cure for Stuttering Parity Games. ICTAC (2012)
Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
Stuttering Equivalence for Parity Games CoRR (2011)
Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers
A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. 412 (28) (2011)
Sjoerd Cranen, Jeroen Keiren, Tim A. C. Willemse
Stuttering Mostly Speeds Up Solving Parity Games. NASA Formal Methods (2011)
Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers
A Rule Format for Associativity. CONCUR (2008)