About

MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applications. MODELS participants originate from a wide variety of backgrounds, including researchers, academics, engineers, and industry professionals.

MODELS 2025 is a forum for participants to share the latest research and practical experiences around modeling, modeling languages, and model-based software and systems engineering. Respective contributions advance the fundamentals of modeling and report applications of modeling in areas such as cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability.

MODELS is introducing, for the first time, the New Ideas and Emerging Results (NIER) track, aiming to provide a dedicated forum for visionary, thought-provoking, and forward-looking research in the field of model-driven engineering (MDE). This new track aims to showcase early-stage research, novel ideas, and innovative approaches that have the potential to shape the future of the discipline.

The NIER track welcomes submissions that explore bold hypotheses, unconventional methodologies, and interdisciplinary perspectives, fostering discussions that challenge the status quo and open new avenues for exploration. By including the NIER track, MODELS seeks to encourage early feedback, spark collaborations, and accelerate the adoption of groundbreaking concepts, strengthening its role as a leading venue for innovation in MDE.

Topics of Interest

MODELS 2025 solicits submissions on a variety of topics related to modeling for software and systems engineering including, but not limited to:

  • Fundamentals of model-based engineering, including the definition of syntax and semantics of modeling languages and model transformation languages.
  • New paradigms, formalisms, applications, approaches, frameworks, or processes for model-based engineering such as low-code/no-code development, digital twins, etc.
  • Definition, use, and analysis of model-based generative and re-engineering approaches.
  • Model-based monitoring, analysis, and adaptation heading towards intelligent systems.
  • Development of model-based systems engineering approaches and modeling-in-the-large, including interdisciplinary engineering and coordination.
  • Applications of AI to model-related engineering problems, e.g., approaches based on search, machine learning, large language models (AI for modeling).
  • Model-based engineering foundations for AI-based systems (modeling for AI).
  • Human and organizational factors in model-based engineering.
  • Tools, meta-tools, and language workbenches for model-based engineering, including model management and scalable model repositories.
  • Hybrid multi-modeling approaches, i.e., integration of various modeling languages and their tools.
  • Evaluation and comparison of modeling languages, techniques, and tools.
  • Quality assurance (analysis, testing, verification, fidelity assessment) for functional and non-functional properties of models and model transformations.
  • Collaborative modeling to address team management issues, e.g., browser-based and cloud-enabled collaboration.
  • Evolution of modeling languages and related standards.
  • Modeling education, e.g., delivery methods and curriculum design.
  • Modeling in software engineering, e.g., applications of models to address common software engineering challenges.
  • Modeling for specific challenges such as collaboration, scalability, security, interoperability, adaptability, flexibility, maintainability, dependability, reuse, energy efficiency, sustainability, and uncertainty.
  • Modeling with, and for, novel systems and paradigms in fields such as security, cyber-physical systems (CPSs), the Internet of Things, cloud computing, DevOps, blockchain technology, data analytics, data science, machine learning, Big Data, systems engineering, socio-technical systems, critical infrastructures and services, robotics, mobile applications, conversational agents, and open-source software.
  • Empirical studies on the application of model-based engineering in areas such as smart manufacturing, smart cities, smart enterprises, smart mobility, smart society, etc.
Dates
Tracks

This program is tentative and subject to change.

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

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

Hybrid

11:00
18m
Talk
A Method for Model-Driven Engineering of Digital Twins in ManufacturingPT@In Person
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 TwinsIn Person
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 EngineeringIn Person
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 liftingIn Person
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 NotationRemote
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
11:00 - 12:30
Session 2: Model-Driven Engineering Foundations and EvolutionJournal-First / Research Papers / New Ideas and Emerging Results (NIER) at DCIH 507

Hybrid

11:00
18m
Talk
Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworksPT@In Person
Research Papers
Bjoern Annighoefer University of Stuttgart, Vanessa Tietz University of Stuttgart, Germany
11:18
18m
Talk
The State of Model Driven Development 29 Years After Completing the SISU ProjectPT@In Person
Research Papers
Stein Erik Ellevseth ABB Retired Researcher, Peter Herrmann Norwegian University of Science and Technology (NTNU), Emmanuel Gaudin PragmaDev, Paris, Juergen Dingel Queen's University, Kingston, Ontario
11:36
18m
Talk
Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryFT@In Person
Research Papers
Marcel Homolka ISSE, Luciano Marchezan DIRO, University of Montreal, Wesley Assunção North Carolina State University, Alexander Egyed Johannes Kepler University Linz
11:54
18m
Talk
Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate AnalysisRemote
New Ideas and Emerging Results (NIER)
Willian Bolzan Federal Institute of Santa Catarina - IFSC, Robson Keemps da silva Federal Institute of Mato Grosso - IFMT, Kleinner Farias University of Vale do Rio dos Sinos (UNISINOS)
12:12
18m
Talk
Modeling the obsolescence of modelsRemote
Journal-First
Iván Alfonso 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, Jordi Cabot Luxembourg Institute of Science and Technology
DOI
14:00 - 15:30
Session 3: Large Language Models and ModelingResearch Papers / New Ideas and Emerging Results (NIER) at DCIH 102

