top of page

ECMFA 2017

13th European Conference on Modelling Foundations and Applications

Marburg, Germany
July 19-20, 2017


Lionel C. Briand

Model-driven verification and testing of cyber-physical systems: Tackling Scalability and Practicality Challenges

The Conference

Two Days of Powerful Talks
19 July 2017
9:00 am

Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality. The ECMFA conference series is dedicated to advancing the state of knowledge and fostering the industrial application of MBE and related approaches. Its focus is on engaging the key figures of research and industry in a dialog which will result in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results. ECMFA 2017 will be co-located with ICMT, ICGT, and TAP as part of the STAF federation of conferences, leading conferences on software technologies (STAF2017). The joint organization of these prominent conferences provides a unique opportunity to gather practitioners and researchers interested in all aspects of software technology, and allow them to interact with each other. 

The Conference

Call for Papers

ECMFA has two distinct Paper Tracks: one for research papers dealing with the foundations for MBE, and one for industrial/applications papers dealing with the applications of MBE, including experience reports on MBE tools. 

Research Papers

In this track, we are soliciting papers presenting original research on all aspects of MBE. Research papers will be evaluated based on their suitability for the conference, originality, and technical soundness. They require novel and complete research work supported by adequate evaluation results. Typical topics of interest include, among others:

  • Foundations of (Meta)modelling

  • Domain Specific Modelling Languages and Language Workbenches

  • Model Reasoning, Testing and Validation

  • Model Transformation, Code Generation and Reverse Engineering

  • Model Execution and Simulation

  • Model Management aspects such as (Co-)Evolution, Consistency, Synchronization

  • Model-Based Engineering Environments and Tool Chains

  • Foundations of Requirements Modelling, Architecture Modelling, Platform Modelling

  • Foundations of Quality Aspects and Modelling non-functional System Properties

  • Scalability of MBE techniques

  • Collaborative Modeling

Industrial Papers

In this track, we are soliciting papers representing views, innovations and experiences of industrial players in applying or supporting MBE. In particular, we are looking for papers that set requirements on the foundations, methods, and tools for MBE. We are also seeking experience reports or case studies on the application, successes or current shortcomings of MBE. Quantitative results reflecting industrial experience are particularly appreciated. All application areas of MBE are welcome including but not limited to any of the following:

  • MBE for Large and Complex Industrial Systems

  • MBE for Safety-Critical Systems

  • MBE for Cyber-Physical Systems

  • MBE for Software and Business Process Modelling

  • MBE Applications in Transportation, Health Care, Cloud & Mobile computing, etc.

  • Model-Based Integration and Simulation

  • Model-Based System Analysis

  • Application of Modeling Standards

  • Comparative Studies of MBE Methods and Tools

  • Metrics for MBE Development

  • MBE Training

Submission and selection

Manuscripts for both tracks must be submitted as PDF files through the EasyChair online submission system:
Please ensure that you submit to the right track by choosing either "Foundations" or "Applications" as your topic in the EasyChair submission form.

Research papers should be up to 14 pages long plus at most 2 pages references (16 in total).


Industrial papers should be up to 12 pages long plus at most 2 pages references (14 pages in total) for full papers, or up to 2 pages long plus 1 page references (3 pages in total) for short papers. Short papers will be given shorter presentation slots.

Papers must be compliant with the LNCS paper style. Failure to conform to these guidelines may result in disqualification of the paper. In particular, papers longer than the maximum number of pages may be automatically rejected without review.

All contributions will be subject to a rigorous selection process by the Program Committee. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed; any concurrent submission will result in the immediate rejection of the paper. As in previous years, the proceedings of the conference with the accepted papers of both tracks will be published in a dedicated Springer LNCS volume. If accepted, one of the authors must attend the ECMFA 2017 conference and present the work in person.

A Special Journal Issue

The authors of selected best papers from the foundations track will be invited to submit an extended version to a special issue of the SoSyM journal (with another review process). 

Call for Papers

Important Dates

Extended Deadlines

Feb 27


Abstract Submission

Mar 5


Paper Submission

Apr 07


Paper Notification

Apr 21


Paper Final Version
Important Dates


Proud to bring a great inspirational speaker: Lionel C. Briand

Model-driven verification and testing of cyber-physical systems: Tackling Scalability and Practicality Challenges

This talk will report on various research collaboration projects with industry and the lessons learned we drew regarding the verification and testing of cyber-physical systems. Specific issues related to the uncertainty and dynamic behaviour of such systems will be addressed. 

Novel and general solutions will be presented for Model-In-the-Loop (MIL) testing — a common practice in the embedded software industry — and results from Simulink  and timed automata models in the automotive domain will be presented. Beyond this scope, more complex situations will be considered and future research plans will be outlined.

Lionel C. Briand is professor and FNR PEARL chair in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg. He also acts as vice-director of the centre. Lionel started his career as a software engineer in France (CS Communications & Systems) and has conducted applied research in collaboration with industry for more than 22 years.


