


default search action
MODELS 2025: Grand Rapids, MI, USA - Companion
- 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2025 - Companion, Grand Rapids, MI, USA, October 5-10, 2025. IEEE 2025, ISBN 979-8-3315-7990-6

- Joseph M. Vanliew, Erik M. Fredericks, Byron DeVries:

Introducing MyPetri.net: A Petri Net Editor and Simulator for Students. 3-10 - Maryangela White, Jaya Surya Bontha, Sudipto Ghosh, Marcia Moraes, Anne M. Cleary, Mohammed Safayet Arefin:

Learning Software Modeling with Virtual Reality. 11-18 - Shalini Chakraborty, Lola Burgueño, Nathalie Moreno, Javier Troya, Paula Muñoz:

Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education. 19-26 - Gagandeep Singh, Gunter Mussbacher:

Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models. 27-34 - Clara Ayora, Jose Luis de la Vara, Beatriz Marín, Giovanni Giachetti:

Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAI. 35-38 - Iván Alfonso, Jordi Cabot:

Teaching low-code development with BESSER. 39-42 - Charlotte Verbruggen, Lukas Netz, Philipp-Lorenz Glaser, Marion Scholz, Christian Huemer, Marco Calamo, Bernhard Rumpe, Monique Snoeck, Dominik Bork:

Toward a Community-Curated Golden Dataset of UML Models. 43-50 - Hugo Da Gião:

A Model-Driven Approach for CI/CD. 52-58 - Bernhard Schenkenfelder:

LLM-Based Generation of Low-Code Development Platforms. 59-64 - Adam Blanchet:

Towards Efficient Offline Incremental Model-to-Text Transformations. 65-70 - Leonard Tudorache:

Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification. 71-76 - Felix Neubauer, Benjamin Uekermann, Jürgen Pleiss:

AI-assisted JSON Schema Creation and Mapping. 79-83 - Abdelhamid Rouatbi, Eugene Syriani, Bentley Oakes:

DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins. 84-88 - Ionut Predoaia, Dimitrios S. Kolovos, Antonio García-Domínguez:

Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors. 89-93 - Joshua Alele-Beals, Ali Ebnenasir, Charles Wallace:

Model based tools for inquiry into expungement law. 94-98 - Constantin Buschhaus, Lukas Netz, Bernhard Rumpe, Max Stachon, Sebastian Stüber:

Semantic Analysis of Domain Model Evolution in Model-Driven Software Development. 99-103 - Pierre Maier, Daniel Töpel:

XModelerML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment. 104-108 - Malte Heithoff, Minh Trinh, Judith Michael, Bernhard Rumpe, Christian Brecher:

A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models. 113-124 - Corentin Friedrich, Andres Lombana, Jérôme Fasquel, Charlie Schlick, Nora Bennani, Mouhcine Mendil:

CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins. 125-128 - Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon:

DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins. 129-133 - Bran Selic:

Digital Human Twin - A Human-Centric Extension of the Digital Twin Idiom. 134-138 - Kérian Fiter, Louis Malassigné-Onfroy, Bentley Oakes:

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting. 139-143 - Jasper Albert Adriaan Van Den Barg, Victoria Degeler:

Earth Science Digital Twins: A Systematic Literature Review. 144-155 - Avadhut Sardeshmukh, Garima Jain, Tharun Tammali, Souvik Barat, Vinay Kulkarni:

Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization. 156-166 - Pierre-Emmanuel Goffi, Raphaël Tremblay, Bentley Oakes:

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling. 167-173 - Stefan Ramdhan, Winnie Trandinh, Istvan David, Vera Pantelic, Mark Lawford:

Engineering Automotive Digital Twins on Standardized Architectures: A Case Study. 174-180 - Benoît Combemale, Pascale Vicat-Blanc, Arnaud Blouin, Hind Bril El Haouzi, Jean-Michel Bruel, Julien Deantoni, Thierry Duval, Sébastien Gérard, Jean-Marc Jézéquel:

Engineering Digital Twins: A Research Roadmap. 181-188 - Kevin Delcourt, Luc Stafford, Houari A. Sahraoui:

Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition. 189-195 - Sahil Salma, Zenan Zha, Protik Mukherjee, Sadaf Mustafiz:

Engineering Digital Twins with Statecharts: A Smart Home Application. 196-202 - Orlando Lopez, Jeff Buchsbaum, Elena Sizikova, Noffisat Oki, Sepideh Mazrouee, Julia Berzhanskaya, Siddharth Shenoy:

