Table of Contents

• ML2++: A Model-Driven Blended Framework for Automated Machine Learning, Time Series Forecasting, and Data Visualization in IoT ApplicationsZahra Mardani Korani, Thimoty Smet, Moharram Challenger, Armin Moin, João Carlos Ferreira, Alberto Rodrigues da Silva, Gonçalo Vitorino Jesus. 1-10 [doi]
• Context-Aware Semantic Model Retrieval using Graph Neural NetworksAlireza Khalilipour, Fatma Bozyigit, Moharram Challenger. 1-10 [doi]
• Introducing MyPetri.net: A Petri Net Editor and Simulator for StudentsJoseph M. Vanliew, Erik M. Fredericks, Byron DeVries. 3-10 [doi]
• Learning Software Modeling with Virtual RealityMaryangela White, Jaya Surya Bontha, Sudipto Ghosh 0001, Marcia Moraes, Anne M. Cleary, Mohammed Safayet Arefin. 11-18 [doi]
• Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling EducationShalini Chakraborty, Lola Burgueño, Nathalie Moreno, Javier Troya, Paula Muñoz 0001. 19-26 [doi]
• Modeling the Full Stack: Frontend and Backend Generation with Extended Domain ModelsGagandeep Singh, Gunter Mussbacher. 27-34 [doi]
• Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAIClara Ayora, Jose Luis de la Vara, Beatriz Marín, Giovanni Giachetti. 35-38 [doi]
• Teaching low-code development with BESSERIván Alfonso, Jordi Cabot. 39-42 [doi]
• Toward a Community-Curated Golden Dataset of UML ModelsCharlotte Verbruggen, Lukas Netz, Philipp-Lorenz Glaser, Marion Scholz, Christian Huemer, Marco Calamo, Bernhard Rumpe, Monique Snoeck, Dominik Bork. 43-50 [doi]
• A Model-Driven Approach for CI/CDHugo Da Gião. 52-58 [doi]
• LLM-Based Generation of Low-Code Development PlatformsBernhard Schenkenfelder. 59-64 [doi]
• Towards Efficient Offline Incremental Model-to-Text TransformationsAdam Blanchet. 65-70 [doi]
• Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security VerificationLeonard Tudorache. 71-76 [doi]
• AI-assisted JSON Schema Creation and MappingFelix Neubauer, Benjamin Uekermann, Jürgen Pleiss. 79-83 [doi]
• DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital TwinsAbdelhamid Rouatbi, Eugene Syriani, Bentley Oakes. 84-88 [doi]
• Graphite: Automated Development of Hybrid Graphical-Textual DSL EditorsIonut Predoaia, Dimitrios S. Kolovos, Antonio García-Domínguez. 89-93 [doi]
• Model based tools for inquiry into expungement lawJoshua Alele-Beals, Ali Ebnenasir, Charles Wallace 0001. 94-98 [doi]
• Semantic Analysis of Domain Model Evolution in Model-Driven Software DevelopmentConstantin Buschhaus, Lukas Netz, Bernhard Rumpe, Max Stachon, Sebastian Stüber. 99-103 [doi]
• ML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution EnvironmentPierre Maier, Daniel Töpel. 104-108 [doi]
• A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction ModelsMalte Heithoff, Minh Trinh, Judith Michael, Bernhard Rumpe, Christian Brecher. 113-124 [doi]
• CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital TwinsCorentin Friedrich, Andres Lombana, Jérôme Fasquel, Charlie Schlick, Nora Bennani, Mouhcine Mendil. 125-128 [doi]
• DesCartes Builder: A Tool to Develop Machine-Learning Based Digital TwinsEduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon. 129-133 [doi]
• Digital Human Twin - A Human-Centric Extension of the Digital Twin IdiomBran Selic. 134-138 [doi]
• DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin ReportingKérian Fiter, Louis Malassigné-Onfroy, Bentley Oakes. 139-143 [doi]
• Earth Science Digital Twins: A Systematic Literature ReviewJasper Albert Adriaan Van Den Barg, Victoria Degeler. 144-155 [doi]
• Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian OptimizationAvadhut Sardeshmukh, Garima Jain, Tharun Tammali, Souvik Barat, Vinay Kulkarni 0001. 156-166 [doi]
• Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation SamplingPierre-Emmanuel Goffi, Raphaël Tremblay, Bentley Oakes. 167-173 [doi]
• Engineering Automotive Digital Twins on Standardized Architectures: A Case StudyStefan Ramdhan, Winnie Trandinh, Istvan David, Vera Pantelic, Mark Lawford. 174-180 [doi]
• Engineering Digital Twins: A Research RoadmapBenoî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. 181-188 [doi]
• Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced DepositionKevin Delcourt, Luc Stafford, Houari A. Sahraoui. 189-195 [doi]
• Engineering Digital Twins with Statecharts: A Smart Home ApplicationSahil Salma, Zenan Zha, Protik Mukherjee, Sadaf Mustafiz. 196-202 [doi]
• Engineering Fit-for-Implementation Digital Twins Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World ImpactOrlando Lopez, Jeff Buchsbaum, Elena Sizikova, Noffisat Oki, Sepideh Mazrouee, Julia Berzhanskaya, Siddharth Shenoy. 203-209 [doi]
• Evolution at the Core of Digital Twin EngineeringTarek 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. 210-216 [doi]
• Lab-Scale Gantry Crane Digital Twin ExemplarJoost Mertens, Joachim Denil. 217-223 [doi]
• Model-driven Digital Twins for AECOPhilipp Zech, Simon Senoner, Emanuele Goldin, Christoph Zallinger, Sascha Hammes, Judith Michael. 224-235 [doi]
• On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin PlatformsPranjay Yelkotwar, Rohit Raj, Aryan Pingle, Prasad Talasila, Neena Goveas. 236-242 [doi]
• On the Challenges of Integrating Digital TwinsBenoî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 0001, Judith Michael, Sébastien Mosser 0001, Houari A. Sahraoui, Eugene Syriani, Andreas Wortmann 0001. 243-249 [doi]
• Probabilistic Update Scheduling for Digital Twins: A Semi-Markov ApproachMikkel Schmidt Andersen, Cláudio Gomes 0001, Sophia Thompson, Peter Gorm Larsen. 250-256 [doi]
• Towards Self-Adaptive Data Management in Digital Twins for Biodiversity MonitoringEduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl. 257-263 [doi]
• Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated CloudsPhilipp Gritsch, Deniz Pierer, Luca Berardinelli, Michael Felderer, Sashko Ristov. 264-275 [doi]
• TwinLang - A Digital Twin Modelling and Management LanguageMartin Leucker, Daniel Thoma, Lars Bernd Vosteen. 276-288 [doi]
• Validating Terrain Models in Digital Twins for Trustworthy sUAS OperationsArturo Miguel Russell Bernal, Maureen Petterson, Pedro Alarcon Granadeno, Michael Murphy, James Mason, Jane Cleland-Huang. 289-299 [doi]
• A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous VehiclesFarzaneh Kargozari, Sanaa A. Alwidian. 301-310 [doi]
• Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical SoftwareYaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Yong Zhou, Zonghua Gu 0001. 311-321 [doi]
• DarTwin made precise by SysMLv2 - An ExperimentØystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens. 322-332 [doi]
• Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded SystemsJawher Jerray, Bastien Sultan, Ludovic Apvrille. 333-344 [doi]
• Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking SystemsSebastian Bergemann, Andreas Bayha, Derui Zhu, Mohammad Sadeghi, Colin Atkinson 0001, Alexander Pretschner. 345-356 [doi]
• Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning FrameworkRichard A. Qualis. 357-366 [doi]
• Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and ChallengesMaged Elaasar, Abdelwahab Hamou-Lhadj, Bentley Oakes, Mohammad Hamdaqa. 367-376 [doi]
• Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation FrameworkEmmanuel Charleson Dapaah, Jens Grabowski. 377-385 [doi]
• Modeling: The Heart and Soul of Engineering Smart EcosystemsAntonio 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. 386-393 [doi]
• Optimizing Industrial Operations through Business Process FormalizationMihal Brumbulli, Emmanuel Gaudin. 394-399 [doi]
• Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics ScenarioHamza Haoui, Bianca Wiesmayr, David Hästbacka, Kari Systä. 400-410 [doi]
• The DESIRE methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-AnnotationChristian Seifert, Christian Steger, Tiberio Fanti. 411-420 [doi]
• Towards LLM Agents for Model-Based Engineering: A Case in Transformation SelectionZakaria Hachm, Théo Le Calvar, Hugo Bruneliere, Massimo Tisi. 421-431 [doi]
• Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS ProjectsZaki Pauzi, Andrea Capiluppi. 432-438 [doi]
• GEM: Towards a Model-Driven Graphical Editor Migration FrameworkMohamadreza Sabeghi, Richard F. Paige, Dimitris Kolovos. 441-446 [doi]
• How and Why is Change Modeled? - A Scoping Literature ReviewThomas Weber 0006, Johan Cederbladh, Sebastian Weber 0001, Arne Lange, Antonio Cicchetti, Ralf H. Reussner. 447-456 [doi]
• Towards Model-Based Decision-Telling: Design Evolution Through Decision NodesNidhal Selmi, Jean-Michel Bruel, Sébastien Mosser 0001, Matthieu Crespo. 457-461 [doi]
• YANG-APR: Towards Supporting Evolution in Model-driven Network Management SystemsHesham ElAbd, Juergen Dingel, Robert Lee, Ali Tizghadam. 462-467 [doi]
• A Local-First Collaborative Modeling Approach with Replicated Data TypesLéo Olivier, Kirollos M. Morcos, Marcos Didonet Del Fabro, Sébastien Gérard. 472-481 [doi]
• Bridging Expertise Gaps in the WEF Nexus through Participatory Modeling: Insights from Oyo State, Southwest NigeriaFoluke Olatoye, Cynthia Odili, Jafaru Musa Egieya. 482-486 [doi]
• Challenges of Collaborative MBSE in the Presence of Practical Intellectual Property RequirementsBjörn Annighöfer, Nicolai Maisch, Andreas Wortmann 0001. 487-491 [doi]
• Combining and Simplifying the Mental Models of Participants: An Edge Centrality-Based Method for Fuzzy Cognitive MapsRyan Schuerkamp, Philippe J. Giabbanelli. 492-501 [doi]
• Conflict Management for Multi-Level Models in Collaborative Modelling EnvironmentsYuhong Fu, Georg Grossmann, Karamjit Kaur, Matt Selway, Markus Stumptner. 502-511 [doi]
• Do we Still Need People? Comparing Human and LLM Personas in Political Modeling and SimulationStephen Zhong, Nathalie Japkowicz, Philippe J. Giabbanelli. 512-521 [doi]
• Towards Ontology-Driven User Experience Assessment of Collaborative Modeling ToolsMarko Mijalkovic, Vicheka Oeun, Istvan David, Sadaf Mustafiz. 522-531 [doi]
• User Perceptions of Code and Model Generation with Simulink in Industrial Settings - A SurveyJohan Cederbladh, Jakob Norin. 532-536 [doi]
• A comparison of different Large Language Models for the generation of UML class diagramsGiacomo Garaccione, Diego Maria Calabrese, Riccardo Coppola, Luca Ardito. 541-545 [doi]
• Comparing High- and Low-Level Model Representations for Evolutionary AlgorithmsHenrik Eckhardt, Jens Kosiol. 546-555 [doi]
• Coupling LLMs and Model-Driven Engineering to Support Synthetic Generation of BPMN ArtifactsVittoriano Muttillo, Romina Eramo, Riccardo Rubei, Luca Berardinelli. 556-565 [doi]
• Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language ModelAhmad Hatahet, Christoph Knieke, Andreas Rausch 0001. 566-575 [doi]
• Learning to Transform: Evaluating LLMs on Model Transformation by ExampleDuy Dao, Alessio Bucaioni, Antonio Cicchetti. 576-585 [doi]
• LLM-enabled Instance Model GenerationFengjunjie Pan, Nenad Petrovic 0001, Vahid Zolfaghari, Long Wen 0003, Alois Knoll. 586-595 [doi]
• Modeling AI-Driven Workflows for Ecosystem Resilience PredictionTiago Sousa, Nicolas Guelfi, Benoît Ries. 596-606 [doi]
• On the Generalization Capabilities of LLMs for Reverse Engineering Sequence DiagramsSandra Greiner 0001, Judi Abdullah, Timo Kehrer. 607-616 [doi]
• PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous VehiclesSol Zilberman, Betty H. C. Cheng. 617-626 [doi]
• Towards Safety in Machine Learning Using Validity FramesJan Gladiné, Bert Van Acker, Joachim Denil. 627-635 [doi]
• Unintended Changes: How LLMs Corrupt and Correct Textual ModelsLukas Netz, Finn Kampe, Jan Reimer, Bernhard Rumpe. 636-645 [doi]
• Benchmarking Large Language Models for Root Cause Analysis in Train Control Software TestingRahmanu Hermawan, Alessio Bucaioni, Eduard Enoiu, Wasif Afzal. 648-657 [doi]
• Investigating Simulation for Safety Analysis of Battery Systems in an Active Solar Car ProjectSebastian Daag, Johan Cederbladh. 658-662 [doi]
• Towards Examining the Complexity of ConsistencyRomain Pascual, Arne Lange, Thomas Weber 0006, Lars König, Michael Kirsten, Terru Stübinger. 663-672 [doi]
• Towards Seamless Processor-In-The-Loop Testing With FMI 3.0Yon Vanommeslaeghe, Bert Van Acker, Paul De Meulenaere. 673-677 [doi]
• Towards Distributing Effort in Validating Run-Time Models for Internet of Things ArchitecturesErik M. Fredericks, Byron DeVries. 678-682 [doi]
• A Conceptual Framework for Fine-Grained Quality Assessment in Version GraphsKarl Kegel, Romain Pascual, Kevin Feichtinger, Andreas Domanowski, Marie Clausnitzer, Uwe Aßmann. 683-692 [doi]
• A Critique of the Authoritative Source of Truth Concept in Model-Based Systems EngineeringJohan Cederbladh, Thomas C. Zimmermann. 693-697 [doi]
• Domain-Specific Modeling Solution in MetaEdit+ for the Model Management ChallengeJuha-Pekka Tolvanen, Steven Kelly 0001. 698-706 [doi]
• Extending Version Control Systems to Ensure Semantic Model ConsistencyArkadiusz Rys, Yon Vanommeslaeghe, Milan Cornelis, Bert Van Acker, Paul De Meulenaere, Hans Vangheluwe. 707-716 [doi]
• Model Consistency Management of a Brewery Digital TwinHossain Muhammad Muctadir, Yanyifan Liao, Loek Cleophas. 717-721 [doi]
• Modeling the MoM 2025 Satellite Configuration Challenge with VitruviusBenedikt Jutz, Thomas Weber 0006, Arne Lange, Razieh Dehghani, Bowen Jiang, Martin Armbruster, Kevin Feichtinger, Nathan Hagel, Minakshi Kaushik, Lars König, Manar Mazkatli, Muhammad Asim Minhas, Dirk Neumann 0005, Erik Burger, Anne Koziolek, Ralf H. Reussner. 722-731 [doi]
• Openflexo as a Model Management Platform for the MoM 2025 Satellite Configuration ChallengeHiba Hnaini, Chahrazed Boudjemila, Sylvain Guérin. 732-741 [doi]
• Towards the Derivation of Encryption Rules for Encryption-Based Access Control for Delta-Based Model Representations - The DEBAC ApproachThomas Weber 0006, Katrin Quellmalz, Laurin Benz, Sebastian Weber 0001, Erik Burger, Ralf H. Reussner. 742-751 [doi]
• Transforming Relational Model Queries to Triple Graph GrammarsLars König, Daniel Ritz, Erik Burger. 752-761 [doi]
• What can we learn from other Domains - Towards an Exploratory Process for the Extension of a Language based on Cross-Domain Knowledge TransferBenedikt Jutz, Zenon G. Zacouris, Thomas Weber 0006, Erik Burger, Maribel Acosta, Ralf H. Reussner. 765-771 [doi]
• Sustainability Implications of Large Language Model use in Model-Driven EngineeringKevin Lano, Shekoufeh Kolahdouz Rahimi, Qiaomu Xue. 772-776 [doi]
• Bridging Requirements and Configurations: A Multi-Level Approach to System DesignSándor Bácsi, Gergely Mezei. 780-784 [doi]
• Consistent Modeling of Agility: Applications of Flexible Multi-Level ModelingRazieh Dehghani, Anne Koziolek. 785-792 [doi]
• Deep Specialization Integrating Powertypes into Deep ModelingThomas Kühne 0001, Arne Lange. 793-802 [doi]
• From the Lowlands of UML to the Highlands of MLM: An Evolutionary, Tool-Supported Multi-Level Method for Teaching Multi-Level ModelingUlrich Frank, Pierre Maier. 803-812 [doi]
• Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USEMira Balaban, Azzam Maraee, Arnon Sturm. 813-822 [doi]
• An Ontological Representation of the UML Testing Profile for Digital Test and EvaluationPooja Diwakar Pandit, Joe Gregory, Hunter Fiore, Alejandro Salado. 825-833 [doi]
• Integrated Knowledge Centric Engineering: Delivering next-generation aircraft projects at paceLewis Humphries, Gianmaria Bullegas, John Golledge, Campbell McCausland, Donald Taylor, Dimitrios S. Kolovos, Antonio García-Domínguez, Simos Gerasimou. 834-843 [doi]
• openCAESAR Application to Power Balance Analysis in Early Space Mission FormulationYuta Nakajima, Haruhi Katsumata, Daiki Tate, Yutaka Komatsu, Aaron Levitt, J. Steven Jenkins, Maged Elaasar, Nicolas F. Rouquette, David A. Wagner 0002. 844-852 [doi]
• Power of a Reasoner: Model Validation for SysML Model using openCAESARYuta Nakajima, Atsushi Wada, Yutaka Komatsu, Maged Elaasar, J. Steven Jenkins, David A. Wagner 0002. 853-857 [doi]
• Towards bridging ontological and closed-world modelling with synchronised EMF views of RDF modelsOwen James Reynolds, Antonio García-Domínguez, Dimitrios S. Kolovos, Gianmaria Bullegas, Campbell McCausland. 858-867 [doi]