ICMM 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany
co-located with STAF 2025
VenueUniversity of Koblenz
Room nameM 001
Floor0
Room number001
Capacity150
Room InformationNo extra information available
Program

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

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ECMFA OpeningECMFA at M 001
09:00
15m
Day opening
STAF - Opening Session
ECMFA
Ralf Laemmel University of Koblenz
09:15
15m
Day opening
ECMFA - Opening Session
ECMFA
C: Robbert Jongeling Mälardalen University, C: Sébastien Mosser McMaster University
09:30
60m
Keynote
Formal Modeling and Verification of Safety-Critical Systems
ECMFA
Matthias Volk TU Eindhoven
11:00 - 12:30
ECMFA Session 1: Model managementECMFA at M 001
Chair(s): Joeri Exelmans
11:00
30m
Talk
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
Link to publication DOI
11:30
30m
Talk
Enhancing Production Workflows by Leveraging BPMN to Model Inconsistencies — 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
Link to publication DOI
12:00
30m
Talk
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
Link to publication DOI
13:30 - 15:00
ECMFA Session 2: TestingECMFA at M 001
Chair(s): Dominik Bork TU Wien, Vienna, Austria
13:30
30m
Talk
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
Link to publication DOI
14:00
30m
Talk
Introducing automated testing to video game development via Behaviour-Driven Development
ECMFA
Michael Mulder University of Twente, Petra van den Bos University of Twente, The Netherlands
Link to publication DOI
14:30
30m
Talk
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
Link to publication DOI
15:30 - 17:00
ECMFA Session 3: Digital twins and data analysisECMFA at M 001
Chair(s): Iván Alfonso Luxembourg Institute of Science and Technology
15:30
30m
Talk
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
Link to publication DOI
16:00
30m
Talk
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
Link to publication DOI
16:30
30m
Talk
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
Link to publication DOI

Wed 11 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ECMFA KeynoteECMFA at M 001
09:00
15m
Day opening
STAF - Announcements
ECMFA
G: Ralf Lämmel Universität Koblenz
09:15
75m
Keynote
Modeling and LLMs in Continuous Software Engineering
ECMFA
Anne Koziolek Karlsruhe Institute of Technology
11:00 - 12:30
ECMFA Session 4: Low-code and user-friendly modellingECMFA at M 001
11:00
30m
Talk
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
Link to publication DOI
11:30
30m
Talk
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
Link to publication DOI
12:00
30m
Talk
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
Link to publication DOI Pre-print
13:30 - 15:00
ECMFA Session 5: MaintenanceECMFA at M 001
Chair(s): Riccardo Rubei University of L'Aquila
13:30
30m
Talk
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
Link to publication DOI
14:00
30m
Talk
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
Link to publication DOI
14:30
30m
Talk
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
Link to publication DOI
15:30 - 17:00
ECMFA ClosingECMFA at M 001
15:30
60m
Day closing
Closing & Discussions
ECMFA
C: Robbert Jongeling Mälardalen University, C: Sébastien Mosser McMaster University