Engineering Fit-for-Implementation Digital Twins Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact. 203-209 - Tarek Alskaif, Önder Babur, Francis Bordeleau, Loek Cleophas, Benoît Combemale, Joachim Denil, Øystein Haugen, Judith Michael, Phu Nguyen, Tiberiu Seceleanu, Mark van den Brand, Hans Vangheluwe:

Evolution at the Core of Digital Twin Engineering. 210-216 - Joost Mertens, Joachim Denil:

Lab-Scale Gantry Crane Digital Twin Exemplar. 217-223 - Philipp Zech, Simon Senoner, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Judith Michael:

Model-driven Digital Twins for AECO. 224-235 - Pranjay Yelkotwar, Rohit Raj, Aryan Pingle, Prasad Talasila, Neena Goveas:

On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms. 236-242 - Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Pascal Archambault, Jean-Michel Bruel, Lola Burgueño, Betty H. C. Cheng, Loek Cleophas, Gregor Engels, Damien Foures, Stefan Klikovits, Vinay Kulkarni, Judith Michael, Sébastien Mosser, Houari A. Sahraoui, Eugene Syriani, Andreas Wortmann:

On the Challenges of Integrating Digital Twins. 243-249 - Mikkel Schmidt Andersen, Cláudio Gomes, Sophia Thompson, Peter Gorm Larsen:

Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. 250-256 - Eduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl:

Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring. 257-263 - Philipp Gritsch, Deniz Pierer, Luca Berardinelli, Michael Felderer, Sashko Ristov:

Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds. 264-275 - Martin Leucker, Daniel Thoma, Lars Bernd Vosteen:

TwinLang - A Digital Twin Modelling and Management Language. 276-288 - Arturo Miguel Russell Bernal, Maureen Petterson, Pedro Alarcon Granadeno, Michael Murphy, James Mason, Jane Cleland-Huang:

Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations. 289-299 - Farzaneh Kargozari, Sanaa A. Alwidian:

A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles. 301-310 - Yaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Yong Zhou, Zonghua Gu:

Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical Software. 311-321 - Øystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens:

DarTwin made precise by SysMLv2 - An Experiment. 322-332 - Jawher Jerray, Bastien Sultan, Ludovic Apvrille:

Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems. 333-344 - Sebastian Bergemann, Andreas Bayha, Derui Zhu, Mohammad Sadeghi, Colin Atkinson, Alexander Pretschner:

Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems. 345-356 - Richard A. Qualis:

Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning Framework. 357-366 - Maged Elaasar, Abdelwahab Hamou-Lhadj, Bentley Oakes, Mohammad Hamdaqa:

Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges. 367-376 - Emmanuel Charleson Dapaah, Jens Grabowski:

Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation Framework. 377-385 - Antonio Bucchiarone, Benoît Combemale, Alfonso Pierantonio, Nelly Bencomo, Mark van den Brand, Jean-Michel Bruel, Antonio Cicchetti, Juri Di Rocco, Leen Lambers, Judith Michael, Bernhard Rumpe, Mikael Sjödin, Gabriele Taentzer, Matthias Tichy, Hans Vangheluwe, Manuel Wimmer, Steffen Zschaler:

Modeling: The Heart and Soul of Engineering Smart Ecosystems. 386-393 - Mihal Brumbulli, Emmanuel Gaudin:

Optimizing Industrial Operations through Business Process Formalization. 394-399 - Hamza Haoui, Bianca Wiesmayr, David Hästbacka, Kari Systä:

Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario. 400-410 - Christian Seifert, Christian Steger, Tiberio Fanti:

The DESIRE methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation. 411-420 - Zakaria Hachm, Théo Le Calvar, Hugo Bruneliere, Massimo Tisi:

Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection. 421-431 - Zaki Pauzi, Andrea Capiluppi:

Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS Projects. 432-438 - Mohamadreza Sabeghi, Richard F. Paige, Dimitris Kolovos:

GEM: Towards a Model-Driven Graphical Editor Migration Framework. 441-446 - Thomas Weber, Johan Cederbladh, Sebastian Weber, Arne Lange, Antonio Cicchetti, Ralf H. Reussner:

How and Why is Change Modeled? - A Scoping Literature Review. 447-456 - Nidhal Selmi, Jean-Michel Bruel, Sébastien Mosser, Matthieu Crespo:

