MODELS 2026
Sun 4 - Fri 9 October 2026 Málaga, Spain
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 4 Oct

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

08:30 - 17:30
09:15 - 10:30
Session 1: Modelling Justifications to Support and Operationalize Machine Learning PipelinesTutorials at Torremolinos A+B
09:15
75m
Paper
Modelling Justifications to Support and Operationalize Machine Learning Pipelines
Tutorials
Sébastien Mosser McMaster University, Kalvin Thuan-Phong Khuu McMaster University, McSCert
Pre-print
09:15 - 10:30
ME - Session 1Workshops at Torremolinos D
10:30 - 11:00
Coffee BreakOthers at Central bar
10:30
30m
Coffee break
Break - Central bar
Others

11:00 - 12:45
Session 2: Modelling Justifications to Support and Operationalize Machine Learning PipelinesTutorials at Torremolinos A+B
11:00
1h45m
Paper
Modelling Justifications to Support and Operationalize Machine Learning Pipelines
Tutorials
Sébastien Mosser McMaster University, Kalvin Thuan-Phong Khuu McMaster University, McSCert
Pre-print
11:00 - 12:45
ME - Session 2Workshops at Torremolinos D
13:00 - 14:30
13:00
90m
Lunch
Lunch - Restaurant
Others

14:30 - 15:45
ME - Session 3Workshops at Torremolinos D
15:45 - 16:15
Coffee BreakOthers at Central bar
15:45
30m
Coffee break
Break - Central bar
Others

16:15 - 17:30
ME - Session 4Workshops at Torremolinos D

Mon 5 Oct

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

08:00 - 08:45
Sunrise yoga on the beachOthers at Outside the conference premises
08:30 - 17:30
09:15 - 10:30
SAM Conference - Session 1SAM conference at Levante + Poniente
09:15 - 10:30
09:15 - 10:30
KeynoteEDTconf Keynotes at Málaga
Chair(s): Nelly Bencomo Durham University, Eduard Kamburjan IT University of Copenhagen, Vinay Kulkarni Tata Consultancy Services Research
09:15
10m
Day opening
Opening
EDTconf Keynotes
Eduard Kamburjan IT University of Copenhagen, Nelly Bencomo Durham University, Vinay Kulkarni Tata Consultancy Services Research
09:25
60m
Talk
EDTconf Keynote 1: Environmental Digital Twins: Connecting Models for Nature 5.0
EDTconf Keynotes
Einar Broch Johnsen University of Oslo
09:15 - 10:30
Session 3: OML Code: Turning SME Knowledge into Reusable Ontological Modeling MethodologiesTutorials at Torremolinos A+B
09:15
75m
Paper
OML Code: Turning SME Knowledge into Reusable Ontological Modeling Methodologies
Tutorials
Maged Elaasar Modelware
09:15 - 10:30
09:15 - 10:30
MoDeVVa - Session 1Workshops at Torremolinos D
10:30 - 11:00
Coffee BreakOthers at Central bar
10:30
30m
Coffee break
Break - Central bar
Others

11:00 - 12:45
SAM Conference - Session 2SAM conference at Levante + Poniente
11:00 - 12:45
11:00 - 12:45
Session 1: Reconfiguration and EvolutionEDTconf Extended Abstracts / EDTconf SoSyM Journal Track at Málaga
Chair(s): Judith Michael University of Regensburg
11:00
25m
Talk
Active Inference and Digital Twins for dynamic reconfiguration of software systemsSoSyM J1
EDTconf SoSyM Journal Track
Julia Ballati Martínez University of Castilla-La Mancha, Elena Pretel , Elena Navarro University of Castilla-La Mancha, Schahram Dustdar TU Wien, Diego Perez-Palacin Linnaeus University, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
11:25
25m
Talk
Involving before Evolving: A Vision for Trustworthy Enterprise Digital Twin EngineeringExt. Abstract
EDTconf Extended Abstracts
Kérian Fiter Polytechnique Montréal, Adil Lagrou Polytechnique Montréal, Franck Dervault Michelin Canada, Bentley Oakes Polytechnique Montréal
Pre-print
11:50
25m
Talk
Towards a Capability-Driven Conceptualization of Digital TwinsExt. Abstract
EDTconf Extended Abstracts
David A Manrique Negrin Luxembourg Institute of Science and Technology, Jean Sebastien Sottet Luxembourg Institute of Science and Technology and University of Luxembourg, Pierre Brimont Luxembourg Institute of Science and Technology and University of Luxembourg
12:15
25m
Talk
Identifying Pareto-Optimal Configurations through Integrated Impact and Tradeoff Analysis in System DesignExt. Abstract
EDTconf Extended Abstracts
Mbouga Frank Eric Deutsches Zentrum für Luft- und Raumfahrt, Philipp Chrszon , Tobias Franz German Aerospace Center (DLR), Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne
11:00 - 12:45
Session 4: OML Code: Turning SME Knowledge into Reusable Ontological Modeling MethodologiesTutorials at Torremolinos A+B
11:00
1h45m
Paper
OML Code: Turning SME Knowledge into Reusable Ontological Modeling Methodologies
Tutorials
Maged Elaasar Modelware
11:00 - 12:45
11:00 - 12:45
MoDeVVa - Session 2Workshops at Torremolinos D
13:00 - 14:30
13:00
90m
Lunch
Lunch - Restaurant
Others

14:30 - 15:45
SAM Conference - Session 3SAM conference at Levante + Poniente
14:30 - 15:45
HUFAMO - Session 1Workshops at Mediterráneo E
14:30 - 15:45
14:30 - 15:45
Session 2: Non-functional Aspects and DevOpsEDTconf SoSyM Journal Track / EDTconf Extended Abstracts at Málaga
Chair(s): Einar Broch Johnsen University of Oslo
14:30
25m
Talk
Demonstrating Software Skill Deployment with Asset Administration ShellsExt. Abstract
EDTconf Extended Abstracts
Stefan Klikovits Johannes Kepler University, Linz, Manuel Wimmer Johannes Kepler University Linz
14:55
25m
Talk
Engineering Digital Process Twins: Towards a Methodology Based on MDE and DevOpsExt. Abstract
EDTconf Extended Abstracts
Gwendal Beaumont IMT Atlantique, Lab-STICC (UMR 6285), Charlotte Verbruggen TU Wien, Antoine Beugnard , Dominik Bork TU Wien, Salvador Martínez IMT Atlantique, Christelle Urtado IMT Mines Alès, Sylvain Vauttier
15:20
25m
Talk
Building real-time digital twin instances with Function+Data Flow: user evaluation and extension for iterative pipelinesSoSyM J1
EDTconf SoSyM Journal Track
Blaise Genest IPAL - CNRS - CNRS@CREATE, Arvind Easwaran Nanyang Technological University, Eduardo de Conto Nanyang Technological University; CNRS@CREATE, Nicholas Ng Imperial College London, Shweta Menon CNRS@CREATE, Singapore
Pre-print
14:30 - 15:45
Session 5: Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis SuiteTutorials at Torremolinos A+B
14:30
75m
Paper
Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis Suite
Tutorials
Bas Beuting Cordis Suite, Benno Beuting Cordis Suite, Jörg Kienzle ITIS Software, University of Malaga
14:30 - 15:45
14:30 - 15:45
MoDeVVa - Session 3Workshops at Torremolinos D
15:45 - 16:15
Coffee BreakOthers at Central bar
15:45
30m
Coffee break
Break - Central bar
Others

16:15 - 17:30
SAM Conference - Session 4SAM conference at Levante + Poniente
16:15 - 17:30
HUFAMO - Session 2Workshops at Mediterráneo E
16:15 - 17:30
Session 3: Domain TwinsEDTconf Extended Abstracts at Málaga
Chair(s): Bentley Oakes Polytechnique Montréal
16:15
25m
Talk
A Digital Twin for Flow Cytometry: Making the Measurement Process Explicit in Biological Digital TwinsExt. Abstract
EDTconf Extended Abstracts
Jesús Miró-Bueno Centro Nacional de Biotecnología CNB-CSIC
16:40
25m
Talk
A Digital Twin Exemplar for Fischertechnik Production Line Analysis, Simulation, and OptimizationExt. Abstract
EDTconf Extended Abstracts
Phil Pöllmann University of Regensburg, Falco Wolf University of Regensburg, Jakob Titz University of Regensburg, Judith Michael University of Regensburg
DOI Pre-print
17:05
25m
Talk
Toward a Self-Evaluating Digital Twin for End-to-End Empty Packaging Return ManagementExt. Abstract
EDTconf Extended Abstracts
Kaouther Boulaouinat CentraleSupélec, Faicel Hnaien Université de Technologie de Troyes, Evren Sahin CentraleSupélec, Joan André Stellantis France, Riccardo Petitti Stellantis Italy
16:15 - 17:30
Session 6: Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis SuiteTutorials at Torremolinos A+B
16:15
75m
Paper
Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis Suite
Tutorials
Bas Beuting Cordis Suite, Benno Beuting Cordis Suite, Jörg Kienzle ITIS Software, University of Malaga
16:15 - 17:30
16:15 - 17:30
MoDeVVa - Session 4Workshops at Torremolinos D
18:00 - 21:00
Satellite reception (Venue: Silencio beach)Others at Outside the conference premises

