Main Room 1 - MODELS 2025

VenueGrand Valley State University

Room nameMain Room 1

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Welcome & Keynote 1Keynotes at Main Room 1

09:00 90m Keynote		MODELS 2025 Keynote 1: TBA Keynotes

11:00 - 12:30	Session 1: Digital Twins and Cyber-Physical SystemsJournal-First / Research Papers / New Ideas and Emerging Results (NIER) at Main Room 1

11:00 18m Talk		A Method for Model-Driven Engineering of Digital Twins in ManufacturingPT Research Papers Malte Heithoff RWTH-Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Jérôme Pfeiffer University of Stuttgart, Germany, Andreas Wortmann University of Stuttgart, Jingxi Zhang University of Stuttgart Pre-print
11:18 18m Talk		A Container-based Approach For Proactive Asset Administration Shell Digital Twins New Ideas and Emerging Results (NIER) Carsten Ellwein nstitute for Control Engineering of Machine Tools and Manufacturing Units (ISW), University of Stuttgart,, Jingxi Zhang University of Stuttgart, Andreas Wortmann University of Stuttgart, Antony Ayman Alfy Meckhael Faculty of Media Engineering and Technology (MET), German University in Cairo
11:36 18m Talk		Digital twin and the asset administration shell - An Analysis of the Three Types of AASs and their Feasibility for Digital Twin Engineering Journal-First Jingxi Zhang University of Stuttgart, Carsten Ellwein nstitute for Control Engineering of Machine Tools and Manufacturing Units (ISW), University of Stuttgart,, Malte Heithoff RWTH-Aachen University, Judith Michael University of Regensburg, Andreas Wortmann University of Stuttgart DOI
11:54 18m Talk		An architecture for coupled digital twins with semantic lifting Journal-First Santiago Gil , Eduard Kamburjan IT University of Copenhagen, Prasad Talasila , Peter Larsen DOI
12:12 18m Talk		Continuous Evolution of Digital Twins using the DarTwin Notation Journal-First Joost Mertens University of Antwerp, Antwerp, Belgium, Stefan Klikovits Johannes Kepler University, Linz, Francis Bordeleau École de Technologie Supérieure (ETS), Joachim Denil University of Antwerp, Belgium, Øystein Haugen Østfold University College DOI

14:00 - 15:30	Session 3: Large Language Models and ModelingNew Ideas and Emerging Results (NIER) / Research Papers at Main Room 1

14:00 18m Talk		MCeT: Behavioral Model Correctness Evaluation using Large Language ModelsFT Research Papers Khaled Ahmed Huawei Technologies Canada, Jialing Song Huawei Technologies Canada, Boqi Chen McGill University, Ou Wei Huawei Technologies Canada, Bingzhou Zheng Huawei Technologies Canada Pre-print
14:18 18m Talk		Accurate and Consistent Graph Model Generation from Text with Large Language ModelsFT Research Papers Boqi Chen McGill University, Ou Wei Huawei Technologies Canada, Bingzhou Zheng Huawei Technologies Canada, Gunter Mussbacher McGill University Pre-print
14:36 18m Talk		SHERPA: A Model-Driven Framework for Large Language Model ExecutionFT Research Papers Boqi Chen McGill University, Kua Chen McGill University, José Antonio Hernández López Department of Computer Science and Systems, University of Murcia, Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill University, Amir Feizpour Aggregate Intellect Pre-print
14:54 18m Talk		Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation New Ideas and Emerging Results (NIER) Nazanin Siavash University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
15:12 18m Talk		Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning New Ideas and Emerging Results (NIER) Martin Eisenberg Johannes Kepler University, Linz, Stefan Klikovits Johannes Kepler University, Linz, Manuel Wimmer JKU Linz, Konrad Wieland LieberLieber Software GmbH

16:00 - 17:30	Session 5: Quality Assurance and Model ManagementNew Ideas and Emerging Results (NIER) / Research Papers / Journal-First at Main Room 1

16:00 18m Talk		A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model RepositoriesFT Research Papers Andjela Djelic TU Wien, Syed Juned Ali TU Wien, Charlotte Verbruggen TU Wien, Julia Neidhardt TU Wien, Dominik Bork TU Wien
16:18 18m Talk		Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial ModelsPT Research Papers Michael Oberlehner LIT CPS Lab, Johannes Kepler University Linz, Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl LIT CPS Lab, Johannes Kepler University Linz
16:36 18m Talk		Inclusive Model-Driven Engineering for Accessible Software New Ideas and Emerging Results (NIER) Dominik Bork TU Wien, Stefan Klikovits Johannes Kepler University, Linz, Judith Michael University of Regensburg, Lukas Netz RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
16:54 18m Talk		Modeling with Gentleman: a web-based projectional editor Journal-First Louis-Edouard Lafontant University of Montreal, Eugene Syriani Université de Montréal DOI
17:12 18m Talk		An Ecosystem of DSMLs for Building CommissioningPT Research Papers Philipp Zech University of Innsbruck, Austria, Emanuele Goldin University of Innsbruck, Christoph Zallinger University of Innsbruck, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Philipp Pobitzer University of Innsbruck, Judith Michael University of Regensburg, Ruth Breu University of Innsbruck

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Keynote 2Keynotes at Main Room 1

