MODELS 2026
Sun 4 - Fri 9 October 2026 Málaga, Spain
MODELS 2026 (series) / Melia Costa del Sol /

Room information: Torremolinos A+B

VenueMelia Costa del Sol
Room nameTorremolinos A+B
Floor0
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

Sun 4 Oct

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

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
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

Mon 5 Oct

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

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
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
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
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

Tue 6 Oct

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

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
Ali Raz , Lance Sherry
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
Ali Raz , Lance Sherry
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
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

Wed 7 Oct

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

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
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
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

Thu 8 Oct

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

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üß Australian e-Health Research Centre (AEHRC), CSIRO, 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
Link to publication DOI
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
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

Fri 9 Oct

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

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
Hide past events

Sun 4 Oct

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

Room9:003010:003011:003012:0030
Torremolinos A+B

Tutorials

Session 1: Modelling Justifications to Support and Operationalize Machine Learning Pipelines

Tutorials

Session 2: Modelling Justifications to Support and Operationalize Machine Learning Pipelines

Mon 5 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Torremolinos A+B

Tutorials

Session 3: OML Code: Turning SME Knowledge into Reusable Ontological Modeling Methodologies

Tutorials

Session 4: OML Code: Turning SME Knowledge into Reusable Ontological Modeling Methodologies

Tutorials

Session 5: Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis Suite

Tutorials

Session 6: Factory Control Reimagined: A Hands-On Journey Through Model-Driven Development, Simulation, and AI Analytics using Cordis Suite

Tue 6 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Torremolinos A+B

Tutorials

Session 7: Digital Transformation Foundations with Model-based System Engineering and Digital Engineering

Tutorials

Session 8: Digital Transformation Foundations with Model-based System Engineering and Digital Engineering

Tutorials

Session 9: Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsight

Tutorials

Session 10: Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial for DTInsight

Wed 7 Oct

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

Room11:003012:003013:003014:003015:003016:003017:0030
Torremolinos A+B

Research Papers + Journal First + New Ideas and Emerging Results (NIER)

Session 1: Safety and Assurance

Research Papers + New Ideas and Emerging Results (NIER)

Session 4: Reliable Model Generation

Research Papers + Journal First + New Ideas and Emerging Results (NIER)

Session 5: Evolution, Adaptation and Reuse

Thu 8 Oct

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

Room11:003012:003013:003014:003015:003016:003017:0030
Torremolinos A+B

Research Papers + New Ideas and Emerging Results (NIER)

Session 8: MDE in Practice

Journal First + Research Papers

Session 10: Specification Engineering

Fri 9 Oct

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

Room11:003012:0030
Torremolinos A+B

New Ideas and Emerging Results (NIER) + Journal First + Research Papers

Session 12: Model Analysis and Quality
Hide past events

Sun 4 Oct

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

Room9:0015304510:0015304511:0015304512:00153045
Torremolinos A+B
MODELS Tutorials
Modelling Justifications to Support and Operationalize Machine Learning ...
09:15 - 10:30
MODELS Tutorials
Modelling Justifications to Support and Operationalize Machine Learning ...
11:00 - 12:45

Mon 5 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Torremolinos A+B
MODELS Tutorials
OML Code: Turning SME Knowledge into Reusable Ontological Modeling Meth ...
09:15 - 10:30
MODELS Tutorials
OML Code: Turning SME Knowledge into Reusable Ontological Modeling Meth ...
11:00 - 12:45
MODELS Tutorials
Factory Control Reimagined: A Hands-On Journey Through Model-Driven Dev ...
14:30 - 15:45
MODELS Tutorials
Factory Control Reimagined: A Hands-On Journey Through Model-Driven Dev ...
16:15 - 17:30

Tue 6 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Torremolinos A+B
MODELS Tutorials
Digital Transformation Foundations with Model-based System Engineering ...
09:15 - 10:30
MODELS Tutorials
Digital Transformation Foundations with Model-based System Engineering ...
11:00 - 12:45
MODELS Tutorials
Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial ...
14:30 - 15:45
MODELS Tutorials
Promoting Observability in Digital Twin Reporting: A Hands-On Tutorial ...
16:15 - 17:30