Outside the conference premises

Tue 6 Oct

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

08:30 - 17:30
09:15 - 10:30
SAM Conference - Session 5SAM conference at Levante + Poniente
09:15 - 09:30
OpeningEducators Symposium at Mediterráneo C+D
Chair(s): Dominik Bork TU Wien, Shalini Chakraborty University of Bayreuth
09:15 - 09:30
Welcome and IntroductionDoctoral Symposium at Mediterráneo F
Chair(s): Federico Ciccozzi Mälardalen University, Iris Reinhartz-Berger University of Haifa
09:15 - 10:30
Session 4: Interfaces and ReuseEDTconf Extended Abstracts at Málaga
Chair(s): Andreas Wortmann University of Stuttgart
09:15
25m
Talk
BRIC-DT: Building Reliable Interfaces for Composable Digital TwinsExt. Abstract
EDTconf Extended Abstracts
Claudio Gomes Aarhus University, Denmark, Thomas Wright , Peter Gorm Larsen Aarhus University, Lukas Esterle Aarhus University, Philipp Zech University of Innsbruck, Austria, Ana Cavalcanti University of York, James Woodcock University of York, Bentley Oakes Polytechnique Montréal, Hans Vangheluwe University of Antwerp and Flanders Make
Pre-print
09:40
25m
Talk
Towards the Model-Based Engineering of Composable and Reusable Digital Twins: the Digital Twin Interface ConceptExt. Abstract
EDTconf Extended Abstracts
Martina Nolletti Gran Sasso Science Institute (GSSI), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Romina Eramo University of Teramo, Peeter Kool CNet Sweden
DOI Pre-print
10:05
25m
Talk
Characterizing Federated Digital Twins through Heterogeneity, Autonomy, and Distribution: A Family of ExemplarsExt. Abstract
EDTconf Extended Abstracts
Arturo Barriga Universidad de Extremadura, Stefan Klikovits Johannes Kepler University, Linz, Manuel Wimmer Johannes Kepler University Linz, José A. Barriga Universidad de Extremadura, Spain, Pedro J. Clemente Universidad de Extremadura, Spain
09:15 - 10:30
Session 7: Digital Transformation Foundations with Model-based System Engineering and Digital EngineeringTutorials at Torremolinos A+B
09:15
75m
Paper
Digital Transformation Foundations with Model-based System Engineering and Digital Engineering
Tutorials
09:15 - 09:30
Welcome / OpeningIndustry Day at Torremolinos C
09:30 - 10:30
Session 1: AI for Modeling EducationEducators Symposium at Mediterráneo C+D
09:30
30m
Talk
Teaching UML Modeling in the Age of Generative AI: Combining Manual Modeling, Prompt Engineering and Model Evaluation
Educators Symposium
Oksana Nikiforova Riga Technical University
10:00
30m
Talk
Enhancing Software-Design Learning by Combining UML and LLM-Assisted Feedback in a Learning Platform
Educators Symposium
Reenu Maria Jerry , Jacob Krüger Eindhoven University of Technology, Michel R. V. Chaudron Chalmers | University of Gothenburg
09:30 - 10:30
LLM-AssistanceDoctoral Symposium at Mediterráneo F
Chair(s): Federico Ciccozzi Mälardalen University

Mentors: Silvia Abrahao, Sebastien Mosser, Antonio Cicchetti, Malvina Latifaj

09:30
5m
Doctoral symposium paper
SysV2-Repair: Towards LLM-Based repair of SysML®v2 models
Doctoral Symposium
Yasmine Bouamra Siemens DI SW
09:35
5m
Doctoral symposium paper
Toward Generative AI-Assisted Model Transformation in Model-Driven Engineering
Doctoral Symposium
Khanh Duy Dao Malardalen University
09:40
5m
Doctoral symposium paper
Specializing Large-Language Models for Collaboration Workflow Generation in Software Engineering.
Doctoral Symposium
09:45
5m
Doctoral symposium paper
Trustworthy generation of SysML v2 models for physical systems: a multi-agent approach
Doctoral Symposium
Jose Olivert University Carlos III of Madrid
09:50
5m
Doctoral symposium paper
Automated Modelica Model Repair Using Generative AI
Doctoral Symposium
Masoud Sadrnezhaad Linköping University
09:55
35m
Meeting
Mentor-led plenary discussion
Doctoral Symposium

09:30 - 10:30
Session 1 - Industry DayIndustry Day at Torremolinos C
Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev
09:30
20m
Industry talk
Your AI Agent Needs a Model
Industry Day
09:50
20m
Industry talk
Beyond the Hype: Blending Gen-AI and Model-Driven Engineering for Pragmatic Enterprise Modeling
Industry Day
10:10
20m
Industry talk
The Agent Runtime Is a Stream Processor: Modeling Reliable Agentic Systems
Industry Day
10:30 - 11:00
Coffee BreakOthers at Central bar
10:30
30m
Coffee break
Break - Central bar
Others

11:00 - 12:45
SAM Conference - Session 6SAM conference at Levante + Poniente
11:00 - 13:00
Session 2: Teaching Modeling & MDE in PracticeEducators Symposium at Mediterráneo C+D
11:00
30m
Talk
A Proposal for More Realistic Case Descriptions in Modeling Exercises
Educators Symposium
Pierre Maier University of Duisburg-Essen, Vicky Kadziolka
11:30
30m
Talk
Experiences of using low-code MDE tools in student projects
Educators Symposium
Dr Kevin Lano King's College London, Yannis Zorgios CLMS (UK) LIMITED, Dimitris Moudilos
12:00
22m
Talk
Teaching Domain-specific Modeling with a Small Robot Motion Framework
Educators Symposium
Vanessa Tietz Institute of Aircraft Systems, University of Stuttgart, Michael Wojczik Institute of Aircraft Systems, University of Stuttgart, Bjoern Annighoefer Institute of Aircraft Systems, University of Stuttgart
12:22
22m
Talk
Extending the Epsilon Playground for Model-Driven Engineering Education
Educators Symposium
Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York
11:00 - 12:00
Safety, Security, and AssuranceDoctoral Symposium at Mediterráneo F
Chair(s): Iris Reinhartz-Berger University of Haifa

Mentors: Marsha Chechik, Dominique Blouin, Jean-Michel Bruel, Davide Di Ruscio

11:00
5m
Doctoral symposium paper
Attack Feasibility Rating: The Model-based Exploitability Rules
Doctoral Symposium
11:05
5m
Doctoral symposium paper
When Safety Claims Fail Silently: A Modelling Approach to AI Assurance
Doctoral Symposium
Kalvin Thuan-Phong Khuu McMaster University, McSCert
11:10
5m
Doctoral symposium paper
Delay-Robustness for Distributed Cyber-Physical System Models
Doctoral Symposium
Mustafa Ghani Hasso Plattner Institute, University of Potsdam
11:15
5m
Doctoral symposium paper
Model-Driven Scenario-Based Assurance for the COLREGS Compliance of Autonomous Surface Vehicles
Doctoral Symposium
Dominik Frey Linköping University, Sweden
11:20
40m
Meeting
Mentor-led plenary discussion
Doctoral Symposium

11:00 - 12:45
Session 5: Design and IndustryEDTconf Industrial Talks / EDTconf Extended Abstracts at Málaga
Chair(s): Victoria Degeler University of Amsterdam
11:00
25m
Talk
A Dual-Lens Conceptual Framework for Digital Twin V&VExt. Abstract
EDTconf Extended Abstracts
Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Steffen Zschaler King's College London, Jean-Michel Bruel Université de Toulouse, France, Christopher Burr The Alan Turing Institute, Adelaide de Vecchi King's College London, Aidan Dures King's College London, Sophie Ebersold , Rym M'Hallah King's College London , Pascale Vicat Blanc Inria, BoFan Zhang King's College London
11:25
25m
Talk
A Vision Toward an Opportunistic Sensing Framework for Digital TwinsExt. Abstract
EDTconf Extended Abstracts
Sami CHTITAH University of Rennes, IRISA / INRIA, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, David Gross-Amblard , Constance Thierry Univ Rennes/CNRS/IRISA/INRIA
11:50
25m
Talk
Monitoring Renewable Energy Communities Using Digital Twins via SAREF4ENER and a REST APIIndustry
EDTconf Industrial Talks
Mohammad Samadi Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Luis Miguel Pinho ISEP P.PORTO, Andrey Sadovykh Softeam, Gabriela Lucas Cleanwatts Digital, Coimbra, Portugal
12:15
25m
Talk
Enabling Physical AI in Trailer Logistics: A Digital Twin Architecture with Continuous Sim-to-Real FeedbackIndustry
EDTconf Industrial Talks
Aniruddha Singhal Tata Consultancy Services, Anuprit Dangi Tata Consultancy Services, Prakash Ambwani Tata Consultancy Services
11:00 - 12:45
Session 8: Digital Transformation Foundations with Model-based System Engineering and Digital EngineeringTutorials at Torremolinos A+B
11:00
1h45m
Paper
Digital Transformation Foundations with Model-based System Engineering and Digital Engineering
Tutorials
13:00 - 14:30
13:00
90m
Lunch
Lunch - Restaurant
Others