09:00 90m Keynote		MODELS 2025 Keynote 2: TBA Keynotes

11:00 - 12:30	Session 6: Models in Software Engineering PipelinesJournal-First / Research Papers at Main Room 1

11:00 18m Talk		A Metamodel for Reengineering CI/CD PipelinesFT Research Papers Hugo da Gião University of Porto & HASLab/INESC TEC, Jácome Cunha Universidade do Porto, Rui Pereira HASLab/INESC TEC, André Flores Faculdade de Engenharia da Universidade do Porto, Vasco Amaral NOVA University Lisbon, Gregor Engels Paderborn University, Stefan Sauer Paderborn University \| Software Innovation Campus Paderborn
11:18 18m Talk		Deepening our Understanding on the use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal EngineFT Research Papers Jose Ignacio Trasobares SVIT Research Group, Universidad San Jorge, África Domingo SVIT Research Group, Universidad San Jorge, Jorge Echeverria SVIT Research Group, Universidad San Jorge, Lorena Arcega SVIT Research Group, Universidad San Jorge, Carlos Cetina
11:36 18m Talk		Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic RedundancyFT Research Papers Ionut Predoaia University of York, Sultan Almutairi Shaqra University, Athanasios Zolotas Rolls-Royce, Antonio Garcia-Dominguez Department of Computer Science, University of York, Dimitris Kolovos University of York
11:54 18m Talk		A Knowledge-based Approach for Guided Development of Infrastructure-as-Code Journal-First Zoe Vasileiou , Indika Kumara Tilburg University, Georgios Meditskos , Kamil Tokmakov , Dragan Radolovic , Jesus Gorronogoitia-Cruz , Elisabeta di Nitto Politecnico di Milano, Damian Andrew Tamburri University of Sannio - JADS/NXP Semiconductors, Willem-Jan van den Heuvel JADS/Tilburg University, Stefanos Vrochidis Centre for Research and Technology Hellas (CERTH-ITI) DOI
12:12 18m Talk		Automating the Development of API-Based Generators Using Code Idioms Mining Journal-First Nenad Todorovic , Aleksandar Lukic , Nikola Todorovic , Bojana Dragaš , Gordana Milosavljevic DOI

	14:00 - 15:30	Panel (TBA)Panel at Main Room 1

	16:00 - 17:30	Poster SessionPosters at Main Room 1 Note this is a poster session, so there is no real order to the individual items. All presenters will be required to be at their posters for the complete session and reviewers will go around the room.

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Keynote 3Keynotes at Main Room 1

09:00 90m Keynote		MODELS 2025 Keynote 3: TBA Keynotes

11:00 - 12:30	Award PapersAwards at Main Room 1

11:00 90m Awards		Quick fixing ATL model transformations Awards

14:00 - 15:30	Session 8: Runtime Models and AutomationJournal-First / Research Papers / New Ideas and Emerging Results (NIER) at Main Room 1