Thu 12 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
SLE KeynoteSLE at M 001
Chair(s): Regina Hebig Universität Rostock, Rostock, Germany
09:00
15m
Day opening
SLE Welcome
SLE
G: Görel Hedin Lund University, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente
09:15
75m
Keynote
A New DSL Textbook in Town!
SLE
K: Thorsten Berger Ruhr University Bochum
Pre-print
11:00 - 12:30
SLE Session 1: Parsing and Attribute GrammarsSLE at M 001
Chair(s): Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany
11:00
22m
Talk
Handling Grammar Cycles in the 1997 Standard ML Definition
SLE
Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London, UK
Pre-print
11:22
22m
Talk
Property-based Testing of Attribute GrammarsArtifact FunctionalArtifact Available
SLE
José Nuno Macedo University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho
11:45
22m
Talk
Scheduling the Construction and Interrogation of Scope Graphs Using Attribute GrammarsArtifact FunctionalArtifact Available
SLE
Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities
Pre-print
12:07
22m
Talk
Boosting Parallel Parsing through Cyclic Operator Precedence GrammarsArtifact ReusableArtifact Available
SLE
Michele Chiari TU Wien, Michele Giornetta Politecnico di Milano, Dino Mandrioli Politecnico di Milano, Matteo Pradella Politecnico di Milano, Italy
Pre-print
13:30 - 15:00
SLE Session 2: Language and Framework DesignSLE at M 001
Chair(s): Elizabeth Scott Royal Holloway University of London
13:30
22m
Talk
A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries
SLE
Arkadii Gerasimov RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Sebastian Will RWTH Aachen
Link to publication DOI
13:52
22m
Talk
TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssemblyArtifact ReusableArtifact Available
SLE
José Pedro Ferreira University of Porto, Portugal, João Bispo Faculdade de Engenharia e Universidade do Porto, Susana Lima
14:15
22m
Talk
Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) StandardizationArtifact ReusableArtifact Available
SLE
Philipp Riemer Leipzig University, Yury Nikulin University of Turku, Ashley Claymore , Mikhail Barash University of Bergen
14:37
22m
Talk
AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP supportArtifact ReusableArtifact Available
SLE
Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Alexander Hert RheinMain University of Applied Sciences, Wiesbaden, Germany, Niklas Hettler RheinMain University of Applied Sciences, Wiesbaden, Germany, Kevin Weinert RheinMain University of Applied Sciences, Wiesbaden, Germany
15:30 - 17:00
SLE Session 3: Language WorkbenchesSLE at M 001
Chair(s): Jeff Smits Delft University of Technology
15:30
25m
Talk
Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design
SLE
Alex Lüpges RWTH Aachen, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
15:55
20m
Talk
Integrating Model Checking into a Live Modeling Environment
SLE
Joeri Exelmans , Ciprian Teodorov ENSTA Bretagne, Hans Vangheluwe University of Antwerp and Flanders Make
16:15
15m
Awards
SLE Awards
SLE
S: Eric Van Wyk University of Minnesota, Twin Cities, Marjan Mernik University of Maribor, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente
16:30
30m
Talk
SLE MIP Talk
SLE

Fri 13 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
SLE KeynoteSLE at M 001
Chair(s): Vadim Zaytsev University of Twente
09:00
15m
Day opening
SLE Second Day
SLE

09:15
75m
Keynote
Can Programming Be Liberated from the Functional Style?
SLE
K: Friedrich Steimann Fernuniversität in Hagen
11:00 - 12:30
SLE Session 4: Debugging and Dynamic CheckingSLE at M 001
Chair(s): Eric Van Wyk University of Minnesota, Twin Cities
11:00
22m
Talk
Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
SLE
Damian Frölich University of Amsterdam, Tommaso Pacciani , L. Thomas van Binsbergen University of Amsterdam
Pre-print
11:22
22m
Talk
Dynamic Dependency-Based Purity CheckingArtifact ReusableArtifact Available
SLE
Anton Risberg Alaküla Lund University, Niklas Fors Lund University, Christoph Reichenbach Lund University
Pre-print
11:45
45m
Panel
SLE Panel: The Future of SLE
SLE
Thomas Degueule CNRS, Ralf Lämmel Universität Koblenz, Jeff Smits Delft University of Technology, Friedrich Steimann Fernuniversität in Hagen, Eric Van Wyk University of Minnesota, Twin Cities, Regina Hebig Universität Rostock, Rostock, Germany
13:30 - 15:00
SLE Session 5: Language ToolingSLE at M 001
Chair(s): Görel Hedin Lund University
13:30
22m
Talk
Optimize Effect Handling for Tail-resumption with Stack UnwindingArtifact FunctionalArtifact Available
SLE
Yuze Fu University of Tokyo, Shigeru Chiba University of Tokyo
13:52
22m
Talk
Variability Fault Localization by Abstract Interpretation and its Application to SPL RepairArtifact ReusableArtifact Available
SLE
Aleksandar S. Dimovski Mother Teresa University, Skopje
14:15
22m
Talk
(Semantic) Feature Model Differences with (Q)SATArtifact FunctionalArtifact Available
SLE
Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz
14:37
22m
Talk
Detecting Resource Leaks on Android with Alpakka
SLE
Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do Porto
Pre-print

Tue 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change