Towards Model-Based Decision-Telling: Design Evolution Through Decision Nodes. 457-461 - Hesham ElAbd, Juergen Dingel, Robert Lee, Ali Tizghadam:

YANG-APR: Towards Supporting Evolution in Model-driven Network Management Systems. 462-467 - Léo Olivier, Kirollos M. Morcos, Marcos Didonet Del Fabro, Sébastien Gérard:

A Local-First Collaborative Modeling Approach with Replicated Data Types. 472-481 - Foluke Olatoye, Cynthia Odili, Jafaru Musa Egieya:

Bridging Expertise Gaps in the WEF Nexus through Participatory Modeling: Insights from Oyo State, Southwest Nigeria. 482-486 - Björn Annighöfer, Nicolai Maisch, Andreas Wortmann:

Challenges of Collaborative MBSE in the Presence of Practical Intellectual Property Requirements. 487-491 - Ryan Schuerkamp, Philippe J. Giabbanelli:

Combining and Simplifying the Mental Models of Participants: An Edge Centrality-Based Method for Fuzzy Cognitive Maps. 492-501 - Yuhong Fu, Georg Grossmann, Karamjit Kaur, Matt Selway, Markus Stumptner:

Conflict Management for Multi-Level Models in Collaborative Modelling Environments. 502-511 - Stephen Zhong, Nathalie Japkowicz, Philippe J. Giabbanelli:

Do we Still Need People? Comparing Human and LLM Personas in Political Modeling and Simulation. 512-521 - Marko Mijalkovic, Vicheka Oeun, Istvan David, Sadaf Mustafiz:

Towards Ontology-Driven User Experience Assessment of Collaborative Modeling Tools. 522-531 - Johan Cederbladh, Jakob Norin:

User Perceptions of Code and Model Generation with Simulink in Industrial Settings - A Survey. 532-536 - Giacomo Garaccione, Diego Maria Calabrese, Riccardo Coppola, Luca Ardito:

A comparison of different Large Language Models for the generation of UML class diagrams. 541-545 - Henrik Eckhardt, Jens Kosiol:

Comparing High- and Low-Level Model Representations for Evolutionary Algorithms. 546-555 - Vittoriano Muttillo, Romina Eramo, Riccardo Rubei, Luca Berardinelli:

Coupling LLMs and Model-Driven Engineering to Support Synthetic Generation of BPMN Artifacts. 556-565 - Ahmad Hatahet, Christoph Knieke, Andreas Rausch:

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model. 566-575 - Duy Dao, Alessio Bucaioni, Antonio Cicchetti:

Learning to Transform: Evaluating LLMs on Model Transformation by Example. 576-585 - Fengjunjie Pan, Nenad Petrovic, Vahid Zolfaghari, Long Wen, Alois Knoll:

LLM-enabled Instance Model Generation. 586-595 - Tiago Sousa, Nicolas Guelfi, Benoît Ries:

Modeling AI-Driven Workflows for Ecosystem Resilience Prediction. 596-606 - Sandra Greiner, Judi Abdullah, Timo Kehrer:

On the Generalization Capabilities of LLMs for Reverse Engineering Sequence Diagrams. 607-616 - Sol Zilberman, Betty H. C. Cheng:

PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles. 617-626 - Jan Gladiné, Bert Van Acker, Joachim Denil:

Towards Safety in Machine Learning Using Validity Frames. 627-635 - Lukas Netz, Finn Kampe, Jan Reimer, Bernhard Rumpe:

Unintended Changes: How LLMs Corrupt and Correct Textual Models. 636-645 - Rahmanu Hermawan, Alessio Bucaioni, Eduard Enoiu, Wasif Afzal:

Benchmarking Large Language Models for Root Cause Analysis in Train Control Software Testing. 648-657 - Sebastian Daag, Johan Cederbladh:

Investigating Simulation for Safety Analysis of Battery Systems in an Active Solar Car Project. 658-662 - Romain Pascual, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, Terru Stübinger:

Towards Examining the Complexity of Consistency. 663-672 - Yon Vanommeslaeghe, Bert Van Acker, Paul De Meulenaere:

Towards Seamless Processor-In-The-Loop Testing With FMI 3.0. 673-677 - Erik M. Fredericks, Byron DeVries:

Towards Distributing Effort in Validating Run-Time Models for Internet of Things Architectures. 678-682 - Karl Kegel, Romain Pascual, Kevin Feichtinger, Andreas Domanowski, Marie Clausnitzer, Uwe Aßmann:

