Frank P. M. Stappers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2013
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | SEW | Dogfooding the Formal Semantics of mCRL2. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
| 2011 | FMICS | Transforming SOS Specifications to Linear Processes. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber |
| 2011 | SLE | Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. | Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy |