Frank P. M. Stappers

According to our database, Frank P. M. Stappers authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Dogfooding the Formal Semantics of mCRL2.

Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

Experiences in developing the mCRL2 toolset.

Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse

Softw. Pract. Exp., 2011

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study.

Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Transforming SOS Specifications to Linear Processes.

Frank P. M. Stappers, Michel A. Reniers, Sven Weber

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2009

Verification of safety requirements for program code using data abstraction.

Frank P. M. Stappers, Michel A. Reniers

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.

Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009