About

Important Dates

• Abstract Submission: March 27, 2025
• Paper Submission: April 3, 2025
• Author responses: June 3–5, 2025
• Author notification: June 24, 2025
• Camera Ready Due: August 7, 2025

Topics of Interest

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

As in previous years, MODELS 2025 offers two tracks for technical papers: the Foundations Track and the Practice Track. A detailed description of these tracks can be found on the Foundations Track and Practice Track pages, respectively.

Accepted Papers

	Title
	Accurate and Consistent Graph Model Generation from Text with Large Language ModelsFT Research Papers Boqi Chen, Ou Wei, Bingzhou Zheng, Gunter Mussbacher Pre-print
	A Metamodel for Reengineering CI/CD PipelinesFT Research Papers Hugo da Gião, Jácome Cunha, Rui Pereira, André Flores, Vasco Amaral, Gregor Engels, Stefan Sauer
	A Method for Model-Driven Engineering of Digital Twins in ManufacturingPT Research Papers Malte Heithoff, Judith Michael, Bernhard Rumpe, Jérôme Pfeiffer, Andreas Wortmann, Jingxi Zhang Pre-print
	A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model RepositoriesFT Research Papers Andjela Djelic, Syed Juned Ali, Charlotte Verbruggen, Julia Neidhardt, Dominik Bork
	An Ecosystem of DSMLs for Building CommissioningPT Research Papers Philipp Zech, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Philipp Pobitzer, Judith Michael, Ruth Breu Pre-print
	Automata Models for Effective Bug DescriptionFT Research Papers Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun
	Common modeling concepts and a command interface towards bisimilar behavior of different domain-specific modeling frameworksPT Research Papers Bjoern Annighoefer, Vanessa Tietz
	Complex Model Transformations by Reinforcement Learning with Uncertain Human GuidanceFT Research Papers Kyanna Dagenais, Istvan David
	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, África Domingo, Jorge Echeverria, Lorena Arcega, Carlos Cetina
	Going from the Past back to the Future: Incrementally Reconstructing a Metamodel HistoryFT Research Papers Marcel Homolka, Luciano Marchezan, Wesley Assunção, Alexander Egyed
	Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic RedundancyFT Research Papers Ionut Predoaia, Sultan Almutairi, Athanasios Zolotas, Antonio Garcia-Dominguez, Dimitris Kolovos
	MCeT: Behavioral Model Correctness Evaluation using Large Language ModelsFT Research Papers Khaled Ahmed, Jialing Song, Boqi Chen, Ou Wei, Bingzhou Zheng Pre-print
	Modal Abstractions for Smart Contract ValidationFT Research Papers Javier Godoy, Margarita Capretto, Martin Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastian Uchitel
	Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial ModelsPT Research Papers Michael Oberlehner, Bianca Wiesmayr, Alois Zoitl
	SHERPA: A Model-Driven Framework for Large Language Model ExecutionFT Research Papers Boqi Chen, Kua Chen, José Antonio Hernández López, Gunter Mussbacher, Daniel Varro, Amir Feizpour Pre-print
	Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical SystemsFT Research Papers Eric Roslin Wete Poaka, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl
	The Norwegian SISU Project: History and Long-term Impact of an Early MDD EffortPT Research Papers Stein Erik Ellevseth, Peter Herrmann, Emmanuel Gaudin, Juergen Dingel
	Towards the Coordination and Verification of Heterogeneous Systems with Data and TimeFT Research Papers Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán Pre-print
	Translating Behavior Trees to Petri Nets for Model CheckingFT Research Papers Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
	Visual Modeling and Simulation of AUTOSAR Application Layer Models Using ModelicaPT Research Papers Peihao Yang, Tiantian Wang, Ming Yang, Xiaohong Su

About

The goal of the Practice Track is to bridge the gap between foundational research in Model-Based Engineering (MBE) and needs in practice. We invite authors to submit original contributions that report on the application of MBE solutions in the industry, the public sector, or open-source environments. Examples include:

• Demonstrations of scalable and cost-effective methodologies and tools.
• Case studies or field reports offering valuable insights.
• Comparisons of competing approaches in real-world scenarios.

Submissions need to communicate the context of the application and the practical importance of the findings. Unlike the application itself, any reported lessons learned or insights gained must be original.