Hybrid

14:00
18m
Talk
MCeT: Behavioral Model Correctness Evaluation using Large Language ModelsFT@In Person
Research Papers
Khaled Ahmed Huawei Research Canada, University of British Columbia (UBC), 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
Towards LLM-enhanced Conflict Detection and Resolution in Model VersioningIn Person
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
14:36
18m
Talk
Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented GenerationIn Person
New Ideas and Emerging Results (NIER)
Nazanin Siavash University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
14:54
18m
Talk
SHERPA: A Model-Driven Framework for Large Language Model Execution@RemoteFT
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
15:12
18m
Talk
Accurate and Consistent Graph Model Generation from Text with Large Language Models@RemoteFT
Research Papers
Boqi Chen McGill University, Ou Wei Huawei Technologies Canada, Bingzhou Zheng Huawei Technologies Canada, Gunter Mussbacher McGill University
Pre-print
14:00 - 15:30
Session 4: Model Transformation, Verification, and AnalysisResearch Papers / New Ideas and Emerging Results (NIER) / Journal-First at DCIH 507

Hybrid

14:00
18m
Talk
Translating Behavior Trees to Petri Nets for Model CheckingFT@In Person
Research Papers
Matteo Palmas Bosch Research, Robert Bosch GmbH, Michaela Klauck Bosch Research, Robert Bosch GmbH, Ralph Lange Bosch Research, Robert Bosch GmbH, Enrico Ghiorzi University of Genoa, Armando Tacchella University of Genoa
14:18
18m
Talk
Vision: An Extensible Methodology for Formal Software Verification in Microservice SystemsIn Person
New Ideas and Emerging Results (NIER)
Connor Wojtak University of Arizona, Darek Gajewski University of Arizona, Tucson, Arizona, USA, Tomas Cerny University of Arizona
14:36
18m
Talk
Automata Models for Effective Bug DescriptionFT@In Person
Research Papers
Tom Yaacov Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, Gal Amram IBM Research, Avi Hayoun Ben-Gurion University of the Negev
14:54
18m
Talk
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time@RemoteFT
Research Papers
Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences, Harald König FHDW Hannover, Western Norway University of Applied Sciences, Francisco Durán University of Málaga, Spain
Pre-print
15:12
18m
Talk
A framework for evaluating tool support for co-evolution of modeling languages, tools and modelsRemote
Journal-First
DOI
16:00 - 17:30
Session 5: Quality Assurance and Model ManagementNew Ideas and Emerging Results (NIER) / Research Papers / Journal-First at DCIH 102

Hybrid

16:00
18m
Talk
Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical SystemsFT@In Person
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
16:18
18m
Talk
Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial ModelsPT@In Person
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 SoftwareIn Person
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
Pre-print
16:54
18m
Talk
A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories@RemoteFT
Research Papers
17:12
18m
Talk
Modeling with Gentleman: a web-based projectional editorRemote
Journal-First
Louis-Edouard Lafontant University of Montreal, Eugene Syriani Université de Montréal
DOI

Thu 9 Oct

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

11:00 - 12:30
Session 6: Models in Software Engineering PipelinesResearch Papers / Journal-First at DCIH 102

Hybrid

11:00
18m
Talk
A Metamodel for Reengineering CI/CD PipelinesFT@In Person
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@In Person
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
Automating the Development of API-Based Generators Using Code Idioms MiningIn Person
Journal-First
DOI
11:54
18m
Talk
A Knowledge-based Approach for Guided Development of Infrastructure-as-CodeRemote
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
Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy@RemoteFT
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:00 - 12:30
Session 7: Security, Validation, and Smart ContractsJournal-First / Research Papers at DCIH 507

Hybrid

