Frank Stappers' Personal Pages

Biography

Frank Petrus Maria Stappers was born on 24th of April 1982 and raised in Weert, the Netherlands. After completing his secondary study, he started to study Computer Science at the Technische Universiteit Eindhoven and obtained his MSc (ir) degree in April 2007. Presently, Frank is pursuing a PhD (dr) degree at the same university.

Research

Current

Presently, I am part of the Model Driven Software Engineering Group at the Department of Mathematics and Computer Science, writing my PhD thesis. Furthermore, I am involved in the maintenance and development of the mCRL2 toolset.

Past: Januari 2010 - December 2010

Frank participated on the LithoSysSL project within ASML. Within the project we formalize a Language-oriented, Domain Specific Modeling Environments for the Specification, Verification and Validation of Lithography Systems. This project was co-supervised by Suzana Andova (TU/e) and Sven Weber (ASML).

Past: April 2007 - December 2009

In the past I have been part of the project called TWINS: "Optimizing Software Hardware Co-design Flow for Software Intensive Systems" (TWINS). This European project is funded by ITEA2 program and is supervised by Jan Friso Groote and Michel Reniers. The aim of the TWINS project is to address problems related to the co-design, development and integration of hardware and software components. Challenging topics in this development that need special attention include: verification and validation of requirements and architecture models, test-case generation from requirements and/or models, and hard- and software change management and configuration management during co-design. From a multidisplinary point of view techniques, formalism and tools are developed that will improve real-time embedded systems.
Within this project the Dutch partners have created a vision in which they want to cooperate with each other and major in “Service and software Creation” and “System Engineering”. With the help of multi-disciplinary models, they want to develop modelling, simulation and verification techniques for integration of electronical, mechanical and software components successfully, while they are independently developed by the different disciplines of electronics, mechanics and software.
The goal of our research is to model multidisplinary systems and perform different forms of analysis to them. By studying the models with mathematical techniques and visualization tools we want to make formal based modeling applicable for systems developed within industry.

Publications: Journal

• "Experiences in developing the mCRL2 toolset" [DOI],J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, J.W. Wesselink and T.A.C. Willemse. Software: Practice and Experience, 41 (2): 143-153, 2011

Publications

• "Modeling, Validation, Verification and Integration of models with the Chi-toolkit applied in an ASML case-study " Frank Stappers, Masterthesis (Disclosed), Technische Universiteit Eindhoven, 2007
• "Multidisciplinary Modelling in the Netherlands" F.P.M. Stappers, L.J.A.M. Somers and M.A. Reniers. In Davide Falessi and Jens Heidrich, editors, Product Focused Software Process Improvement (PROFES 2008), Short Paper Session Proceedings, Frascati, Rome, Italy, June 23-25, 2008, pages 25-28. ISBN: 978-88-95244-13-6
• "The mCRL2 toolset" [PDF], Jan Friso Groote, Jeroen Keiren, Aad Mathijssen, Bas Ploeger, Frank Stappers, Carst Tankink, Yaroslav Usenko, Muck van Weerdenburg, Wieger Wesselink, Tim Willemse and Jeroen van der Wulp. In: Proc. International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008)
• "Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium" [PDF], F.P.M. Stappers, L.J.A.M. Somers, M.A.Reniers. 21th International Conference on Software and Systems Engineering and their Applications (ICSSEA08), Ecole Nationale Superiéure des Télécommunications, Paris, France, December 09-11, 2008, pages S5.2:1-10
• "La modélisation multidisciplinaire: État d'avancements et attentes du projet neérlandais TWINS" , F.P.M. Stappers, L.J.A.M. Somers and M.A.Reniers. Génie Logiciel, 88:26-35,March 2009
• "Breath-Bounded Model Checking" [PDF], M.G. Meulen, F.P.M. Stappers, T.A.C. Willemse Computer Science Report No. 09-03, Eindhoven: Technische Universiteit Eindhoven, 19 pp.
• "Verification of safety requirements for program code using data abstraction" [HTML], F.P.M. Stappers and M.A.Reniers. Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 2009), Swansea, UK, September 23-25, 2009
• "Suitability of mCRL2 for Concurrent System Design: A 2x2 Switch Case Study" [PDF][DOI], F.P.M. Stappers, M.A. Reniers and J.F. Groote. Post-proceedings of FMCO 2009, LNCS 6286, p. 166-185, 2010
• "Experiences in developing the mCRL2 toolset" [PDF],J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, J.W. Wesselink and T.A.C. Willemse. Proceedings of the workshop on Tool Building in Formal Methods (TBFM'10), 2010.
• "Grip op correcte software" [PDF],F.P.M. Stappers, M.A. Reniers, and J.F. Groote. Release, 2010(4), 18-21.
• "Transforming SOS specifications to linear processes" [PDF] Stappers, F.P.M., Reniers, M.A. and Weber, S. Computer Science Report No. 11-07, Eindhoven: Technische Universiteit Eindhoven, 24 pp. 2011
• "Formalizing a domain specific language using SOS: An industrial case study"[PDF] Stappers, F.P.M., Weber, S., Reniers, M.A., Andova, S. and Nagy, I., Pre-proceedings of Fourth International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, 2011
• "Transforming SOS specifications to linear processes" [DOI] Stappers, F.P.M., Reniers, M.A. and Weber, S., in Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011), LNCS 6959, p. 206-221, 2011
• "Dogfooding the structural operational semantics of mCRL2" [PDF] Stappers, F.P.M., Reniers, M.A., Groote, J.F., Weber, S. Computer Science Report, No. 11-18, Eindhoven: Technische Universiteit Eindhoven, 87 pp, 2011