14:00 15m Talk		Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical SystemsFT Research Papers Eric Roslin Wete Poaka Leibniz Universität Hannover, Joel Greenyer FHDW Hannover, Tom Yaacov Ben-Gurion University of the Negev, Daniel Kudenko L3S Research Center, Leibniz Universität Hannover, Germany, Wolfgang Nejdl Leibniz Universität Hannover
14:15 15m Talk		Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning Agents New Ideas and Emerging Results (NIER) Demetrius Hernandez The University of Notre Dame, Jane Cleland-Huang University of Notre Dame
14:30 15m Talk		Run-time threat models for systematic and continuous risk assessment Journal-First Stef Verreydt DistriNet-KU Leuven, Dimitri Van Landuyt KU Leuven, Belgium, Wouter Joosen imec-DistriNet, KU Leuven DOI
14:45 15m Talk		Jidoka: Automation with a Human Touch Journal-First Eban Escott DOI
15:00 15m Talk		Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web Journal-First Riku Ala-Laurinaho , Juuso Autiosalo , Sampo Laine , Urho Hakonen , Raine Viitala DOI
15:15 15m Talk		Complex Model Transformations by Reinforcement Learning with Uncertain Human GuidanceFT Research Papers Kyanna Dagenais McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Main Room 1	Keynotes Welcome & Keynote 1																								Journal-First + Research Papers + New Ideas and Emerging Results (NIER) Session 1: Digital Twins and Cyber-Physical Systems																																				New Ideas and Emerging Results (NIER) + Research Papers Session 3: Large Language Models and Modeling																								New Ideas and Emerging Results (NIER) + Research Papers + Journal-First Session 5: Quality Assurance and Model Management

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Main Room 1	Keynotes Keynote 2																								Journal-First + Research Papers Session 6: Models in Software Engineering Pipelines																																				Panel Panel (TBA)																								Posters Poster Session

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Main Room 1	Keynotes Keynote 3																								Awards Award Papers																																				Journal-First + Research Papers + New Ideas and Emerging Results (NIER) Session 8: Runtime Models and Automation

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Main Room 1	MODELS Keynotes MODELS 2025 Keynote 1: TBA 09:00 - 10:30																								MODELS Research PapersPT A Method for Model-Driven Engineering of Digital Twins in Manufacturing 11:00 - 11:18				MODELS New Ideas and Emerging Results (NIER) A Container-based Approach For Proactive Asset Administration Shell Dig ... 11:18 - 11:36			MODELS Journal-First Digital twin and the asset administration shell - An Analysis of the Th ... 11:36 - 11:54				MODELS Journal-First An architecture for coupled digital twins with semantic lifting 11:54 - 12:12			MODELS Journal-First Continuous Evolution of Digital Twins using the DarTwin Notation 12:12 - 12:30																						MODELS Research PapersFT MCeT: Behavioral Model Correctness Evaluation using Large Language Models 14:00 - 14:18				MODELS Research PapersFT Accurate and Consistent Graph Model Generation from Text with Large Lan ... 14:18 - 14:36			MODELS Research PapersFT SHERPA: A Model-Driven Framework for Large Language Model Execution 14:36 - 14:54				MODELS New Ideas and Emerging Results (NIER) Model-Driven Quantum Code Generation Using Large Language Models and Re ... 14:54 - 15:12			MODELS New Ideas and Emerging Results (NIER) Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning 15:12 - 15:30										MODELS Research PapersFT A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the ... 16:00 - 16:18				MODELS Research PapersPT Refactoring with Confidence: An Assistant for Repair-Integrated Refacto ... 16:18 - 16:36			MODELS New Ideas and Emerging Results (NIER) Inclusive Model-Driven Engineering for Accessible Software 16:36 - 16:54				MODELS Journal-First Modeling with Gentleman: a web-based projectional editor 16:54 - 17:12			MODELS Research PapersPT An Ecosystem of DSMLs for Building Commissioning 17:12 - 17:30

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Main Room 1	MODELS Keynotes MODELS 2025 Keynote 2: TBA 09:00 - 10:30																								MODELS Research PapersFT A Metamodel for Reengineering CI/CD Pipelines 11:00 - 11:18				MODELS Research PapersFT Deepening our Understanding on the use of Models and Code in Game Softw ... 11:18 - 11:36			MODELS Research PapersFT Hand-Written Code Preservation in Model-to-Text Transformation using In ... 11:36 - 11:54				MODELS Journal-First A Knowledge-based Approach for Guided Development of Infrastructure-as-Code 11:54 - 12:12			MODELS Journal-First Automating the Development of API-Based Generators Using Code Idioms Mining 12:12 - 12:30

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Main Room 1	MODELS Keynotes MODELS 2025 Keynote 3: TBA 09:00 - 10:30																								MODELS Awards Quick fixing ATL model transformations 11:00 - 12:30																																				MODELS Research PapersFT Streamlined Integration of GR(1) Synthesis and Reinforcement Learning f ... 14:00 - 14:15			MODELS New Ideas and Emerging Results (NIER) Ambient Advisory Models: Augmenting Runtime Models into Distributed Rea ... 14:15 - 14:30			MODELS Journal-First Run-time threat models for systematic and continuous risk assessment 14:30 - 14:45			MODELS Journal-First Jidoka: Automation with a Human Touch 14:45 - 15:00			MODELS Journal-First Paradigm shift in mechanical system design: toward automated and collab ... 15:00 - 15:15			MODELS Research PapersFT Complex Model Transformations by Reinforcement Learning with Uncertain ... 15:15 - 15:30

Room information: Main Room 1

This program is tentative and subject to change.

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

Keynotes

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

New Ideas and Emerging Results (NIER) + Research Papers

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

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Keynotes

Journal-First + Research Papers

Panel

Posters

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change

Keynotes

Awards

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

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change

MODELS 2025

Co-hosted Conferences

Room information: Main Room 1

This program is tentative and subject to change.

Program Display Configuration

Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change

Fri 10 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change

Keynotes

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

New Ideas and Emerging Results (NIER) + Research Papers

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

Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change

Keynotes

Journal-First + Research Papers

Panel

Posters

Fri 10 OctDisplayed time zone: Eastern Time (US & Canada) change

Keynotes

Awards

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

Wed 8 OctDisplayed time zone: Eastern Time (US & Canada) change

Thu 9 OctDisplayed time zone: Eastern Time (US & Canada) change

Fri 10 OctDisplayed time zone: Eastern Time (US & Canada) change

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change

Wed 8 Oct
Displayed time zone: Eastern Time (US & Canada) change

Thu 9 Oct
Displayed time zone: Eastern Time (US & Canada) change

Fri 10 Oct
Displayed time zone: Eastern Time (US & Canada) change