Frank Stappers
Title
Cited by
Cited by
Year
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
1782013
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
562008
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
182011
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
122011
Bridging formal models: an engineering perspective
FPM Stappers
92012
Transforming SOS specifications to linear processes
FPM Stappers, MA Reniers, S Weber
International Workshop on Formal Methods for Industrial Critical Systems …, 2011
52011
Verification of safety requirements for program code using data abstraction
F Stappers, M Reniers
Electronic Communications of the EASST 23, 2009
52009
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
32009
Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium
FPM Stappers, L Somers, MA Reniers
32008
Dogfooding the structural operational semantics of mCRL2
FPM Stappers, MA Reniers, JF Groote, S Weber
Computer Science Report No. 11-18, 2011
22011
Dogfooding the formal semantics of mCRL2
FPM Stappers, MA Reniers, S Weber, JF Groote
2012 35th Annual IEEE Software Engineering Workshop, 90-99, 2012
12012
Breadth-bounded model checking
MG Meulen, FPM Stappers, TAC Willemse
Dept. Comput. Sci., Technische Univ. Eindhoven, Eindhoven, The Netherlands …, 2009
12009
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
12009
Multidisciplinary modelling in the Netherlands
FPM Stappers, L Somers, MA Reniers
PROFES, volume Short Paper Session Proceedings, 25-28, 2008
12008
Grip op ontwikkelen van correcte software
JF Groote, FPM Stappers, MA Reniers
Release 2010 (4), 18-21, 2010
2010
De 15e Nederlandse testdag, 4 november, 2009, Technische Universiteit Eindhoven
FPM Stappers, TAC Willemse
Technische Universiteit Eindhoven, 2009
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–19