14:30 - 15:45
Session 3: New Pedagogies for the AI EraEducators Symposium at Mediterráneo C+D
14:30
30m
Talk
A Pedagogy-Aware Model-Driven Engineering Approach for AI Literacy
Educators Symposium
Riccardo Belliato , Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio Università degli Studi dell'Aquila, Antonio Cicchetti Mälardalen University, Judith Michael University of Regensburg, Michael Mittermaier University of Regensburg, Andrea Vazquez-Ingelmo , Jo Jo Tondeur , Thibaut Cromphaut , Sarah K. Howard
DOI Pre-print
15:00
22m
Talk
Domain Knowledge Debt: Why Metamodeling Still Needs Elicitation
Educators Symposium
Alfonso Pierantonio Università degli Studi dell'Aquila, Davide Di Ruscio University of L'Aquila, Zakaria Hachm IMT Atlantique, LS2N (UMR CNRS 6004), Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004)
15:22
22m
Talk
Teaching the Development of Software Agents in Higher Education: First Insights from a European Initiative
Educators Symposium
Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Jose Ignacio Requeno Complutense University of Madrid, Elena Gómez-Martínez Universidad Complutense de Madrid, Daniel Braun Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
14:30 - 15:30
Language and ToolsDoctoral Symposium at Mediterráneo F
Chair(s): Federico Ciccozzi Mälardalen University

Mentors: Alfonso Pierantonio, Antonio Bucchiarone, Betty Cheng, Dániel Varró

14:30
5m
Doctoral symposium paper
Concurrent Editing for Multi-Model Environments
Doctoral Symposium
Benedikt Jutz Karlsruhe Institute of Technology (KIT)
14:35
5m
Doctoral symposium paper
Dependence Analyses of IEC 61499 Application Models
Doctoral Symposium
Dunja Životin LIT CPS Lab, Johannes Kepler University Linz
14:40
5m
Doctoral symposium paper
A Research Workbench for Controlled Dataflow Languages
Doctoral Symposium
14:45
5m
Doctoral symposium paper
Digital Twins Modeling, and Formal Verification and Validation: an Approach based on SysML v2
Doctoral Symposium
14:50
40m
Meeting
Mentor-led plenary discussion
Doctoral Symposium

14:30 - 15:45
Session 6: ModelingEDTconf Extended Abstracts at Málaga
14:30
25m
Talk
SMP Workbench: An Interactive Tool for Semi-Markov Process Engineering in Digital TwinsExt. Abstract
EDTconf Extended Abstracts
Mikkel Schmidt Andersen Aarhus University, Oliver Thomas Aarhus University, Prasad Talasila Aarhus University, Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University
14:55
25m
Talk
An Exemplar of a Digital Twin in Mechanical Engineering: Understanding Model HybridizationExt. Abstract
EDTconf Extended Abstracts
Mahussi Datongnon Inria, hubert lejeune , Yoann Jus CETIM, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Julien DeAntoni Université Côte D'Azur, I3S/INRIA Kairos
15:20
25m
Talk
From Testbed to Simulation: A Unified Emulation Framework for IoT-Based Digital TwinsExt. Abstract
EDTconf Extended Abstracts
Leonard Tudorache Eindhoven University of Technology, Ivan Kurtev Eindhoven University of Technology, Mark van den Brand Eindhoven University of Technology
Pre-print
14:30 - 15:45
Session 9: Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsightTutorials at Torremolinos A+B
14:30
75m
Tutorial
Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsight
Tutorials
Kérian Fiter Polytechnique Montréal, Bentley Oakes Polytechnique Montréal
Link to publication
14:30 - 15:45
Session 3 - Industry DayIndustry Day at Torremolinos C
Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev
14:30
20m
Industry talk
(Re)Working collaboration between industry and academia
Industry Day
Steven Kelly MetaCase
14:50
20m
Industry talk
Standards for Models Interoperability
Industry Day
Meinte Boersma DSL Consultancy (independent), Pedro J. Molina Metadev
15:10
20m
Industry talk
From Model-Centric Machine Control to Trusted Self-Improvement
Industry Day
Benno Beuting Cordis Suite
15:30
15m
Meeting
Free time / Networking
Industry Day

15:30 - 15:45
Setting up mentoring sessionDoctoral Symposium at Mediterráneo F
15:45 - 16:15
Coffee BreakOthers at Central bar
15:45
30m
Coffee break
Break - Central bar
Others

16:15 - 17:00
16:15 - 17:30
16:15
25m
Talk
When AI Assistance Becomes High‑Risk: EU AI Act Compliance for Digital Twin in Critical InfrastructureIndustry
EDTconf Industrial Talks
Rimma Dzhusupova McDermott, Mark van den Brand Eindhoven University of Technology
16:40
25m
Talk
Trans-Domain Digital Twins with Adaptive Intelligence for Optimizing Greenhouse Crop ProductionSoSyM J1
EDTconf SoSyM Journal Track
Mansoorali Amiri DIRO, Université de Montréal, Kévin Delcourt DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
17:05
25m
Talk
CEP-ARCHES: Bridging Real-time Reasoning and Autonomic Control in Engineering Digital TwinsExt. Abstract
EDTconf Extended Abstracts
Juan Boubeta-Puig University of Cadiz, Wilhelm Hasselbring Kiel University, Alexander Barbie Kiel University
16:15 - 17:30
Session 10: Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsightTutorials at Torremolinos A+B
16:15
75m
Tutorial
Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsight
Tutorials
Kérian Fiter Polytechnique Montréal, Bentley Oakes Polytechnique Montréal
Link to publication
16:15 - 16:55
Session 4 - Industry DayIndustry Day at Torremolinos C
Chair(s): Dimitris Kolovos University of York, Pedro J. Molina Metadev
16:15
20m
Industry talk
Development and Validation of a Scalable Digital Twin for Anaerobic Reactors in the Agri-Food Industry
Industry Day
Lucia Royo Electroingenium
16:35
20m
Industry talk
Ontology-driven modelling for corporate digital twins
Industry Day
Alfonso Díez UGROUND GLOBAL
16:55 - 17:30
Clossing sessionIndustry Day at Torremolinos C
17:00 - 17:25
Final plenary discussion and next stepsDoctoral Symposium at Mediterráneo F
17:10 - 17:30
Open Debate and closingEducators Symposium at Mediterráneo C+D
Chair(s): Dominik Bork TU Wien, Shalini Chakraborty University of Bayreuth
17:25 - 17:30
17:45 - 19:00
Celebrating women, celebrating everyone (Venue: Melia Costa del Sol Central bar)Others at Outside the conference premises

Outside the conference premises

19:30 - 23:00
LGBTIQ+ & Allies Social Gathering (Venue: to be announced)Others at Outside the conference premises

Outside the conference premises

Wed 7 Oct

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

08:30 - 17:30
08:50 - 09:15
Opening SessionResearch Papers at Málaga
Chair(s): Lola Burgueño University of Malaga, Esther Guerra Universidad Autónoma de Madrid, Mehrdad Sabetzadeh University of Ottawa

MODELS 2026 Opening

09:15 - 10:30
KeynoteKeynotes at Málaga
Chair(s): Lola Burgueño University of Malaga
09:15
75m
Keynote
From Synthesis to Safeguards: The Symbiosis of Models and LLMs
Keynotes
David Lo Singapore Management University
10:30 - 11:00
Coffee BreakOthers at Central bar
10:30
30m
Coffee break
Break - Central bar
Others