11:00
18m
Talk
Modal Abstractions for Smart Contract ValidationFT@In Person
Research Papers
Javier Godoy Departamento de Computacion. FCEyN. UBA, Margarita Capretto IMDEA Software Institute and Universidad Politécnica de Madrid, Martin Ceresa Input Output -- IMDEA Software Institute, Juan Pablo Galeotti Universidad de Buenos Aires, Diego Garbervetsky Universidad de Buenos Aires, César Sánchez IMDEA Software Institute, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
11:18
18m
Talk
Mining Frequent Structures in Conceptual ModelsRemote
Journal-First
Mattia Fumagalli Free University of Bozen-Bolzano, Tiago Prince Sales University of Twente, Pedro Paulo Barcelos , Giovanni Micale , Philipp-Lorenz Glaser Business Informatics Group, TU Wien, Dominik Bork TU Wien, Vadim Zaytsev University of Twente, Diego Calvanese , Giancarlo Guizzardi Universiteit Twente
DOI
11:36
18m
Talk
Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaPT@In Person
Research Papers
Peihao Yang Harbin Institute of Technology; Zhengzhou Research Institude, Harbin Institute of Technology, Tiantian Wang Harbin Institute of Technology, Ming Yang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology
11:54
18m
Talk
Diagrammatic physical robot modelsRemote
Journal-First
DOI
12:12
18m
Talk
How fair are we? From conceptualization to automated assessment of fairness definitionsRemote
Journal-First
Giordano d'Aloisio University of L'Aquila, Claudio Di Sipio University of L'Aquila, Antinisca Di Marco University of L'Aquila, Davide Di Ruscio University of L'Aquila
DOI

Fri 10 Oct

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

14:00 - 15:30
Session 8: Runtime Models and AutomationNew Ideas and Emerging Results (NIER) / Research Papers / Journal-First at DCIH 102

Hybrid

14:00
15m
Talk
Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin webIn Person
Journal-First
DOI
14:15
15m
Talk
Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning AgentsIn Person
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 assessmentRemote
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 TouchRemote
Journal-First
DOI
15:00
15m
Talk
An Ecosystem of DSMLs for Building CommissioningPT@Remote
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
Pre-print
15:15
15m
Talk
Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance@RemoteFT
Research Papers
Kyanna Dagenais McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)

Call for Contributions

NIER papers describe original, non-conventional research positions in modeling or model-driven engineering and/or approaches that deviate from standard practice. They describe well-defined revolutionary research ideas that are in the early stage of the investigation that challenge the state of the art and open new avenues for exploration. They might provide evidence that common wisdom should be challenged, present unifying theories about existing modeling research that can provide new insights or lead to the development of new technologies or approaches, explore bold hypotheses, unconventional methodologies, or apply modeling technology to unprecedented application areas.

Evaluation Criteria

New ideas and emerging results papers will be assessed primarily on their degree of originality and potential for advancing innovation in the field. As such, new ideas and emerging results are expected to provide a compelling and revolutionary argument.

Note that this category is not intended for foundation or practice papers without sufficient evaluation. Such papers will not be accepted.

Submissions must clearly describe shortcomings of the state-of-the-art and the relevance, correctness, and impact of the idea. New ideas and emerging results need to be fully worked out, even if a detailed roadmap does not need to be provided.

The use of worked-out examples to support new ideas is strongly encouraged. Authors are also strongly encouraged to make any artifacts publicly available, e.g., via a Git repository or an alternative that is expected to provide long-term availability.

Submission process

The submission process for the MODELS 2025 NIER Track follows a double-anonymous review process in which authors will not be identified to reviewers and reviewers will not be identified to authors. Thus, no submission may reveal the identity of its authors and authors must make every effort to comply with the double-anonymous review process.

NIER paper must not exceed 6 pages for the main text, including all figures, tables, appendices, etc. One more page containing only references is permitted. Note that the page limit applies to the final, non-anonymous version; hence a submitted version cannot exhaust the page limit unless it uses blank space for any author information that was removed.

All submissions must be in PDF format. The page limit is strict; it will not be possible to purchase additional pages at any stage of the process.

A double-anonymous review process will be used for the NIER Track. Therefore, no submission may reveal the identity of the authors. Authors must make every effort to comply with the double-anonymous review process. In particular:

  • Authors’ names must not be mentioned in the submission.
  • All references to the author’s previous work should be in the third person.
  • While authors have the right to upload preprints on ArXiV or similar sites, they should not indicate that the manuscript was submitted to MODELS 2025.
  • If data is made available to the program committee (by uploading supplemental material or a link to a repository), this data must also not reveal the identity of the authors.

Papers must be submitted electronically through the MODELS 2025 NIER EasyChair web page.

Submissions must conform to the IEEE formatting instructions.

Please note the IEEE Authors Rights and Responsibilities.

Finally, IEEE requires the use of ORCIDs. LaTeX users should use the “orcidlink” package, \hypersetup{pdfborder={0 0 0}}, and \orcidlink{XXXX-XXXX-XXXX-XXXX} after each author name.

Important Dates

All submission dates are at 23:59 AoE (Anywhere on Earth).

  • Abstract Submission: July 1st, 2025
  • Paper Submission: July 8th, 2025
  • Author notification: August 19th, 2025
  • Camera Ready Due: September 2nd, 2025

Submission deadlines are hard, i.e., there will be no submission deadline extensions.

Questions? Use the MODELS New Ideas and Emerging Results (NIER) contact form.