| 2025 | Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical Software. | Yaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Yong Zhou, Zonghua Gu |
| 2025 | PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles. | Sol Zilberman, Betty H. C. Cheng |
| 2025 | Do we Still Need People? Comparing Human and LLM Personas in Political Modeling and Simulation. | Stephen Zhong, Nathalie Japkowicz, Philippe J. Giabbanelli |
| 2025 | Model-driven Digital Twins for AECO. | Philipp Zech, Simon Senoner, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Judith Michael |
| 2025 | An Ecosystem of DSMLs for Building Commissioning. | Philipp Zech, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Philipp Pobitzer, Judith Michael, Ruth Breu |
| 2025 | On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms. | Pranjay Yelkotwar, Rohit Raj, Aryan Pingle, Prasad Talasila, Neena Goveas |
| 2025 | Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica. | Peihao Yang, Tiantian Wang, Ming Yang, Xiaohong Su |
| 2025 | Automata Models for Effective Bug Pattern Description. | Tom Yaacov, Gera Weiss, Gal Amram, Avi Hayoun |
| 2025 | Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems. | Connor Wojtak, Darek Gajewski, Toms Cern |
| 2025 | Learning Software Modeling with Virtual Reality. | Maryangela White, Jaya Surya Bontha, Sudipto Ghosh, Marcia Moraes, Anne M. Cleary, Mohammed Safayet Arefin |
| 2025 | Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems. | Eric Wete, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl |
| 2025 | Towards the Derivation of Encryption Rules for Encryption-Based Access Control for Delta-Based Model Representations - The DEBAC Approach. | Thomas Weber, Katrin Quellmalz, Laurin Benz, Sebastian Weber, Erik Burger, Ralf Reussner |
| 2025 | How and Why is Change Modeled? - A Scoping Literature Review. | Thomas Weber, Johan Cederbladh, Sebastian Weber, Arne Lange, Antonio Cicchetti, Ralf Reussner |
| 2025 | Toward a Community-Curated Golden Dataset of UML Models. | Charlotte Verbruggen, Lukas Netz, Philipp-Lorenz Glaser, Marion Scholz, Christian Huemer, Marco Calamo, Bernhard Rumpe, Monique Snoeck, Dominik Bork |
| 2025 | Towards Seamless Processor-In-The-Loop Testing With FMI 3.0. | Yon Vanommeslaeghe, Bert Van Acker, Paul De Meulenaere |
| 2025 | Introducing MyPetri.net: A Petri Net Editor and Simulator for Students. | Joseph M. Vanliew, Erik M. Fredericks, Byron DeVries |
| 2025 | Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification. | Leonard Tudorache |
| 2025 | Deepening Our Understanding on the Use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine. | Jose Ignacio Trasobares, frica Domingo, Jorge Echeverra, Lorena Arcega, Carlos Cetina |
| 2025 | Domain-Specific Modeling Solution in MetaEdit+ for the Model Management Challenge. | Juha-Pekka Tolvanen, Steven Kelly |
| 2025 | Modeling AI-Driven Workflows for Ecosystem Resilience Prediction. | Tiago Sousa, Nicolas Guelfi, Benot Ries |
| 2025 | Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models. | Gagandeep Singh, Gunter Mussbacher |
| 2025 | Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation. | Nazanin Siavash, Armin Moin |
| 2025 | Towards Model-Based Decision-Telling: Design Evolution Through Decision Nodes. | Nidhal Selmi, Jean-Michel Bruel, Sbastien Mosser, Matthieu Crespo |
| 2025 | Digital Human Twin - A Human-Centric Extension of the Digital Twin Idiom. | Bran Selic |
| 2025 | The DESIRE methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation. | Christian Seifert, Christian Steger, Tiberio Fanti |