11:00 - 12:45
Autonomous Systems, Safety Assurance, and AI Modeling AssistantsTools and Demonstrations at Mediterráneo C+D
Chair(s): Artur Boronat University of Leicester
11:00
15m
Paper
ArchSafe Unified Modeler: Automated ASIL, Change-Impact, and Failure Analysis of Architecture and Safety
Tools and Demonstrations
Muhammad Asim Minhas , Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
11:15
15m
Paper
CANcept: Model-based CAN Traffic Generation and Manipulation
Tools and Demonstrations
Lino Maximilian Wertz Karlsruhe Institute of Technology (KIT), Junes Sheikhi Karlsruhe Institute of Technology (KIT), Florian Fehrle , Adrian Rupp , Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH, Philipp Kern Karlsruhe Institute of Technology (KIT), Carsten Sinz Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology
DOI Media Attached
11:30
15m
Paper
CARLA Scenario Editor
Tools and Demonstrations
Emre Bozkurt , Kehang Chang , Ryan Gowland , Stefan Ramdhan McMaster University / McMaster Centre for Software Certification (McSCert), Kyanna Dagenais McMaster University / McMaster Centre for Software Certification (McSCert), Vera Pantelic , Richard Paige McMaster University, Mark Lawford McMaster University
11:45
15m
Paper
MoRE: Traffic Rule Modeling and Runtime Evaluation for Model-Based Testing of Automated Driving Systems in CARLA
Tools and Demonstrations
Zhetao Sun , Man Zhang Beihang University, China, Tao Yue Beihang University
12:00
15m
Paper
AMIGO: Agentic Model Instance Generation
Tools and Demonstrations
Maximilian Hummel ABB Corporate Research Center, Mannheim, Julian Roßkothen Vector Informatik GmbH and Karlsruhe Institute of Technology (KIT), Nathan Hagel Karlsruhe Institute of Technology (KIT), Fatih Çatalkaya , Heiko Koziolek ABB Corporate Research, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
12:15
15m
Paper
Jjodie: A Conversational Modeling Assistant with Script-Mediated (Meta)Model Manipulation
Tools and Demonstrations
Alfonso Pierantonio Università degli Studi dell'Aquila, Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila
12:30
15m
Paper
From Natural-Language Crash Reports to Executable Driving Scenarios via Model Transformation
Tools and Demonstrations
Xijun Liu , Tao Yue Beihang University, Man Zhang Beihang University, China
11:00 - 12:45
Session 2 : Digital Twins and SimulationNew Ideas and Emerging Results (NIER) / Research Papers at Málaga
Chair(s): Timothy Lethbridge University of Ottawa
11:00
18m
Talk
A Model-driven BIM2SIM Workflow for Surrogate ModelingPT
Research Papers
Yi Wang University of Innsbruck, Claudio Gomes Aarhus University, Denmark, Philipp Zech University of Innsbruck, Austria
11:18
18m
Talk
ModiGen: A Large Language Model-Based Framework for Modelica Component Generation in Multi-Domain SystemsFT
Research Papers
Jiahui Xiang Zhejiang University, Tong Ye Zhejiang University, Peiyu Liu Zhejiang University, Yinan Zhang Zhejiang University, Wenhai Wang Zhejiang University
11:36
12m
Talk
Towards a Methodology for Continuous Model-Driven Digital Twin Engineering
New Ideas and Emerging Results (NIER)
Hafiyyan Sayyid Fadhlillah University of Rennes, IRISA / INRIA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Vittoriano Muttillo University of Teramo, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Luca Berardinelli Johannes Kepler University Linz
Link to publication DOI Pre-print
11:48
18m
Talk
A Conceptual Framework for Refining Influence Knowledge from Simulation Evidence in Cyber-Physical SystemsFT
Research Papers
Barbara da Silva Oliveira Université Côte D'Azur, I3S/INRIA Kairos, Julien DeAntoni Université Côte D'Azur, I3S/INRIA Kairos, Nicolas Ferry Université Côte d'Azur
12:06
18m
Talk
A Model-Driven Approach for Developing Families of Reinforcement Learning EnvironmentsFT
Research Papers
Xiaoran Liu McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)
Pre-print
12:24
12m
Talk
Model-Driven Data Contracts for Digital Twin Services
New Ideas and Emerging Results (NIER)
Philipp Zech University of Innsbruck, Austria, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)
Pre-print
11:00 - 12:45
Session 1: Safety and AssuranceResearch Papers / Journal First / New Ideas and Emerging Results (NIER) at Torremolinos A+B
Chair(s): Joel Greenyer FHDW Hannover
11:00
18m
Talk
Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface VehiclesFT
Research Papers
Dominik Frey Linköping University, Sweden , Ulf Kargén Linköping University, Daniel Varro Linköping University / McGill University
11:18
18m
Talk
SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios
Journal First
Kenneth Chan , Sol Zilberman Michigan State University, Betty H.C. Cheng Michigan State University
DOI
11:36
12m
Talk
Metamodel-Based Generation of Security Models from Structured Cyber Threat Intelligence
New Ideas and Emerging Results (NIER)
Alexander Fischer Nuremberg Institute of Technology, Ramin Tavakoli Kolagari Nuremberg Institute of Technology
11:48
18m
Talk
OntoSTL: Canonical Knowledge Graph Representation of Signal Temporal Logic RequirementsFT
Research Papers
Haitham AlShami Aalto University, Riku Ala-Laurinaho Aalto University, Xinyi Tu Aalto University, Raine Viitala Aalto University
12:06
18m
Talk
Skyscrapers Need Solid Foundations: Pattern-Based Validation of SysML v2 Models with RefineryPT
Research Papers
Ádám László Tóth Budapest University of Technology and Economics, Levente Bajczi Budapest University of Technology and Economics, Ármin Zavada Budapest University of Technology and Economics, András Vörös Budapest University of Technology and Economics, Vince Molnár Budapest University of Technology and Economics
12:24
18m
Talk
Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition
Journal First
Aren Babikian McGill University, Attila Ficsor Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill University
DOI
11:00 - 12:45
Session 1.1 – LLMs and AI for Model EngineeringPosters at Torremolinos C
11:00
1h45m
Poster
A Transformation‑Based Benchmark for Evaluating theRobustness of LLMs in Generating OCL
Posters
Hamza Attarwala Polytechnique Montreal, Moataz Chouchen Concordia University, Omar Alam Trent University, Mohammad Hamdaqa Polytechnique Montreal
11:00
1h45m
Poster
Agentic Model Transformation: Service-Mediated Orchestration for Transformation Development
Posters
Khanh Duy Dao Malardalen University, Alessio Bucaioni Mälardalen University, Antonio Cicchetti Mälardalen University
11:00
1h45m
Poster
Assessing the Impact of MCP-Augmented LLMs in MDE Tasks: A Quantitative Comparative Evaluation Framework on Fault Tree Modeling and Analysis Through Petri Nets
Posters
Filippo Sciammacca University of Florence, Niccolò Menghini University of Florence, Nicolò Pollini University of Florence, Marco Becattini University of Florence, Enrico Vicario University of Florence
11:00
1h45m
Poster
The Impact of Software Model Slicing on Software Model Completion with Large Language Models
Posters
Alisa Carla Welter Saarland University, Benedict Bliem Saarland University, Omer Iqbal Saarland University, Sven Apel Saarland University
11:00
1h45m
Poster
Beyond Syntax: Method-Compliant AI Assistance for Low-Resource Modeling Languages
Posters
Sokhna Amar Fayetteville State University, Maged Elaasar Senior Technologist at NASA JPL and Modelware Solutions, Sambit Bhattacharya Fayetteville State University
11:00 - 12:45
Poster Session (Second Round of Competition)ACM Student Research Competition at Torremolinos D
Chair(s): Silvia Abrahão Universitat Politècnica de València, Betty H.C. Cheng Michigan State University

Note: This is a poster session, where each student presenter will have 18 minutes to present their work and answer questions from each group of 1-2 panelists as they make their way around the room. The time slots indicate when each group of panelists need to move on to the next poster.

11:00
10m
Talk
Welcome and Introduction
ACM Student Research Competition

11:10
19m
Paper
Automated Validation of Large-Scale Java Bytecode ModelsGraduate
ACM Student Research Competition
Freya Ancona Philipps-Universität Marburg
File Attached
11:29
19m
Paper
Code generation beyond mainstream languagesGraduate
ACM Student Research Competition
David Delgado Universitat Oberta de Catalunya
11:48
19m
Paper
MMT: One Approach to Mutate Them All — A Model-Based Approach to Bytecode Mutation TestingGraduate
ACM Student Research Competition
Philipp Wieber Philipps-Universität Marburg
12:07
19m
Paper
A Modular Model-Driven Reverse Engineering Framework for Conceptual Model RecoveryGraduate
ACM Student Research Competition
Alessandra Mancas DIRO, Université de Montréal
12:26
19m
Paper
Formally-Verified Training and Runtime Validation for Small Language Models Using Relational SpecificationsGraduate
ACM Student Research Competition
13:00 - 14:30
13:00
90m
Lunch
Lunch - Restaurant
Others

14:30 - 15:45
Agentic Systems and Autonomous AssuranceTools and Demonstrations at Mediterráneo C+D
Chair(s): Francesco Basciani Gran Sasso Science Institute
14:30
15m
Paper
SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles
Tools and Demonstrations
Dominik Frey Linköping University, Sweden , Ulf Kargén Linköping University, Daniel Varro Linköping University / McGill University
14:45
15m
Paper
FM2C: An Agentic Workflow for Generating Low-Code Configurators from Feature Models
Tools and Demonstrations
Patrick Wegerer Software Competence Center Hagenberg GmbH, Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Lucia Balážová Software Competence Center Hagenberg (SCCH), Rudolf Ramler Software Competence Center Hagenberg (SCCH), Rick Rabiser Software Competence Center Hagenberg GmbH; CDL VaSiCS, LIT CPS Lab, Johannes Kepler University
15:00
15m
Paper
RuMROS* - A Runtime Metamodeling Approach to Multi-Robot System and Swarm Programming
Tools and Demonstrations
Alexander Kassuba , Sebastian Götz Technische Universität Dresden, Adrian Scholze Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
15:15
15m
Meeting
Discussion
Tools and Demonstrations

