A Rule Format for Associativity. - Sjoerd Cranen; Mohammad Reza Mousavi 001; Michel A. Reniers (CONCUR, 2008)

Stuttering Mostly Speeds Up Solving Parity Games. - Sjoerd Cranen; Jeroen Keiren; Tim A. C. Willemse (NASA Formal Methods, 2011)

Stuttering Equivalence for Parity Games - Sjoerd Cranen; Jeroen Keiren; Tim A. C. Willemse (CoRR, 2011)

A linear translation from CTL* to the first-order modal μ -calculus. - Sjoerd Cranen; Jan Friso Groote; Michel A. Reniers (Theor. Comput. Sci., 2011)

Model Checking the FlexRay Startup Phase. - Sjoerd Cranen (FMICS, 2012)

A Cure for Stuttering Parity Games. - Sjoerd Cranen; Jeroen J. A. Keiren; Tim A. C. Willemse (ICTAC, 2012)

Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems. - Sjoerd Cranen; Reinder J. Bril (SIES, 2012)

Proof Graphs for Parameterised Boolean Equation Systems. - Sjoerd Cranen; Bas Luttik; Tim A. C. Willemse (CONCUR, 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 (TACAS, 2013)

Evidence for Fixpoint Logic. - Sjoerd Cranen; Bas Luttik; Tim A. C. Willemse (CSL, 2015)

Abstraction in Fixpoint Logic. - Sjoerd Cranen; Maciej Gazda; Wieger Wesselink; Tim A. C. Willemse (ACM Trans. Comput. Log., 2015)

Parity game reductions. - Sjoerd Cranen; Jeroen J. A. Keiren; Tim A. C. Willemse (Acta Informatica, 2018)