New Ideas and Emerging Results (NIER)MODELS 2025
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.
This program is tentative and subject to change.
Wed 8 OctDisplayed 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | An architecture for coupled digital twins with semantic lifting Journal-First DOI | ||
12:12 18mTalk | 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 |
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 18mTalk | Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworksPT Research Papers | ||
11:18 18mTalk | The State of Model Driven Development 29 Years After Completing the SISU ProjectPT 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 18mTalk | Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryFT 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 18mTalk | Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis 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 18mTalk | Modeling the obsolescence of models 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 18mTalk | MCeT: Behavioral Model Correctness Evaluation using Large Language ModelsFT 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 18mTalk | 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 | ||
14:36 18mTalk | 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 | ||
14:54 18mTalk | SHERPA: A Model-Driven Framework for Large Language Model Execution 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 18mTalk | Accurate and Consistent Graph Model Generation from Text with Large Language Models 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 18mTalk | Translating Behavior Trees to Petri Nets for Model CheckingFT 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 18mTalk | Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems 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 18mTalk | Automata Models for Effective Bug DescriptionFT 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 18mTalk | Towards the Coordination and Verification of Heterogeneous Systems with Data and Time 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 18mTalk | A framework for evaluating tool support for co-evolution of modeling languages, tools and models Journal-First Juha-Pekka Tolvanen MetaCase, Steven Kelly MetaCase, Juri Di Rocco University of L'Aquila, Alfonso Pierantonio , Giordano Tinella DOI |
16:00 - 17:30 | |||
16:00 15mTalk | Model based tools for inquiry into expungement law Tools and Demonstrations | ||
16:15 15mTalk | DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins Tools and Demonstrations Abdelhamid Rouatbi DIRO, University of Montreal, Eugene Syriani Université de Montréal, Bentley Oakes Polytechnique Montréal Pre-print | ||
16:30 15mTalk | Semantic Analysis of Domain Model Evolution in Model-Driven Software Development Tools and Demonstrations | ||
16:45 15mTalk | XModelerML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment Tools and Demonstrations | ||
17:00 15mTalk | AI-assisted JSON Schema Creation and Mapping Tools and Demonstrations | ||
17:15 15mTalk | Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors Tools and Demonstrations |
Thu 9 OctDisplayed 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 18mTalk | 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 18mTalk | 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 18mTalk | Automating the Development of API-Based Generators Using Code Idioms Mining Journal-First DOI | ||
11:54 18mTalk | 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 18mTalk | Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy 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 18mTalk | Modal Abstractions for Smart Contract ValidationFT 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 18mTalk | Mining Frequent Structures in Conceptual Models 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 18mTalk | Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaPT 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 18mTalk | Diagrammatic physical robot models Journal-First Alvaro Miyazawa , Sharar Ahmadi , Ana Cavalcanti University of York, James Baxter , Mark Post , Pedro Ribeiro University of York, UK, Jon Timmis , Thomas Wright DOI | ||
12:12 18mTalk | How fair are we? From conceptualization to automated assessment of fairness definitions 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 OctDisplayed time zone: Eastern Time (US & Canada) change
Accepted Papers
Title | |
---|---|
A Container-based Approach For Proactive Asset Administration Shell Digital Twins New Ideas and Emerging Results (NIER) | |
Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning Agents New Ideas and Emerging Results (NIER) | |
Effects of Model Merge on Developers’ Brain Dynamics: An EEG Microstate Analysis New Ideas and Emerging Results (NIER) | |
Inclusive Model-Driven Engineering for Accessible Software New Ideas and Emerging Results (NIER) Pre-print | |
Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation New Ideas and Emerging Results (NIER) | |
Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning New Ideas and Emerging Results (NIER) | |
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems New Ideas and Emerging Results (NIER) |
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.