14:30 - 15:45
Session 3: Agentic MDENew Ideas and Emerging Results (NIER) / Research Papers at Málaga
Chair(s): Omar Alam Trent University
14:30
12m
Talk
Agentic Model Transformation: Service-Mediated Orchestration for Transformation Development
New Ideas and Emerging Results (NIER)
Khanh Duy Dao Malardalen University, Alessio Bucaioni Mälardalen University, Antonio Cicchetti Mälardalen University
14:42
18m
Talk
Not All Differences Matter: Variability Exploration of Domain Models via Agentic AIFT
Research Papers
Iris Reinhartz-Berger University of Haifa, Maxim Bragilovski Ben-Gurion University, Arnon Sturm Ben-Gurion University of the Negev
15:00
18m
Talk
From Unfinished to Done: Bridging the MDE Implementation Gap with Constrained LLMsFT
Research Papers
Jörg Christian Kirchhof RWTH Aachen University, Lukas Netz RWTH Aachen University, Dennis Mertens RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
15:18
12m
Talk
Reasoning Scaffolds for AI-Assisted Behavioural Modelling: A Logical-Square Instantiation
New Ideas and Emerging Results (NIER)
Radoslaw Klimek AGH University of Krakow
15:30
12m
Talk
Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
New Ideas and Emerging Results (NIER)
Jürgen Cito TU Wien, Dominik Bork TU Wien
14:30 - 15:45
Session 4: Reliable Model GenerationResearch Papers / New Ideas and Emerging Results (NIER) at Torremolinos A+B
Chair(s): Adrian Rutle Western Norway University of Applied Science
14:30
12m
Talk
Formalism-Aware Rewards: Turning Model Analysis into Training Feedback for Sketch-to-Model Generation
New Ideas and Emerging Results (NIER)
Mersedeh Sadeghi University of Cologne, Simon Scholz University of Cologne, Adrian Bajraktari University of Cologne
14:42
18m
Talk
A Transformation-Based Benchmark for Evaluating the Robustness of LLMs in Generating OCLFT
Research Papers
Hamza Attarwala Polytechnique Montreal, Moataz Chouchen Concordia University, Omar Alam Trent University, Mohammad Hamdaqa Polytechnique Montreal
Pre-print
15:00
18m
Talk
LLM-Enhanced Stochastic Generation of Class Diagram DatasetsFT
Research Papers
Xiao He University of Science and Technology Beijing, Jingwei Shen School of Computer and Communication Engineering, University of Science and Technology Beijing, Ru Chen School of Computer and Communication Engineering, University of Science and Technology Beijing
15:18
18m
Talk
Well-Formed Executable Suggestions for Continuous Model-Driven EngineeringFT
Research Papers
Bastien Sultan Télécom Paris, Polytechnic Institute of Paris, Ludovic Apvrille LTCI, Télécom Paris, Institut Polytechnique de Paris
14:30 - 15:45
Session 1.2 – AI in Software Engineering: Agents, Practice and EducationPosters at Torremolinos C
14:30
75m
Poster
KERKIS: a Modeling Language for Multi-Agent System Interactions in AI-Native Software Engineering
Posters
Konsta Kalliokoski University of Jyväskylä, Francois Christophe University of Jyväskylä, Henri Kärkkäinen University of Jyväskylä, Iikka Hämäläinen University of Jyväskylä, Md Toufique Hasan Tampere University, Md Mahade Hasan Tampere University, Zheying Zhang Tampere University, Pekka Abrahamsson University of Jyväskylä, Tommi Mikkonen Tampere University of Technology
14:30
75m
Poster
Using LLMs for software energy-use analysis and improvement
Posters
Hanan Abdulwahab Siala King's College London, Dr Kevin Lano King's College London, Zishan Rahman King's College London
14:30
75m
Poster
The Rise of Abstraction and Organizational Change: Preserving Human Control in the Age of Artificial Intelligence
Posters
Emmanuel Gaudin PragmaDev
14:30
75m
Poster
A Pedagogy-Aware Model-Driven Engineering Approach for AI Literacy
Posters
Riccardo Belliato , Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio Università degli Studi dell'Aquila, Antonio Cicchetti Mälardalen University, Judith Michael University of Regensburg, Michael Mittermaier University of Regensburg, Andrea Vazquez-Ingelmo , Jo Jo Tondeur , Thibaut Cromphaut , Sarah K. Howard
14:30
75m
Poster
LLMA-UML: Extending the UML for Modeling LLM-Agent Systems
Posters
Lukas Walter Hamm-Lippstadt University of Applied Sciences, Kristian Rother , Stefan Henkler Hochschule Hamm-Lippstadt
14:30
75m
Poster
Software Development using Low-Code Platforms or AI Assistants: A Case Study-based Comparison
Posters
Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Philipp Wieber Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
15:45 - 16:15
Coffee BreakOthers at Central bar
15:45
30m
Coffee break
Break - Central bar
Others

16:15 - 17:30
Low-Code and Language ToolingTools and Demonstrations at Mediterráneo C+D
Chair(s): Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy
16:15
15m
Paper
A Stage-Aware Tool for Modelling and Verifying CI/CD Security Evidence
Tools and Demonstrations
Sabbir M. Saleh University of Western Ontario, Nazim Madhavji Western University, John Steinbacher IBM
DOI Pre-print
16:30
15m
Paper
Code2LowCode: An Interactive Tool for Lifting Code Clones into Reusable Model-Driven Abstractions
Tools and Demonstrations
Raphael Zefferer , Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Stefan Wagner
16:45
15m
Paper
Demonstrating LowSheets: Spreadsheet-Based Low-Code Development
Tools and Demonstrations
17:00
15m
Paper
EMFular: Web-Native Generation and Customization of EMF-Consistent Graphical Editors
Tools and Demonstrations
Susanne Göbel University of Koblenz, Ralf Laemmel University of Koblenz
17:15
15m
Meeting
Discussion
Tools and Demonstrations

16:15 - 17:30
Session 6: Human-Centered Modeling ToolsResearch Papers / Journal First / New Ideas and Emerging Results (NIER) at Málaga
Chair(s): Dominik Bork TU Wien
16:15
12m
Talk
Can LLMs Substitute for Humans in Evaluating Conceptual Modeling Language Vocabularies? An Experimental Study
New Ideas and Emerging Results (NIER)
Ghazal Rafati Department of Electrical Engineering and Computer Science, York University, Anthony Romanliello School of Information Technology, York University, Sotirios Liaskos York University
16:27
18m
Talk
Automatic Generation of Local-First, Collaborative Modeling LanguagesFT
Research Papers
Léo Olivier CEA-List, Université Paris-Saclay, Marcos Didonet Del Fabro CEA-List, Sebastien Gerard IRT Jules Verne, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA
16:45
18m
Talk
Understanding Modelling Assistance in Low-Code/No-CodeTools: An Empirical Study and the AssiStarMe FrameworkFT
Research Papers
David Mosquera Zurich University of Applied Sciences, Marcela Ruiz Zurich University of Applied Sciences (ZHAW), Michael Wahler Zurich University of Applied Sciences (ZHAW), Oscar Pastor Universitat Politecnica de Valencia
17:03
18m
Talk
What do we need from modeling tools for teaching? A survey of the community of higher-education modeling teachers
Journal First
Steffen Zschaler King's College London, Timothy Lethbridge University of Ottawa, Antonio Bucchiarone DISIM, University of L'Aquila, Federico Bonetti , Reyhaneh Kalantari
DOI
16:15 - 17:30
Session 5: Evolution, Adaptation and ReuseResearch Papers / Journal First / New Ideas and Emerging Results (NIER) at Torremolinos A+B
Chair(s): Artur Boronat University of Leicester
16:15
12m
Talk
Model Migration by Example (MbEx): Understanding Model Co-Evolution from User Adaptations
New Ideas and Emerging Results (NIER)
Michael Wojczik Institute of Aircraft Systems, University of Stuttgart, Vanessa Tietz Institute of Aircraft Systems, University of Stuttgart, Bjoern Annighoefer Institute of Aircraft Systems, University of Stuttgart
16:27
18m
Talk
Runtime Decision Models under Uncertainty using Surprise-Based Learning for Supply ManagementFT
Research Papers
Dylan Walton , Riccardo Sieve University of Oslo, Nelly Bencomo Durham University, Einar Broch Johnsen University of Oslo
16:45
18m
Talk
EvolveDB: evolving relational database schemas in a model-driven way
Journal First
Torben Eckwert , Michael Guckert Technische Hochschule Mittelhessen–University of Applied Sciences, Gabriele Taentzer Philipps-Universität Marburg
DOI
17:03
18m
Talk
Tool-assisted Concretization of Object-oriented Reference Models and Design PatternsFT
Research Papers
Felix Jordan RWTH Aachen, Bernhard Rumpe RWTH Aachen University, Max Stachon RWTH Aachen University
16:15 - 17:30
Session 1.3 – Model-Driven Frameworks, Digital Twins and Model QualityPosters at Torremolinos C
16:15
75m
Poster
A Dual-Lens Conceptual Framework for Digital Twin V&V
Posters
Benoit Combemale Inria, Univ Rennes, CNRS, IRISA, Steffen Zschaler King's College London, Jean-Michel Bruel Université de Toulouse, France, Christopher Burr The Alan Turing Institute, Adelaide de Vecchi King's College London, Aidan Dures King's College London, Sophie Ebersold , Rym M'Hallah King's College London , Pascale Vicat Blanc Inria, BoFan Zhang King's College London
16:15
75m
Poster
VitruviusOCL: A Declarative Language for Multi-Model Consistency Specification
Posters
Max Oesterle Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Nathan Hagel Karlsruhe Institute of Technology (KIT), Terru Stübinger Karlsruhe Institut für Technologie, Anne Koziolek Karlsruhe Institute of Technology, Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
16:15
75m
Poster
Validation of Famix Model Importers with Model Shuffling and Input Reduction
Posters
Romain Degrave INRIA, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL
16:15
75m
Poster
Model-Driven Engineering for FHIR Testing: Experiences from Australia's Sparked Accelerator
Posters
Jörn Guy Süß Codebots Pty Ltd., Michael Osborne Australian e-Health Research Centre (AEHRC), CSIRO
16:15
75m
Poster
Automated Quality Assessment of Metamodel Evolution: A Case Study in Java Mutation Testing
Posters
Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
16:15
75m
Poster
PolicyDSL: A Model-Driven Approach for the Definition and Enforcement of Fine-Grained Access Control Policies
Posters
Atefeh Nirumand , Jordi Cabot Luxembourg Institute of Science and Technology
16:15
75m
Poster
Toward a Self-Evaluating Digital Twin for End-to-End Empty Packaging Return Management
Posters
Kaouther Boulaouinat CentraleSupélec, Faicel Hnaien Université de Technologie de Troyes, Evren Sahin CentraleSupélec, Joan André Stellantis France, Riccardo Petitti Stellantis Italy
20:30 - 22:30
Welcome reception (Venue: Hotel Melia Costa del Sol Rooftop)Others at Outside the conference premises