Posters

• "Analysis and Verification of Multidisciplinary Systems" [PDF; A1 format], Frank Stappers, LaQuSO VVSS (Verification and Validation of Software Systems) 2008 Symposium , Eindhoven University of Technology, 24-04-2008

Presentations

• "Translating Chi 2.0 to mCRL2" [PDF], Frank Stappers, Michel Reniers, Prose Seminar (Prose), Eindhoven University of Technology, June 19, 2008
• "Multidisciplinary Modelling in the Netherlands" [PDF], F.P.M. Stappers, L.J.A.M. Somers and M.A. Reniers. Product Focused Software Process Improvement (PROFES 2008), Short Paper Session Proceedings, Frascati, Rome, Italy, June 25, 2008
• "Behavioural Analysis using mCRL2" [PDF], Aad Mathijssen, Bas Ploeger, Frank Stappers, Tim Willemse, IPA Course on Formal Methods , Eindhoven University of Technology, June 26, 2008
• "Behavioural Visualization of Model Based Systems " [PDF] [DEMO-MOV(h263)] , F.P.M. Stappers. Bits And Chips 2008, Model Based Development, Modelling and Simulation, Evoluon, Eindhoven, The Netherlands, October 09, 2008
• " Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium " [PPTX] , F.P.M. Stappers, L.J.A.M. Somers, M.A.Reniers 21th International Conference on Software and Systems Engineering and their Applications (ICSSEA08), Ecole Nationale Superiéure des Télécommunications, Paris, France, December 09, 2008
• "2x2 Switch Case Study" [] , F.P.M. Stappers IPA Herfstdagen, combined with SIREN // NL, November 1 - 3, 2010 Conference Centre De Koningshof, Veldhoven.
• "Formalizing a domain specific language using SOS: An industrial case study" [PPTX] , F.P.M. Stappers, L.J.A.M. Somers, M.A.Reniers 4th International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, 3-5 July, 2011
• "The mCRL2 toolset" [PPTX] , F.P.M. Stappers Guest lecture - 4S100: Verification of discrete event systems, Eindhoven, The Netherlands, 17-10-2011

Teaching

• DA242 "Java A and Java B (80)" (2007/2008)

Graduation assignments

• Hans Westerveen. "Verification of the I-Cane prototype", September 2009. Master's thesis. Assignment from NBG Automation, Nederweert, The Netherlands.
• Marco A. Alonso. "Formal modelling, verification and analysis of the TReCS engine ", August 2010, Master's thesis. Assignment from ASML, Veldhoven, The Netherlands

Copyright © 2007 - 2012 by Frank Stappers. All Rights Reserved.
Last modified: Tuesday, 10th April, 2012 - 01:14pm