ECMFA 2026
Tue 30 June - Wed 1 July 2026
co-located with STAF 2026

The 22nd European Conference on Modelling Foundations and Applications (ECMFA) will be held in Rennes, France, as part of STAF 2026 (Software Technologies: Applications and Foundations).

Aims and scope

The European Conference on Modelling Foundations and Applications (ECMFA) is the premier European forum dedicated to advancing the state of knowledge and fostering the application of all aspects of MBE and related approaches.

Its focus is on engaging the key figures of research and industry in a dialog that will result in stronger and more effective practical application of MBE, hence producing more reliable software based on state-of-the-art research results.

In the technical track, we invite high-quality submissions of technical research papers describing original and unpublished results related to MBE.

Dates
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 09:15
WelcomeECMFA 2026 at Auditorium
Chair(s): Önder Babur Wageningen University & Research, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
09:00
15m
Day opening
Welcome
ECMFA 2026

09:15 - 10:30
09:15
75m
Keynote
From Software Language Engineering to Digital Twin Engineering
ECMFA 2026
Mark van den Brand Eindhoven University of Technology
10:30 - 11:00
10:30
30m
Coffee break
Break
STAF Catering

11:00 - 12:30
TransformationsECMFA 2026 at Auditorium
11:00
30m
Talk
CoCoPath: Concolic Exploration of Consistency-Preserving Paths
ECMFA 2026
Bowen Jiang Karlsruhe Institute of Technology, Miriam Boß RWTH Aachen University, Thomas Weber Karlsruhe Institute of Technology (KIT), Weixing Zhang Karlsruhe Institute of Technology (KIT), Mattias Ulbrich KIT, Anne Koziolek Karlsruhe Institute of Technology
11:30
30m
Talk
From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic
ECMFA 2026
Attila Ficsor Budapest University of Technology and Economics, Inez Anna Papp Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics
12:00
30m
Talk
Language Design of the NeoJoin View Definition Language
ECMFA 2026
Lars König Karlsruhe Institute of Technology (KIT), Tobias Stickling Karlsruhe Institute of Technology (KIT), Alexander Kocher Karlsruhe Institute of Technology (KIT), Hüseyin Kemâl Çakmak Karlsruhe Institute of Technology (KIT), Erik Burger Karlsruhe Institute of Technology (KIT), Veit Hagenmeyer Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
12:30 - 13:30
12:30
60m
Lunch
Lunch
STAF Catering

13:30 - 15:10
Digital Twins and Cyber-Physical SystemsECMFA 2026 at Auditorium
13:30
25m
Talk
Model-Based Development of Digital Twins in Industry 4.0
ECMFA 2026
Lina Bilal Université de Rennes, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes, IUF, INRIA, CNRS, IRISA, Quentin Perez INSA Rennes
13:55
25m
Talk
Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency
ECMFA 2026
Antonios Naguib Université Marie et Louis Pasteur, FEMTO-ST Institute UMR CNRS 6174, France, Olga Kouchnarenko Femto-ST / Université de Franche-Comté, Frédéric Lassabe Université Marie et Louis Pasteur, FEMTO-ST Institute UMR 6174 CNRS, France
14:20
25m
Talk
Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports
ECMFA 2026
Quang-Duy Nguyen Université Paris-Saclay, CEA, List, Fatima Danash Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France, Arnab SINHA Université Paris-Saclay, CEA, List, F-91120, Palaiseau, France, Chokri Mraidha Université Paris-Saclay, CEA, List
14:45
25m
Talk
Semantic Drift Management in Digital Twins
ECMFA 2026
Faima Abbasi Luxembourg Institute of Science and Technology and University of Luxembourg, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Cedric Pruski Luxembourg Institute of Science and Technology and University of Luxembourg
15:10 - 15:40
15:10
30m
Coffee break
Break
STAF Catering