Outside the conference premises

Thu 8 Oct

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

08:00 - 08:45
Sunrise yoga on the beachOthers at Outside the conference premises
08:30 - 17:30
09:15 - 10:30
KeynoteKeynotes at Málaga
Chair(s): Mehrdad Sabetzadeh University of Ottawa
09:15
75m
Keynote
What Modelling will be Relevant in 2056?
Keynotes
Steven Kelly MetaCase
10:30 - 11:00
Coffee BreakOthers at Central bar
10:30
30m
Coffee break
Break - Central bar
Others

11:00 - 12:45
Language Workbench and MetamodelingTools and Demonstrations at Mediterráneo C+D
Chair(s): Francisca Pérez Universitat Politècnica de València
11:00
15m
Paper
Fastbelt: An Architecture for Efficient Language Engineering
Tools and Demonstrations
Mark Sujew TypeFox, Steven Smyth Kiel University
11:15
15m
Paper
Interweaving Graphical and Textual Modelling using GLSP and Langium
Tools and Demonstrations
BoFan Zhang King's College London, Andreas Hell TU Wien, Steffen Zschaler King's College London, Dominik Bork TU Wien
11:30
15m
Paper
Langium: A TypeScript-Based Language Workbench for Domain-Specific Languages
Tools and Demonstrations
11:45
15m
Paper
An Interactive Tool for iterative Domain Elicitation and Metamodeling
Tools and Demonstrations
Zakaria Hachm IMT Atlantique, LS2N (UMR CNRS 6004)
12:00
15m
Paper
Astro: Automated Migration of Sirius Desktop Graphical Modelling Editors to Sirius Web
Tools and Demonstrations
Ionut Predoaia University of York, Qurat Ul Ain Ali Rolls-Royce, Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York
DOI
12:15
15m
Paper
Facilitating model reviews in pull/change request processes with RAMA
Tools and Demonstrations
Samuel Díaz-Aja , Pablo Sánchez Universidad de Cantabria, Alfonso de la Vega Universidad de Cantabria
DOI Pre-print
12:30
15m
Paper
Model-driven, AI-assisted Development of Manufacturing Control Software with Cordis Suite
Tools and Demonstrations
Bas Beuting Cordis Suite, Benno Beuting Cordis Suite, Jörg Kienzle ITIS Software, University of Malaga
11:00 - 12:45
Session 9: DSLs and ToolingResearch Papers / New Ideas and Emerging Results (NIER) at Mediterráneo E+F
Chair(s): Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)
11:00
12m
Talk
Breaking Models to Test the Judge: A Mutation Testing Approach for Semantic Evaluators of Domain Class Diagrams
New Ideas and Emerging Results (NIER)
Kévin Delcourt DIRO, Université de Montréal, Meriem Ben Chaaben Université de Montréal, Abdelhamid Rouatbi DIRO, University of Montreal, Luciano Marchezan DIRO, University of Montreal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
11:12
18m
Talk
Software Development using Low-Code Platforms or AI-Assistants: A Case Study-based ComparisonPT
Research Papers
Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Philipp Wieber Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
11:30
12m
Talk
Profile for realizing Domain Specific Virtual Reality Systems
New Ideas and Emerging Results (NIER)
Bavya Sri Kilari International Institute of Information Technology Hyderabad, Raghu Reddy IIIT Hyderabad, India, Sai Anirudh Karre Software Engineering Research Center. IIIT Hyderabad
11:42
18m
Talk
Realizing a Model Context Protocol (MCP) Server for the Graphical Language Server Platform (GLSP)PT
Research Papers
Andreas Hell TU Wien, Martin Fleck EclipseSource Services GmbH, Philip Langer EclipseSource Services GmbH, Dominik Bork TU Wien
12:00
12m
Talk
Physical Execution Plans for Model-Driven Engineering: Decoupling DSL Design from Runtime-Specific Representations
New Ideas and Emerging Results (NIER)
Francisco Martínez-Lasaca Universitat Oberta de Catalunya, Juan de Lara Autonomous University of Madrid
DOI
12:12
18m
Talk
Zero-Width Markers for View-to-Model TraceabilityFT
Research Papers
Dimitris Kolovos University of York, Robbert Jongeling Mälardalen University
File Attached
12:30
12m
Paper
Measure What Survives: When Model Vocabulary Outlives Generated Code
New Ideas and Emerging Results (NIER)
Artur Boronat University of Leicester, Jawad Mustafa University of Leicester, Fola-Dami Eyitemi University of Leicester
11:00 - 12:45
Session 7: LLMs for MDENew Ideas and Emerging Results (NIER) / Research Papers at Málaga
Chair(s): Antonio Cicchetti Mälardalen University
11:00
12m
Talk
Modular Meta-Languages for Structured Instructions: A Novel Approach for LLM Integration into Evolving Engineering Toolchains
New Ideas and Emerging Results (NIER)
Louis Burk Nuremberg Institute of Technology, Alexander Fischer Nuremberg Institute of Technology
11:12
18m
Talk
Json-SysML: A Bidirectional JSON-Based Representation for SysML Models Enabling LLM-Augmented Model-Based Systems EngineeringFT
Research Papers
Yousef Khoubrane École Polytechnique, Institut Polytechnique de Paris / Assystem Energy and Operation Services (AEOS), Nassara Elhadji Ille Gado Assystem Energy and Operation Services (AEOS), Rui Li Assystem Energy and Operation Services (AEOS), Helene Danlos Assystem Energy and Operation Services (AEOS), Nicolas Bureau Assystem Energy and Operation Services (AEOS), Lies Benmiloud Bechet Assystem Energy and Operation Services (AEOS), Robert Plana Assystem Energy and Operation Services (AEOS), Michalis Vazirgiannis École Polytechnique, Institut Polytechnique de Paris
11:30
12m
Talk
Typed Edits, Reviewable Models: Toward LLM-Supported Blended Co-Modeling
New Ideas and Emerging Results (NIER)
Federico Ciccozzi Mälardalen University
11:42
18m
Talk
LLM-Based Instance Model Generation via Code SynthesisFT
Research Papers
Javier Polo Gambín Universidad de Murcia, José Antonio Hernández López Department of Computer Science and Systems, University of Murcia, José Antonio Ruipérez-Valiente Universidad de Murcia
12:00
12m
Talk
Beyond Single-Run Correctness: Nondeterminism-Aware Evaluation of LLM-Based Model Transformations
New Ideas and Emerging Results (NIER)
Riccardo Rubei Malardalen University, Alessio Bucaioni Mälardalen University, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy
12:12
18m
Talk
The impact of Software Model Slicing on Software Model Completion with Large Language ModelsFT
Research Papers
Alisa Carla Welter Saarland University, Benedict Bliem Saarland University, Omer Iqbal Saarland University, Sven Apel Saarland University
12:30
12m
Talk
Bridging Feature Models and Users: LLM-Generated Low-Code Configurators for Software Product Lines
New Ideas and Emerging Results (NIER)
Patrick Wegerer Software Competence Center Hagenberg GmbH, Bernhard Schenkenfelder Software Competence Center Hagenberg (SCCH), Rudolf Ramler Software Competence Center Hagenberg (SCCH), Rick Rabiser Software Competence Center Hagenberg GmbH; CDL VaSiCS, LIT CPS Lab, Johannes Kepler University, Manuel Wimmer Johannes Kepler University Linz
11:00 - 12:45
Session 8: MDE in PracticeResearch Papers / New Ideas and Emerging Results (NIER) at Torremolinos A+B
Chair(s): Davide Di Ruscio University of L'Aquila
11:00
12m
Talk
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
New Ideas and Emerging Results (NIER)
Ignacio D. Lopez-Miguel TU Wien, Andreas Happe TU Wien, Jürgen Cito TU Wien, Ezio Bartocci TU Wien, Bettina Könighofer Institute of Information Security, Graz University of Technology, Martin Tappler TU Wien, Austria
11:12
18m
Talk
Model-Driven Engineering for FHIR Testing: Experiences from Australia's Sparked AcceleratorPT
Research Papers
Jörn Guy Süß Codebots Pty Ltd., Michael Osborne Australian e-Health Research Centre (AEHRC), CSIRO
11:30
12m
Talk
Towards an Asset Administration Shell Maturity Model
New Ideas and Emerging Results (NIER)
Carsten Ellwein ISW, University of Stuttgart, David Dietrich University of Stuttgart, Rozana Cvitkovic Blue Yonder GmbH, Andreas Wortmann University of Stuttgart
11:42
18m
Talk
The Software Modeling Paradox in Videogames: An Empirical Evaluation of Unreal Blueprints vs. Unity Visual ScriptingFT
Research Papers
Jose Ignacio Trasobares SVIT Research Group, Universidad San Jorge, África Domingo Universidad San Jorge, Lorena Arcega San Jorge University, Carlos Cetina
Link to publication Pre-print
12:00
12m
Talk
Towards Systematic Management of Semantic Variability in Real-World Executable Modeling Languages
New Ideas and Emerging Results (NIER)
Bianca Wiesmayr Ulm University, Antonio Garmendia Universidad Autónoma de Madrid, Manuel Wimmer Johannes Kepler University Linz, Sandra Greiner University of Southern Denmark
12:12
18m
Talk
Towards LLM-Assisted Business Process Modeling in an Industrial Modeling Tool: An Experience ReportPT
Research Papers
Andrey Sadovykh Softeam, Loay Chlih Softeam, and IMT Atlantique, LS2N (CNRS), Bilal Said Softeam, Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004)
Link to publication DOI Pre-print
12:30
12m
Talk
Models@Orbit: Model-Driven Engineering for the New Space Era
New Ideas and Emerging Results (NIER)
Francesco Basciani Gran Sasso Science Institute, Arianna Fedeli Gran Sasso Science Institute (GSSI), Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
11:00 - 12:45
Session 2.1 – Digital Twins and Systems EngineeringPosters at Torremolinos C
11:00
1h45m
Poster
Enabling Physical AI in Trailer Logistics: A Digital Twin Architecture with Continuous Sim-to-Real Feedback
Posters
Aniruddha Singhal Tata Consultancy Services
11:00
1h45m
Poster
Identifying Pareto-Optimal Configurations through Integrated Impact and Tradeoff Analysis in System Design
Posters
Mbouga Frank Eric Deutsches Zentrum für Luft- und Raumfahrt, Philipp Chrszon , Tobias Franz German Aerospace Center (DLR), Andreas Gerndt German Aerospace Center (DLR), Michael Felderer German Aerospace Center (DLR) & University of Cologne
11:00
1h45m
Poster
A Conceptual Framework for Refining Influence Knowledge from Simulation Evidence in Cyber-Physical Systems
Posters
Barbara da Silva Oliveira Université Côte D'Azur, I3S/INRIA Kairos, Julien DeAntoni Université Côte D'Azur, I3S/INRIA Kairos, Nicolas Ferry Université Côte d'Azur
11:00
1h45m
Poster
A Digital Twin Exemplar for Fischertechnik Production Line Analysis, Simulation, and Optimization
Posters
Phil Pöllmann University of Regensburg, Falco Wolf University of Regensburg, Jakob Titz University of Regensburg, Judith Michael University of Regensburg
11:00
1h45m
Poster
Towards a Model-Driven Framework for Energy Community Digital Twins
Posters
Alexandra Jäger University of Innsbruck, Leandra Brauchle University of Innsbruck, Johannes Karrer University of Innsbruck, Marcel Böhm University of Innsbruck, Philipp Zech University of Innsbruck, Austria
11:00
1h45m
Poster
Beyond the Mirror – Digital Twins for Human–AI Collaboration in Software Engineering
Posters
Johannes Schönböck , Johannes Altmanninger TU Wien, Manuel Wimmer Johannes Kepler University Linz, Werner Retschitzegger , Wieland Schwinger Johannes Kepler University Linz
11:00
1h45m
Poster
Anchoring Co-Design on the Engineered Quantum System: A Model-Based Approach
Posters
Hayato Ishida Loughborough University, Amal Elsokary Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Michael J. de C. Henshaw Loughborough University, Siyuan Ji Loughborough University
11:00
1h45m
Poster
Engineering Digital Process Twins: Towards a Methodology Based on MDE and DevOps
Posters
Gwendal Beaumont IMT Atlantique, Lab-STICC (UMR 6285), Charlotte Verbruggen TU Wien, Antoine Beugnard , Dominik Bork TU Wien, Salvador Martínez IMT Atlantique, Christelle Urtado IMT Mines Alès, Sylvain Vauttier
11:00 - 12:45
Presentation Session (Third Round of Competition)ACM Student Research Competition at Torremolinos D

