Frank Stappers
TitelCiteras avÅr
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
1442013
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
532008
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
142011
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
92011
Bridging formal models: an engineering perspective
FPM Stappers
72012
Verification of safety requirements for program code using data abstraction
F Stappers, M Reniers
Electronic Communications of the EASST 23, 2009
52009
Transforming SOS specifications to linear processes
FPM Stappers, MA Reniers, S Weber
International Workshop on Formal Methods for Industrial Critical Systems …, 2011
32011
Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium
FPM Stappers, L Somers, MA Reniers
32008
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
22009
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
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, D Falessi, J Heidrich
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
Breadth-bounded model checking
MG Meulen, FPM Stappers, TAC Willemse
Computer science reports 903, 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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–17