STAF 2025 (series) / ECMFA 2025 (series) /
ECMFA 2025 Program
This is the ECMFA 2025 program - see the full program for STAF 2025 and all affiliated events.
Filter Program
Dates
Tue 10 Jun 2025
Wed 11 Jun 2025
Rooms
M 001
Tracks
ECMFA
Badges
Nothing to filter
Your Program
Nothing to filter
This program is tentative and subject to change.
Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | STAF - Opening Session ECMFA Ralf Laemmel University of Koblenz | ||
09:15 15mDay opening | ECMFA - Opening Session ECMFA | ||
09:30 60mKeynote | Formal Modeling and Verification of Safety-Critical Systems ECMFA Matthias Volk TU Eindhoven | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Model Management Framework for Next-Generation Web-based Modeling Tools ECMFA David Jaeger TU Wien, Adam Lencses TU Wien, Martin Fleck EclipseSource Services GmbH, Philip Langer EclipseSource Services GmbH, Dominik Bork TU Wien, Vienna, Austria | ||
11:30 30mTalk | Towards Modeling Inconsistencies in Production Workflows — An Experience Report ECMFA Thomas Weber Karlsruhe Institute of Technology (KIT), Niklas D. Kuder Daedalus GmbH, Karlsruhe Institute of Technology, Thomas A. Völk Karlsruhe Institute of Technology, Jonas Schneider Daedalus GmbH, Sebastian Weber FZI Research Center for Information Technology, Anne Koziolek Karlsruhe Institute of Technology | ||
12:00 30mTalk | Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes ECMFA Haitam El Hayani ENSIAS, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Steffen Zschaler King's College London | ||
13:30 - 15:00 | |||
13:30 30mTalk | Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models ECMFA Issam Al-Azzoni Al Ain University of Science, United Arab Emirates, Reiko Heckel University of Leicester, Zobia Erum Birmingham City University | ||
14:00 30mTalk | Introducing automated testing to video game development via Behaviour-Driven Development ECMFA | ||
14:30 30mTalk | Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting ECMFA Mathijs Schuts TNO-ESI, Jozef Hooman TNO-ESI, Ivan Kurtev Eindhoven University of Technology, Issam Tlili Philips, Erik Oerlemans Philips | ||
15:30 - 17:00 | |||
15:30 30mTalk | Behavioral analysis of a digital twin using logging and model learning ECMFA Gunasekaran Raghavendran Tilburg University, Boudewijn Haverkort University of Twente, Loes Kruger Radboud University | ||
16:00 30mTalk | Navigating the trace of executable domain specific languages through a trace domain query language ECMFA Hiba Ajabri Nantes Université, Jean-Marie Mottu Nantes Université, Christian Attiogbe Nantes Université, Pascal Berruet University of Bretagne Sud | ||
16:30 30mTalk | Support for Model-Based Data Sovereignty Analysis ECMFA Sanjeev Sun Shakya University of Koblenz, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark, Julian Flake University of Koblenz, Alexander Peikert University of Koblenz | ||
Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | STAF - Announcements ECMFA | ||
09:15 75mKeynote | Modeling and LLMs in Continuous Software Engineering ECMFA Anne Koziolek Karlsruhe Institute of Technology | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Metascience Study of the Low-Code Scientific Field ECMFA Mauro Dalle Lucca Tosi Luxembourg Institute of Sciences and Technology, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology | ||
11:30 30mTalk | An internal DSL for graphical modeling tools based on GLSP ECMFA Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Bodo Igler RheinMain University of Applied Sciences | ||
12:00 30mTalk | User Modeling in Model-Driven Engineering: A Systematic Literature Review ECMFA Aaron Conrardy Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology, Alfredo Capozucca University of Luxembourg | ||
13:30 - 15:00 | |||
13:30 30mTalk | Methodical and Formally Verified Model-Driven Architecture Refactoring ECMFA Lars Fischer Chair of Software Engineering, RWTH Aachen University, Hendrik Kausch RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering, Lucas Wollenhaupt Chair of Software Engineering, RWTH Aachen University | ||
14:00 30mTalk | On the Use of GPT-4 in the Reverse Engineering of Class Diagrams ECMFA Victor Campanello Chalmers University of Technology, University of Gothenburg, Shariq Shahbaz Chalmers University of Technology, University of Gothenburg, Vladislav Indykov Chalmers | University of Gothenburg, Daniel Strüber Chalmers | University of Gothenburg / Radboud University | ||
14:30 30mTalk | Using MDE to support sustainable re-engineering ECMFA Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton , Zishan Rahman King's College London | ||
15:30 - 17:00 | |||
15:30 60mDay closing | Closing & Discussions ECMFA | ||