After the Poster Session, the panelists will meet to select a subset of the SRC participants to advance to the third and final round of the competition. The selected participants will give a 15-minute presentation of their research before a panel of judges during a session at the conference (open to all conference attendees), followed by a 10-minute question-and-answer period.

Three winners will be selected for the Graduate (PhD) category and will receive prizes at the MODELS 2026 banquet.

The information about the three selected candidates will be displayed on this page on the afternoon of Wednesday, October 7, after the candidates have been notified of the results of the Poster Session (Second Round of Competition).

13:00 - 14:30
13:00
90m
Lunch
Lunch - Restaurant
Others

14:30 - 15:45
PanelPanel at Málaga
Chair(s): Dominik Bork TU Wien, Marsha Chechik University of Toronto, Gabor Karsai Vanderbilt University, Marcel Verhoef European Space Agency
14:30
75m
Panel
If AI eats software, how can we ensure the result is safe & secure?
Panel
Zoltán Micskei Budapest University of Technology and Economics
15:45 - 16:15
Coffee BreakOthers at Central bar
15:45
30m
Coffee break
Break - Central bar
Others

16:15 - 17:30
Modeling and EvolutionTools and Demonstrations at Mediterráneo C+D
Chair(s): Michael Wahler Zurich University of Applied Sciences (ZHAW)
16:15
15m
Paper
Senate: Tool for Change Propagation control in Model Federation
Tools and Demonstrations
Anish Bhobe Institut Polytechnique de Paris, Dominique Blouin LTCI Lab, Telecom Paris, Institute Polytechnique de Paris, Laurent Pautet Télécom Paris, Institut Polytechnique de Paris
16:30
15m
Paper
Generating Consistent and Realistic Database Instances with PRISMA
Tools and Demonstrations
David Borrero , Xinshen Xiang , José Francisco Crespo Universitat Politècnica de Catalunya, Xavier Oriol Universitat Politècnica de Catalunya, Ernest Teniente Universitat Politècnica de Catalunya, Spain
16:45
15m
Paper
Graphical Management of Multiple Runtime Models to Improve the Comprehension of Contextual Behavioral Programs
Tools and Demonstrations
Nick Ruider , Sebastian Götz Technische Universität Dresden, Tom Felber , Uwe Aßmann TU Dresden, Germany
17:00
15m
Paper
MDEO-Cloud: A Modular Cloud-Based Platform for Model-Driven Optimization
Tools and Demonstrations
Niklas Krieger , Sandro Speth Technical University of Munich, Steffen Becker University of Stuttgart, Steffen Zschaler King's College London
17:15
15m
Paper
Who are my users? A graphical language and modeling environment for specifying end-user profiles
Tools and Demonstrations
Aaron Conrardy Luxembourg Institute of Science and Technology, Alfredo Capozucca University of Luxembourg, Jordi Cabot Luxembourg Institute of Science and Technology
16:15 - 17:30
MIP: Most Influential PapersResearch Papers at Málaga
16:15
25m
Talk
ThingML: a language and code generation framework for heterogeneous targets
Research Papers
16:40
25m
Talk
Model transformation intents and their properties
Research Papers
Levi Lucio , Moussa Amrani University of Namur, Juergen Dingel Queen's University, Kingston, Ontario, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Rick Salay University of Toronto, Gehan Selim McMaster University, Canada, Eugene Syriani Université de Montréal, Manuel Wimmer Johannes Kepler University Linz
DOI
17:05
25m
Talk
An overview of model checking practices on verification of PLC software
Research Papers
Tolga Ovatman Istanbul Technical University, Atakan Aral University of Vienna, Davut Polat , Ali Osman Ünver
16:15 - 17:30
Session 10: Specification EngineeringJournal First / Research Papers at Torremolinos A+B
Chair(s): Michel Chaudron Eindhoven University of Technology, The Netherlands
16:15
18m
Talk
On Redundancy in Alloy ModelsFT
Research Papers
Soaibuzzaman Bauhaus-University Weimar, Jan Oliver Ringert Bauhaus-University Weimar
16:33
18m
Talk
LINDDUN MAESTRO: an architecture framework for privacy threat modeling
Journal First
Dimitri Van Landuyt KU Leuven, Belgium, Laurens Sion DistriNet, KU Leuven, Wouter Joosen imec-DistriNet, KU Leuven
DOI
16:51
18m
Talk
Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy SpecificationsFT
Research Papers
Yang Hong University of Texas at Austin, Chenbo Yin UT Austin, Shan Jiang University of Texas at Austin, Yulei Fu UT Austin, Sarfraz Khurshid University of Texas at Austin
17:09
18m
Talk
Enhancing automated network function onboarding through language extension and code refactoring
Journal First
Hesham Elabd , Juergen Dingel Queen's University, Kingston, Ontario, Tung Fai Lau , Ali Tizghadam
DOI
16:15 - 17:30
Session 2.2 – Model-Driven Languages, Tools and ApplicationsPosters at Torremolinos C
16:15
75m
Poster
Model-Driven Digital Twin Framework for Quantum Networks
Posters
Amal Elsokary Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Hayato Ishida Loughborough University, Ran Wei Dalian University of Technology, Michael J. de C. Henshaw Loughborough University, Siyuan Ji Loughborough University
16:15
75m
Poster
Beyond single-run correctness: nondeterminism-aware evaluation of LLM-based model transformations
Posters
Riccardo Rubei Malardalen University, Alessio Bucaioni Mälardalen University, Amleto Di Salle Gran Sasso Science Institute, L'Aquila, Italy
16:15
75m
Poster
Do Not Disturb: Proposing Approaches Towards Motivated Human-in-the-Loop for Less Disruptive Cross-Domain Interactive Repair
Posters
Miriam Boss Karlsruhe Institute of Technology (KIT), Friedrich Schadow Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Kathrin Gerling Karlsruhe Institute of Technology (KIT)
16:15
75m
Poster
When Layout Matters: Characterizing Layout-Sensitive Notations and Their Cognitive Trade-offs
Posters
Antonio Bucchiarone DISIM, University of L'Aquila, Antonio Cicchetti Mälardalen University, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio Università degli Studi dell'Aquila
16:15
75m
Poster
A Model-Driven Approach for Developing Families of Reinforcement Learning Environments
Posters
Xiaoran Liu McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)
16:15
75m
Poster
From Complex Ecosystems to Understandable Models – Evaluating a Domain-Specific Modeling Language for Digital Ecosystem Governance
Posters
Taija Kolehmainen University of Jyväskylä, Jyväskylä, Finland, Gabriella Laatikainen VTT Technical Research Centre of Finland, Juha-Pekka Tolvanen MetaCase, Tommi Mikkonen University of Jyväskylä
16:15
75m
Poster
OptiGob 2.0: A Model-Driven Approach for Exploring Agri-Sustainability Projections
Posters
Michael Mittermaier University of Regensburg, David Styles University of Galway, Judith Michael University of Regensburg
16:15
75m
Poster
Automated Generation of Java Bytecode Models Across Scales
Posters
Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
19:00 - 23:59
Gala Dinner (Venue: Hacienda Nadales) Others at Outside the conference premises