15:40 - 17:20
Domain-Specific Modeling LanguagesECMFA 2026 at Auditorium
15:40
25m
Talk
A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
ECMFA 2026
Nicolas Lacroix Université Côte d'Azur, I3S, Mireille Blay-Fornarino Université Nice Sophia Antipolis, I3S, Philippe Collet University of Nice, Frederic Precioso Laboratoire I3S UMR UNS-CNRS 7271, Sébastien Mosser McMaster University
16:05
25m
Talk
An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks
ECMFA 2026
Bianca Wiesmayr Ulm University, Antonio Garmendia Universidad Autónoma de Madrid, Alois Zoitl LIT CPS Lab, Johannes Kepler University Linz, Manuel Wimmer JKU Linz
16:30
25m
Talk
Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks
ECMFA 2026
Stéphanie Challita University of Rennes / IRISA, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA
16:55
25m
Talk
Weaving executable models and code for software development
ECMFA 2026
Hugo Richard Lab-STICC / UBO, Eric Cariou Lab-STICC UMR6285, Université de Brest, Jean-Philippe Babau Lab-STICC / UBO

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

10:30 - 11:00
10:30
30m
Coffee break
Break
STAF Catering

11:00 - 12:30
Language ModelsECMFA 2026 at Auditorium
11:00
30m
Talk
Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
ECMFA 2026
Rebeka Farkas Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics
11:30
30m
Talk
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
ECMFA 2026
Weixing Zhang Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Rahul Sharma Karlsruhe Institute of Technology, Regina Hebig Universität Rostock, Rostock, Germany, Daniel Strüber Chalmers | University of Gothenburg / Radboud University
12:00
30m
Talk
Structural-Semantic Clustering for Architectural Models
ECMFA 2026
Thi Dinh Tran Gran Sasso Science Institute, Maria Teresa Rossi University of Milano Bicocca, Italy, Davide Soldati University of Milano-Bicocca, Mauro Sonzogni University of Milano-Bicocca, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Leonardo Mariani University of Milano-Bicocca
11:00 - 12:30
System EngineeringECMFA 2026 at Markov
11:00
30m
Talk
A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems
ECMFA 2026
Muhammad Asim Minhas Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany, Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner KIT, Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH
11:30
30m
Talk
Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles
ECMFA 2026
Léo Olivier CEA-List, Université Paris-Saclay, Marcos Didonet Del Fabro CEA-List, Sebastien Gerard IRT Jules Verne
12:00
30m
Talk
Policy-Driven Change Management in Model Based Systems Engineering
ECMFA 2026
Anish Bhobe Telecom Paris, Dominique Blouin LTCI Lab, Telecom Paris, Institute Polytechnique de Paris, Laurent Pautet Télécom Paris, Institut Polytechnique de Paris
12:30 - 13:30
12:30
60m
Lunch
Lunch
STAF Catering

13:30 - 15:00
Language ModelsECMFA 2026 at Auditorium
13:30
30m
Talk
EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling
ECMFA 2026
Lissette Almonte Universidad Autónoma de Madrid, Jefferson Ivan Rengifo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
14:00
30m
Talk
LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
ECMFA 2026
Bowen Jiang Karlsruhe Institute of Technology, Nathan Hagel Karlsruhe Institute of Technology (KIT), Haowei Cheng Waseda University, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Weixing Zhang Karlsruhe Institute of Technology (KIT), Rahul Sharma Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Anne Koziolek Karlsruhe Institute of Technology
14:30
30m
Talk
LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
ECMFA 2026
James Pontes Miranda CEA LIST, Ansgar Radermacher Université Paris-Saclay, CEA List, Palaiseau, Marcos Didonet Del Fabro CEA-List, Fabien Baligand Université Paris-Saclay, CEA List, Palaiseau, Julie Bonnail Université Paris-Saclay, CEA List, Palaiseau, Pascal Bannerot Université Paris-Saclay, CEA List, Palaiseau, Kunal Suri Université Paris-Saclay, CEA List, Palaiseau
13:30 - 15:10
Testing and BenchmarkingECMFA 2026 at Markov
13:30
30m
Talk
Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification
ECMFA 2026
Ankit Jha Maynooth University, Rosemary Monahan , Hao Wu Maynooth University
14:00
30m
Talk
Disjunction Composition of BDD Transition Systems for Model-Based Testing
ECMFA 2026
Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Arend Rensink University of Twente, The Netherlands
14:30
30m
Talk
PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
ECMFA 2026
María Belén Rodríguez University of Twente, Petra van den Bos University of Twente, The Netherlands
15:10 - 15:40
15:10
30m
Coffee break
Break
STAF Catering