Wed 7 Oct

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Torremolinos A+B
MODELS Research PapersFT
Automated Generation of Functionally Complete Assurance Suites for COLR ...
11:00 - 11:18
MODELS Journal First
SavviDriver: model-based framework for game-based testing of autonomous ...
11:18 - 11:36
MODELS New Ideas and Emerging Results (NIER)
Metamodel-Based Generation of Security Models from Structured Cyber Thr ...
11:36 - 11:48
MODELS Research PapersFT
OntoSTL: Canonical Knowledge Graph Representation of Signal Temporal Lo ...
11:48 - 12:06
MODELS Research PapersPT
Skyscrapers Need Solid Foundations: Pattern-Based Validation of SysML v ...
12:06 - 12:24
MODELS Journal First
Automated and logically exhaustive generation of traffic scenarios at r ...
12:24 - 12:42
MODELS New Ideas and Emerging Results (NIER)
Formalism-Aware Rewards: Turning Model Analysis into Training Feedback ...
14:30 - 14:42
MODELS Research PapersFT
A Transformation-Based Benchmark for Evaluating the Robustness of LLMs ...
14:42 - 15:00
MODELS Research PapersFT
LLM-Enhanced Stochastic Generation of Class Diagram Datasets
15:00 - 15:18
MODELS Research PapersFT
Well-Formed Executable Suggestions for Continuous Model-Driven Engineering
15:18 - 15:36
MODELS New Ideas and Emerging Results (NIER)
Model Migration by Example (MbEx): Understanding Model Co-Evolution fro ...
16:15 - 16:27
MODELS Research PapersFT
Runtime Decision Models under Uncertainty using Surprise-Based Learning ...
16:27 - 16:45
MODELS Journal First
EvolveDB: evolving relational database schemas in a model-driven way
16:45 - 17:03
MODELS Research PapersFT
Tool-assisted Concretization of Object-oriented Reference Models and De ...
17:03 - 17:21

Thu 8 Oct

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Torremolinos A+B
MODELS New Ideas and Emerging Results (NIER)
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and ...
11:00 - 11:12
MODELS Research PapersPT
Model-Driven Engineering for FHIR Testing: Experiences from Australia's ...
11:12 - 11:30
MODELS New Ideas and Emerging Results (NIER)
Towards an Asset Administration Shell Maturity Model
11:30 - 11:42
MODELS Research PapersFT
The Software Modeling Paradox in Videogames: An Empirical Evaluation of ...
11:42 - 12:00
MODELS New Ideas and Emerging Results (NIER)
Towards Systematic Management of Semantic Variability in Real-World Exe ...
12:00 - 12:12
MODELS Research PapersPT
Towards LLM-Assisted Business Process Modeling in an Industrial Modelin ...
12:12 - 12:30
MODELS New Ideas and Emerging Results (NIER)
Models@Orbit: Model-Driven Engineering for the New Space Era
12:30 - 12:42
MODELS Research PapersFT
On Redundancy in Alloy Models
16:15 - 16:33
MODELS Journal First
LINDDUN MAESTRO: an architecture framework for privacy threat modeling
16:33 - 16:51
MODELS Research PapersFT
Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy Specifica ...
16:51 - 17:09
MODELS Journal First
Enhancing automated network function onboarding through language extens ...
17:09 - 17:27

Fri 9 Oct

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

Room11:00153045
Torremolinos A+B
MODELS New Ideas and Emerging Results (NIER)
UncertainTree: Analyzing Multi-Model Consistency under Uncertainty
11:00 - 11:12
MODELS Journal First
Model-based stochastic analysis with probabilistic graph query evaluation
11:12 - 11:30
MODELS Research PapersPT
Automated Quality Assessment of Metamodel Evolution: A Case Study in Ja ...
11:30 - 11:48
MODELS New Ideas and Emerging Results (NIER)
Models as Governed Interfaces for AI-Native MBSE: Read-Side Adequacy an ...
11:48 - 12:00
Hide past events