Outside the conference premises

Fri 9 Oct

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

08:30 - 10:30
09:15 - 10:30
KeynoteKeynotes at Málaga
Chair(s): Esther Guerra Universidad Autónoma de Madrid
09:15
75m
Keynote
The Fragility of Software Engineering Experiments: What We Fail to See
Keynotes
Sira Vegas Universidad Politecnica de Madrid
10:30 - 11:00
Coffee BreakOthers at Central bar
10:30
30m
Coffee break
Break - Central bar
Others

11:00 - 12:00
Predictive Systems and Model VisualizationTools and Demonstrations at Mediterráneo C+D
Chair(s): Davide Di Ruscio University of L'Aquila
11:00
15m
Paper
ModL: A Data Model Ledger for Contract Evolution
Tools and Demonstrations
11:15
15m
Paper
ML2++: A Dual-Mode Model-Driven Tool for Forecasting-Enabled IoT Applications
Tools and Demonstrations
Zahra Mardani , Thimothy Smith Universiteit Antwerpen, Moharram Challenger University of Antwerp, Armin Moin Purdue University, Joao Carlos Amaro Ferreira ISCTE – Instituto Universitário de Lisboa, Alberto Rodrigues da Silva Instituto Superior Técnico (IST), Gonçalo Vitorino Jesus Laboratório Nacional de Engenharia Civil (LNEC)
11:30
15m
Paper
ForeACT: A Model-Driven Workbench for Actionability Assessment of Forecast Changes
Tools and Demonstrations
11:45
15m
Paper
Model Textually, View Graphically: Automatic Class Diagram Visualization with Bidirectional Navigation and LSP Support
Tools and Demonstrations
Joel Charles RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
11:00 - 12:10
Session 11: Traceability and AutomationResearch Papers / Journal First / New Ideas and Emerging Results (NIER) at Málaga
Chair(s): Antonio Cicchetti Mälardalen University
11:00
12m
Talk
Preserving Model-to-Code Traceability During LLM-Based Code Generation
New Ideas and Emerging Results (NIER)
Marc North Durham University, Nelly Bencomo Durham University, Amir Atapour-Abarghouei Durham University
11:12
18m
Talk
Towards Lightweight Domain Model Reverse Engineering from Source CodeFT
Research Papers
Alessandra Mancas DIRO, Université de Montréal, Mounir Ammam DIRO, Université de Montréal, Hyacinth Ali DIRO, Université de Montréal, Kévin Delcourt DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
11:30
18m
Talk
Large Language Models Assistance in core Model-Driven Engineering activitiesFT
Research Papers
Arianna Fedeli Gran Sasso Science Institute (GSSI), Maria Teresa Rossi Gran Sasso Science Institute (GSSI), L’Aquila, Italy, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy
Link to publication DOI
11:48
18m
Talk
A model and workflow-driven approach for engineering domain-specific low-code platforms and applications
Journal First
Francisco Martínez-Lasaca Universitat Oberta de Catalunya, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Link to publication DOI
11:00 - 12:10
Session 12: Model Analysis and QualityNew Ideas and Emerging Results (NIER) / Journal First / Research Papers at Torremolinos A+B
Chair(s): Matthias Tichy Ulm University
11:00
12m
Talk
UncertainTree: Analyzing Multi-Model Consistency under Uncertainty
New Ideas and Emerging Results (NIER)
Nathan Hagel Karlsruhe Institute of Technology (KIT), Johannes Mäkelburg Technische Universität München, Martin Armbruster Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Lars König Karlsruhe Institute of Technology (KIT), Arne Lange Karlsruhe Institute of Technology (KIT), Robin Maisch Karlsruhe Institute of Technology (KIT), Fabian Reinbold Karlsruhe Institute of Technology, Thomas Weber Karlsruhe Institute of Technology (KIT), Maribel Acosta Technical University of Munich, Anne Koziolek Karlsruhe Institute of Technology
11:12
18m
Talk
Model-based stochastic analysis with probabilistic graph query evaluation
Journal First
Máté Földiák Linköping University, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University
DOI
11:30
18m
Talk
Automated Quality Assessment of Metamodel Evolution: A Case Study in Java Mutation TestingPT
Research Papers
Freya Ancona Philipps-Universität Marburg, Philipp Wieber Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg, Gabriele Taentzer Philipps-Universität Marburg
11:48
12m
Talk
Models as Governed Interfaces for AI-Native MBSE: Read-Side Adequacy and Write-Side Admissibility
New Ideas and Emerging Results (NIER)
Jason D. Gower Loughborough University, Michael J. de C. Henshaw Loughborough University, Siyuan Ji Loughborough University
DOI Pre-print
12:10 - 12:45
Closing and MODELS 2027Research Papers at Málaga
13:00 - 14:30
13:00
90m
Lunch
Lunch - Restaurant
Others