Follow
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, ...
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
2012013
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
732011
Formalizing a domain specific language using SOS: An industrial case study
FPM Stappers, S Weber, MA Reniers, S Andova, I Nagy
Software Language Engineering: 4th International Conference, SLE 2011, Braga …, 2012
202012
Bridging formal models: an engineering perspective
FPM Stappers
92012
Transforming SOS specifications to linear processes
FPM Stappers, MA Reniers, S Weber
Formal Methods for Industrial Critical Systems: 16th International Workshop …, 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
42009
Breadth-bounded model checking
MG Meulen, FPM Stappers, TAC Willemse
Technische Universiteit Eindhoven, 2009
42009
Dogfooding the formal semantics of mCRL2
FPM Stappers, MA Reniers, S Weber, JF Groote
2012 35th Annual IEEE Software Engineering Workshop, 90-99, 2012
32012
Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium
FPM Stappers, L Somers, MA Reniers
21st International Conference on Software and Systems Engineering and their …, 2008
32008
Dogfooding the structural operational semantics of mCRL2
FPM Stappers, MA Reniers, JF Groote, S Weber
Technische Universiteit Eindhoven, 2011
22011
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
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–17