15:40 - 17:20
Consistency and CompositionECMFA 2026 at Auditorium
15:40
30m
Talk
Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
ECMFA 2026
Sébastien Mosser McMaster University, Shyam Ravichandran McMaster University, Kalvin Thuan-Phong Khuu McMaster University, McSCert, Brian Detlor McMaster University, Denise Geiskkovitch McMaster University, Anne-Marie Pinna-Déry I3S, P.J. White SETU
16:10
30m
Talk
Incremental Task-Driven Composition of Heterogeneous Software Models for Legacy System Maintenance
ECMFA 2026
Azam Mahdipour McMaster Centre for Software Certification, Vera Pantelic McMaster Centre for Software Certification, Sébastien Mosser McMaster University
16:40
30m
Talk
Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
ECMFA 2026
Karl Kegel Technische Universität Dresden, Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Terru Stübinger Karlsruhe Institut für Technologie, Romain Pascual MICS, CentraleSupélec, Université Paris-Saclay, Bernhard Beckert Karlsruhe Institute of Technology, Ralf Reussner KIT, Uwe Aßmann TU Dresden, Germany
15:40 - 17:20
OntologiesECMFA 2026 at Markov
15:40
30m
Talk
Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
ECMFA 2026
Dirk Friedenberger Hasso-Plattner-Institut, Jonas Henschel TU Chemnitz, Lukas Pirl Hasso Plattner Institute, Can André Dautel Institute of Aircraft Systems (ILS), University of Stuttgart, Andreas Polze Hasso-Plattner-Institute at University Potsdam
16:10
30m
Talk
Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis
ECMFA 2026
Bahareh Fatemi University of Bergen, Fazle Rabbi University of Bergen, Andreas L Opdahl University of Bergen, Yngve Lamo Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences
16:40
30m
Talk
Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
ECMFA 2026
Shilpi Gupta University of Mannheim, Mohammad Sadeghi University of Mannheim, Monalisha Ojha University of Mannheim, Colin Atkinson University of Mannheim

Accepted Papers

Title
Achieving Traceability and Reproducibility for Heterogenous MBSE Processes using Ontology-Based Orchestration
ECMFA 2026
A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
ECMFA 2026
An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks
ECMFA 2026
Assessing the Scalability of Graph Predicate Evaluation with Large Language Models
ECMFA 2026
A Unified Model-driven Framework for Co-Designing System Architecture and Safety Analysis in Cyber-Physical Systems
ECMFA 2026
Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification
ECMFA 2026
Capturing and Organizing Reusable Interaction Practices Using Justification and Feature Models
ECMFA 2026
CoCoPath: Concolic Exploration of Consistency-Preserving Paths
ECMFA 2026
Disjunction Composition of BDD Transition Systems for Model-Based Testing
ECMFA 2026
EMF-Kaizen: an intelligent assistant for domain-specific modelling and meta-modelling
ECMFA 2026
From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic
ECMFA 2026
From Software Language Engineering to Digital Twin Engineering
ECMFA 2026
Hybrid Collaborative Modeling: Problem Analysis, Requirements, and Architectural Principles
ECMFA 2026
Incremental Task-Driven Composition of Heterogeneous Software Models for Legacy System Maintenance
ECMFA 2026
Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models
ECMFA 2026
Language Design of the NeoJoin View Definition Language
ECMFA 2026
Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
ECMFA 2026
LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages
ECMFA 2026
LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling
ECMFA 2026
Model-Based Development of Digital Twins in Industry 4.0
ECMFA 2026
Modeling Dynamic Processes with Ontological Grounding: A Case Study in Conflict Analysis
ECMFA 2026
Module-based Modelling and Assessment of Modular Robots w.r.t. Energy Efficiency
ECMFA 2026
PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
ECMFA 2026
Policy-Driven Change Management in Model Based Systems Engineering
ECMFA 2026
Product Digital Twin Ontology: A Pivot for Bridging Asset Administration Shell–based and Ontology-based Digital Product Passports
ECMFA 2026
Semantic Drift Management in Digital Twins
ECMFA 2026
Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks
ECMFA 2026
Structural-Semantic Clustering for Architectural Models
ECMFA 2026
Supporting OWL-Style Reasoning over UML-Style Models via Endogenous OWL Overlays
ECMFA 2026
Weaving executable models and code for software development
ECMFA 2026

