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
1502013
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
542008
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
152011
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
82012
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
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 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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18