| 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 | 207 | 2013 |
| 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 | 73 | 2011 |
| 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 | 20 | 2012 |
| Bridging formal models: an engineering perspective FPM Stappers | 10 | 2012 |
| Transforming SOS specifications to linear processes FPM Stappers, MA Reniers, S Weber Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011 | 5 | 2011 |
| Verification of safety requirements for program code using data abstraction F Stappers, M Reniers Electronic Communications of the EASST 23, 2009 | 5 | 2009 |
| 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 | 4 | 2009 |
| Breadth-bounded model checking MG Meulen, FPM Stappers, TAC Willemse Technische Universiteit Eindhoven, 2009 | 4 | 2009 |
| Dogfooding the formal semantics of mCRL2 FPM Stappers, MA Reniers, S Weber, JF Groote 2012 35th Annual IEEE Software Engineering Workshop, 90-99, 2012 | 3 | 2012 |
| 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 | 3 | 2008 |
| Dogfooding the structural operational semantics of mCRL2 FPM Stappers, MA Reniers, JF Groote, S Weber Technische Universiteit Eindhoven, 2011 | 2 | 2011 |
| 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 | 1 | 2009 |
| Multidisciplinary Modelling in the Netherlands FPM Stappers, L Somers, MA Reniers PROFES, volume Short Paper Session Proceedings, 25-28, 2008 | 1 | 2008 |
| 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 | | |
