Frank Stappers
Cited by
Cited by
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
The mCRL2 toolset
JF Groote, J Keiren, A Mathijssen, B Ploeger, F Stappers, C Tankink, ...
Proceedings of the International Workshop on Advanced Software Development …, 2008
Formalizing a domain specific language using SOS: an industrial case study
FPM Stappers, S Weber, MA Reniers, S Andova, I Nagy
International Conference on Software Language Engineering, 223-242, 2011
Experiences in developing the mCRL2 toolset
JF Groote, JJA Keiren, FPM Stappers, JW Wesselink, TAC Willemse
Software: Practice and Experience 41 (2), 143-153, 2011
Bridging formal models: an engineering perspective
FPM Stappers
Verification of safety requirements for program code using data abstraction
F Stappers, M Reniers
Electronic Communications of the EASST 23, 2009
Transforming SOS specifications to linear processes
FPM Stappers, MA Reniers, S Weber
International Workshop on Formal Methods for Industrial Critical Systems …, 2011
Suitability of mCRL2 for concurrent-system design: a 2× 2 switch case study
FPM Stappers, MA Reniers, JF Groote
International Symposium on Formal Methods for Components and Objects, 166-185, 2009
Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium
FPM Stappers, L Somers, MA Reniers
Dogfooding the formal semantics of mCRL2
FPM Stappers, MA Reniers, S Weber, JF Groote
2012 35th Annual IEEE Software Engineering Workshop, 90-99, 2012
La modélisation multidisciplinaire: Etat d'avancements et attentes du projet néerlandais TWINS
FPM Stappers, LJAM Somers, MA Reniers
Génie Logiciel 88, 26-35, 2009
Multidisciplinary modelling in the Netherlands
FPM Stappers, L Somers, MA Reniers
PROFES, volume Short Paper Session Proceedings, 25-28, 2008
Grip op ontwikkelen van correcte software
JF Groote, FPM Stappers, MA Reniers
Release 2010 (4), 18-21, 2010
De 15e Nederlandse testdag, 4 november, 2009, Technische Universiteit Eindhoven
FPM Stappers, TAC Willemse
Technische Universiteit Eindhoven, 2009
Breadth-bounded model checking
MG Meulen, FPM Stappers, TAC Willemse
Computer science reports 903, 2009
Bridging Formal Models
FPM Stappers
The current status and the expectations in the Dutch TWINS consortium
FPM Stappers, L Somers, MA Reniers
Multidisciplinary Modeling
FPM Stappers, LJAM Somers, MA Reniers
The system can't perform the operation now. Try again later.
Articles 1–18