Evaluation Criteria

A paper in the Practice Track will be evaluated primarily on the potential impact of its findings. Specifically:

• The paper must describe the context of the MBE application and what problem it solves/addresses.
• The paper should include a concise explanation of the approaches, techniques, methodologies, and tools used.
• The paper should report on the efficacy of the application, ideally in comparison to alternatives, and/or what new lessons have been learned or insights have been gained.
• Studies that report negative results must include a thorough discussion of the possible causes of the failure and, ideally, provide a perspective on how to address them.

Authors are encouraged to make artifacts publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below.

Artifact Evaluation

Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software and datasets) to the Artifact Evaluation track to be evaluated by the Artifact Evaluation Committee. Participation in the Artifact Evaluation process is optional and does not affect paper acceptance. Submissions that successfully pass the Artifact Evaluation process will be awarded a seal of approval that will be attached to the papers.

Best Papers

Authors of selected conference papers will be invited to submit revised and extended versions for publication in the International Journal on Software and Systems Modeling (SoSyM).

MODELS 2025 may furthermore recognize the very best Practice Track submissions with a “best paper” award.

Submission Process

The submission process for the MODELS 2025 Practice Track follows a single-anonymous review process in which author names are identified to reviewers and do not need to be removed from the paper. Please consult the submission information section below to prepare your manuscript.

Papers must be submitted electronically through the MODELS 2025 EasyChair web page . Practice papers must not exceed 10 pages for the main text, including all figures, tables, appendices, etc. Two more pages containing only references are permitted.

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.

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.

Please contact the Program Chairs if you have any questions about the submission process.

Author Response Period

MODELS 2025 will offer an author response period for submissions that could potentially benefit from improvements, i.e., have reached a sufficient level of support and may potentially be accepted. In this period, authors may optionally consult the reviews and answer specific questions from the program committee that will inform the subsequent decision-making process.

About

We invite authors to submit high-quality papers describing significant, original, and unpublished results in the following categories:

1. Technical Papers

Technical papers should report on innovative research in modeling or model-driven engineering activities. They should describe a novel contribution to the field and carefully demonstrate the novelty by referencing relevant related literature.

Evaluation Criteria

Technical papers will be evaluated based on originality, soundness, relevance, significance, strength of validation, quality of presentation, and quality of related work discussions.

Submissions must clearly and explicitly describe what is novel about their contribution in comparison to prior work. Results must be validated by formal proofs, rigorous demonstrations (e.g., rigorous case studies or simulations), or empirical evaluations (e.g., controlled experiments or surveys). Authors are strongly encouraged to make the artifacts used for the evaluation publicly available, e.g., via a GitHub repository or an alternative that is expected to provide long-term availability. A respective artifact evaluation process is described below.

Artifact Evaluation

Authors of accepted papers will be invited to submit their accompanying artifacts (e.g., software, datasets, and proofs) to the Artifact Evaluation track to be evaluated by the Artifact Evaluation Committee. Participation in the Artifact Evaluation process is optional and does not affect paper acceptance. Submissions that successfully pass the Artifact Evaluation process will be awarded a seal of approval that will be attached to the papers.

Best Papers

Authors of selected conference papers will be invited to submit revised and extended versions for publication in the International Journal on Software and Systems Modeling (SoSyM). MODELS 2025 will furthermore award the very best submissions with “best paper” awards by ACM and Springer.

Submission Process

The submission process for the MODELS 2025 Foundations 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. Please consult the submission information section below to prepare your manuscript for the double-anonymous process.

Technical papers must not exceed 10 pages for the main text, including all figures, tables, appendices, etc. Two more pages containing only references are 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 Foundations 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 EasyChair web page . Practice papers must not exceed 10 pages for the main text, including all figures, tables, appendices, etc. Two more pages containing only references are permitted.

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.

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.

Please contact the Program Chairs if you have any questions about the submission process.

Author Response Period

MODELS 2025 will offer an author response period for submissions that could potentially benefit from improvements, i.e., have reached a sufficient level of support and may potentially be accepted. In this period, authors may optionally consult the reviews and answer specific questions from the program committee that will inform the subsequent decision-making process.