A Conceptual Framework for Fine-Grained Quality Assessment in Version Graphs. 683-692 - Johan Cederbladh, Thomas C. Zimmermann:

A Critique of the Authoritative Source of Truth Concept in Model-Based Systems Engineering. 693-697 - Juha-Pekka Tolvanen, Steven Kelly:

Domain-Specific Modeling Solution in MetaEdit+ for the Model Management Challenge. 698-706 - Arkadiusz Rys, Yon Vanommeslaeghe, Milan Cornelis, Bert Van Acker, Paul De Meulenaere, Hans Vangheluwe:

Extending Version Control Systems to Ensure Semantic Model Consistency. 707-716 - Hossain Muhammad Muctadir, Yanyifan Liao, Loek Cleophas:

Model Consistency Management of a Brewery Digital Twin. 717-721 - Benedikt Jutz, Thomas Weber, Arne Lange, Razieh Dehghani, Bowen Jiang, Martin Armbruster, Kevin Feichtinger, Nathan Hagel, Minakshi Kaushik, Lars König, Manar Mazkatli, Muhammad Asim Minhas, Dirk Neumann, Erik Burger, Anne Koziolek, Ralf H. Reussner:

Modeling the MoM 2025 Satellite Configuration Challenge with Vitruvius. 722-731 - Hiba Hnaini, Chahrazed Boudjemila, Sylvain Guérin:

Openflexo as a Model Management Platform for the MoM 2025 Satellite Configuration Challenge. 732-741 - Thomas Weber, Katrin Quellmalz, Laurin Benz, Sebastian Weber, Erik Burger, Ralf H. Reussner:

Towards the Derivation of Encryption Rules for Encryption-Based Access Control for Delta-Based Model Representations - The DEBAC Approach. 742-751 - Lars König, Daniel Ritz, Erik Burger:

Transforming Relational Model Queries to Triple Graph Grammars. 752-761 - Benedikt Jutz, Zenon G. Zacouris, Thomas Weber, Erik Burger, Maribel Acosta, Ralf H. Reussner:

What can we learn from other Domains - Towards an Exploratory Process for the Extension of a Language based on Cross-Domain Knowledge Transfer. 765-771 - Kevin Lano, Shekoufeh Kolahdouz Rahimi, Qiaomu Xue:

Sustainability Implications of Large Language Model use in Model-Driven Engineering. 772-776 - Sándor Bácsi, Gergely Mezei:

Bridging Requirements and Configurations: A Multi-Level Approach to System Design. 780-784 - Razieh Dehghani, Anne Koziolek:

Consistent Modeling of Agility: Applications of Flexible Multi-Level Modeling. 785-792 - Thomas Kühne, Arne Lange:

Deep Specialization Integrating Powertypes into Deep Modeling. 793-802 - Ulrich Frank, Pierre Maier:

From the Lowlands of UML to the Highlands of MLM: An Evolutionary, Tool-Supported Multi-Level Method for Teaching Multi-Level Modeling. 803-812 - Mira Balaban, Azzam Maraee, Arnon Sturm:

Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USE. 813-822 - Pooja Diwakar Pandit, Joe Gregory, Hunter Fiore, Alejandro Salado:

An Ontological Representation of the UML Testing Profile for Digital Test and Evaluation. 825-833 - Lewis Humphries, Gianmaria Bullegas, John Golledge, Campbell Mccausland, Donald Taylor, Dimitrios S. Kolovos, Antonio García-Domínguez, Simos Gerasimou:

Integrated Knowledge Centric Engineering: Delivering next-generation aircraft projects at pace. 834-843 - Yuta Nakajima, Haruhi Katsumata, Daiki Tate, Yutaka Komatsu, Aaron Levitt, J. Steven Jenkins, Maged Elaasar, Nicolas F. Rouquette, David A. Wagner:

openCAESAR Application to Power Balance Analysis in Early Space Mission Formulation. 844-852 - Yuta Nakajima, Atsushi Wada, Yutaka Komatsu, Maged Elaasar, J. Steven Jenkins, David A. Wagner:

Power of a Reasoner: Model Validation for SysML Model using openCAESAR. 853-857 - Owen James Reynolds, Antonio García-Domínguez, Dimitrios S. Kolovos, Gianmaria Bullegas, Campbell McCausland:

Towards bridging ontological and closed-world modelling with synchronised EMF views of RDF models. 858-867

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