Until moving to Luxembourg in January 2012, he was heading the Certus center for software verification and validation at Simula Research Laboratory, where he was leading applied research projects in collaboration with industrial partners. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair (Tier I) in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA. 


Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in-chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). He was on the board of IEEE Transactions on Software Engineering from 2000 to 2004. 


Lionel was elevated to the grade of IEEE Fellow in 2010 for his work on the testing of object-oriented systems.

He was granted the IEEE Computer Society Harlan Mills award and the IEEE Reliability Society engineer-of-the-year award for his work on model-based verification and testing, respectively in 2012 and 2014. His research interests include: software testing and verification, model-driven software development,  search-based software engineering, and empirical software engineering. 


General and PC Chairs

  • Foundations Track: Anthony Anjorin, University of Paderborn, Germany

  • Applications Track: Huáscar Espinoza, TECNALIA, Spain


Program Committee (PC)

  Foundations Track PC
  • Ali Shaukat, Simula Research Laboratory, Norway

  • Anne Etien, University of Lille and INRIA, France

  • Antonio Vallecillo, Universidad de Málaga, Spain

  • Christoph Seidl, Technische Universität Braunschweig, Germany

  • Colin Atkinson, University of Mannheim, Germany

  • Ekkart Kindler, Technical University of Denmark, Denmark

  • Eric Cariou, University of Pau / LIUPPA, France

  • Esther Guerra, Autonomous University of Madrid, Spain

  • Ileana Ober, IRIT - Universite de Toulouse, France

  • Jörg Kienzle, McGill University, Canada

  • Malte Lochau, Technische Universität Darmstadt, Germany

  • Mark Van Den Brand, Eindhoven University of Technology, Netherlands

  • Michał Śmiałek, Politechnika Warszawska, Poland

  • Muhammad Zohaib Iqbal, National University of Computer & Emerging Sciences, Pakistan

  • Nancy Day, University of Waterloo, Canada

  • Ralf Lämmel, Universität Koblenz-Landau, Germany

  • Reda Bendraou, Université Pierre & Marie Curie, France

  • Regina Hebig, Chalmers University of Technology, Sweden

  • Romina Eramo, University of L'Aquila, Italy

  • Ruth Breu, University of Innsbruck, Austria

  • Tao Yue, Simula Research Laboratory and University of Oslo, Norway

  • Thomas Kuehne, Victoria University of Wellington, New Zealand

  • Zhenjiang Hu, National Institute of Informatics, Japan

  • Zinovy Diskin, McMaster University / University of Waterloo, Canada

  Applications Track PC
  • Jean-Michel Bruel, IRIT, France

  • Tim Weilkiens, oose Innovative Informatik eG, Germany

  • Stefan Voget, Continental Automotive GmbH, Germany

  • Gianna Reggio, DISI, Universita' di Genova, Italy

  • Henrik Lonn, Volvo Group, Sweden

  • Juha-Pekka Tolvanen, MetaCase, Finland

  • Lidia Fuentes, University of Málaga, Spain

  • Philipp Helle, Airbus Group Innovations, Germany

  • Laurent Rioux, THALES R&T, France

  • Daniel Ratiu, Siemens Corporate Technology, Germany

  • Madeleine Faugere, Thales, France

  • Daniela Cancila, CEA TECH, France

  • C. Michael Holloway, NASA Langley Research Center, USA

  • Dorina Petriu, Carleton University, Canada

  • Rolf-Helge Pfeiffer, Danish Meteorological Institute, Danemark

  • Sebastien Gerard, CEA, France

  • Alejandra Ruiz, TECNALIA, Spain

  • Fabien Belmonte, ALSTOM, France

  • Thierry Lecomte, ClearSy, France

  • Vinay Kulkarni, Tata Consultancy Services Research, India

  • Maged Elaasar, NASA JPL, USA

  • Bernhard Rumpe, RWTH Aachen University, Germany

  • Bernhard Kaiser, Berner&Mattner Systemtechnik GmbH, Germany

  • Dejiu Chen, KTH Royal Institute of Technology, Sweden

  • Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France


Steering Committee (SC)

  • Sébastien Gérard, CEA List, France (Chair)

  • Julia Rubin, MIT, USA

  • Reda Bendraou, Université Pierre & Marie Curie, France

  • Jochen Kuester, IBM Zurich, Switzerland

  • Juha-Pekka Tolvanen, MetaCase, Finland

  • Ekkart Kindler ,Technical University of Denmark, Denmark

  • Tom Ritter, Fraunhofer, FOKUS, Germany

  • Pieter Van Gorp, Eindhoven University of Technology, NL



Wednesday, July 19

*Presentation files available for talks in Blue

Thursday, July 20

*Presentation files available for talks in Blue



Free Access

Springer grants free access to the LNCS proceedings of ECMFA’17 for a period of four weeks, starting on July 7, 2017. The free access is available via the link provided in the image.

Vuelve pronto
Una vez que se publiquen entradas, las verás aquí.


Hosted by STAF 2017. Venue information:

Subscribe to get news on all upcoming events

bottom of page