Sjoerd Cranen

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