Call for Papers

We are soliciting papers presenting original research on all aspects of model-based engineering. Two types of submissions are possible:

  • Foundation Papers, dealing with modeling foundations, such as metamodeling, model transformations, model validation, verification and testing, model engineering methods and tools, and related aspects.
  • Application Papers, dealing with the application of modeling techniques, including experience reports on the use of MBE methods and tools, industrial case studies, or successful applications of MBE practices in industry or in public administration, with significant modeling lessons learned. All applications must have been done in real contexts and at least one of the authors of the paper must be from the company or administration where the application took place.

Submission process

Submissions must conform to the JOT LaTeX template (https://www.jot.fm/templates/jot.zip or https://www.overleaf.com/latex/templates/journal-of-object-technology-jot-template/htdbfxfnyjjj) and must not exceed 14 pages (including figures, references, and appendices). Secondary studies may use 2 additional pages for references only. Failure to conform to these guidelines may result in disqualification of the paper. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed; any concurrent submission will be deemed as a serious breach of scientific ethics, resulting in the immediate rejection of the paper and appropriate action will be taken.

All submissions will be peer-reviewed by at least three members of the Program Committee.

All papers have to be submitted electronically in PDF format through Easychair in this link to ECMFA 2026: https://easychair.org/my2/conference?conf=staf2026

Topics of interest include, but are not limited to:

  • Foundations of MBE, including model transformations, domain-specific languages, verification and validation approaches, etc.
  • Novel paradigms, formalisms, applications, approaches, frameworks, or processes for model-based engineering such as low-code/no-code development, digital twins, etc.
  • Interplay between MBE with and for AI-based systems.
  • Application of MBE methods, tools, and techniques to specific domains, e.g., automotive, aerospace, cyber-physical systems, robotics, Artificial Intelligence or IoT.
  • Successful use of MBE in connection with other disciplines and approaches, such as Artificial Intelligence, DevOps, Open Source, or Safety Assurance.
  • Educational aspects of MBE.
  • Tools and initiatives for the successful adoption of MBE in industry.

Review criteria and process

The program committee will assess all papers for novelty, significance, technical quality, rigour, and suitability for the conference.

Contributions can be submitted to any of the two submission periods. In both rounds, each submitted paper can be recommended by the Program Committee to be accepted-as-is, accepted with minor revisions, undergo major revisions, or rejected.

Papers accepted at any of the two rounds with major or minor revisions will be given a specified period of time to perform the revisions and re-submit. The same reviewers will assess how well the authors have addressed the revision requests and whether the final paper maintains or improves the level of contribution of the original submission. Revisions that significantly lessen the contribution of the work or fail to address the reviewers’ original concerns adequately will result in the paper’s rejection. Papers not accepted but with a sufficient level of quality may be encouraged to be re-submitted next year, or alternatively as regular JOT articles, hence continuing their review process through the normal journal channels.

Papers will be published in the JOT journal as soon as they are accepted and one of their authors registers at the conference.

Artifacts

Artifacts are recommended but not required, for the initial submission. Depending on the papers, reviewers may take the existence of artifacts as a positive signal about the work. Also, depending on the papers, artifacts may be required as a condition for publication.

Publication

All accepted papers will be published as platinum open-access journal publications in JOT. At least one author for each accepted paper must register before the early registration deadline and present the paper during the conference. Failure to do so will result in the paper being withdrawn from the proceedings.

Contact

Chairs can be contacted using the following email addresses: ecmfa2026_round_1@easychair.org and ecmfa2026_round_2@easychair.org

Questions? Use the ECMFA contact form.