Sjoerd Cranen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2008–2015
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CSL | Evidence for Fixpoint Logic. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2013 | CONCUR | Proof Graphs for Parameterised Boolean Equation Systems. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2013 | TACAS | 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 |
| 2012 | FMICS | Model Checking the FlexRay Startup Phase. | Sjoerd Cranen |
| 2012 | ICTAC | A Cure for Stuttering Parity Games. | Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2008 | CONCUR | A Rule Format for Associativity. | Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |