Table of Contents

• Reasoning at Higher-levels of Abstraction: AI Meets Model-Driven EngineeringLola Burgueño. 3
• Can AI Make the Rules? A Pipeline for Generating Graph Transformation SystemsReiko Heckel, Muhammad Saad. 5-14 [doi]
• The Rise of AI-Native Telcos: Reimagining Networks, Control, and Value in the Age of AgentsAli Tizghadam. 15
• On Integrating Large Language Models and Scenario-Based Modeling for Improving Software ReliabilityAyelet Berzack, Guy Katz. 21-32 [doi]
• Bridging MDE and LLM-Based Agent Frameworks for Multi-Agent Systems: A Quasi-Systematic Review and MetamodelJames William Pontes Miranda, Ansgar Radermacher, Fabien Baligand, Julie Bonnail, Sébastien Gérard, Pascal Bannerot, Marcos Didonet Del Fabro. 33-44 [doi]
• A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model CheckingKazunori Someya, Toshiaki Aoki. 45-60 [doi]
• Continuous AI Assistance for Model-Driven EngineeringLudovic Apvrille, Bastien Sultan. 61-72 [doi]
• Environment and Scenario Viewpoints to Execute SysML-Based Architectural ModelsTales Viglioni, Jair C. Leite, Eder Xavier, Thaís Batista, Everton Cavalcante, Flávio Oquendo. 73-84 [doi]
• Verified Design of Robotic Autonomous Systems Using Probabilistic Model CheckingAtef Azaiez, David A. Anisi. 85-96 [doi]
• A Semantically-Grounded Agentic Framework for Assisting BPMN Model Instance ExecutionTiago Sousa, Nicolas Guelfi, Benoît Ries. 97-109 [doi]
• Hierarchical Analysis of Data Clump Model Smells through Subgroup-Based Structural MetricsPadma Iyenghar, Nils Baumgartner, Elke Pulvermüller. 110-121 [doi]
• A Model-Driven Catalogue of Dark Pattern SmellsPadma Iyenghar. 122-134 [doi]
• A DSL for Integrating Engineering Artifacts and Behavior into the Asset Administration ShellHarish Kumar Pakala, Bianca Wiesmayr, Christian Diedrich, David Cameron. 135-149 [doi]
• Large Language Models for Quality Control of Large Language ModelsPreethika Chandrasekaran, Imron Shajahan, Saran Sankaran, Benjamin Nast, Kurt Sandkuhl. 150-161 [doi]
• Automating Compliance Verification through Generative AI: An LLM-Based Approach for Nuclear Systems EngineeringMouna El Alaoui, Sagar Jose, Feriel Bouchakour, Dorian De Oliveira, Clara De Kerautem, Quentin Lesigne, Pauline Suchet, Berenger Fister, Loic Montagne, Nicolas Bureau, Robert Plana. 165-173 [doi]
• Physics4All DSL: A Domain-Specific Language for Democratising Physics Simulations and Advancing DSL Engineering with JetBrains MPSSofia Meacham, Clément de La Bourdonnaye, Václav Pech, Hessa Alfraihi. 174-185 [doi]
• Requirements-Driven Evaluation of Model-Based Low-Code Platforms for GDPR-Compliant Health Applications: A Comparative Study of Mendix and OutSystemsSofia Meacham, Chukwuebuka Obiora. 186-193 [doi]
• LLM-Supported Generation of Class Diagrams with Test CasesChristian Kop. 194-201 [doi]
• Mapping a System of Systems Core Ontology to a Foundational OntologyJoyce Martin, Jakob Axelsson, Jan Carlson. 202-213 [doi]
• Enhancing Educational Support for JetBrains MPS with a Retrieval-Augmented LLM Chatbot: A Structured Knowledge Integration ApproachSofia Meacham, Keith Phalp. 214-225 [doi]
• Using Attack and Failure Propagation Analysis for Context-Aware Security Control SuggestionsRoman Trentinaglia, Thorsten Koch, Eric Bodden. 226-233 [doi]
• Identifying Incentives for More Systematic Modeling of Industrial Software-Intensive SystemsIfrah Qaisar, Jan Carlson, Robbert Jongeling, Antonio Cicchetti, Malvina Latifaj, Federico Ciccozzi. 234-244 [doi]
• Incremental Formalization for Informal Architectural DiagrammingMalvina Latifaj, Jan Carlson, Antonio Cicchetti, Robbert Jongeling, Ifrah Qaisar. 245-256 [doi]
• NOMAD: A Multi-Agent LLM System for UML Class Diagram Generation from Natural Language RequirementsPolydoros Giannouris, Sophia Ananiadou. 257-264 [doi]
• A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm SpecificationAssaf Marron, David Harel. 265-273 [doi]
• Enhancing Cybersecurity with Ontology-Based Whitelists: A Graph-Driven Approach to Proactive Threat MitigationPedro Alves, Miguel Ferreira, Rui Gonçalves, Tiago F. Pereira, Manuel Santos 0001, Jorge Meira, João Routar, Pedro Fortuna, Ricardo J. Machado 0001. 274-281 [doi]
• Model-Driven Quality Analysis of Cyber-Physical Systems: State of the Art and PerspectivesVittorio Cortellessa, Davide Di Ruscio, Tiziano Lombardi, Alfonso Pierantonio. 282-289 [doi]
• MDPNML: A Multidimensional Petri Net Markup Language Enabling Construction and Simulation of Comprehensive Digital Twin ModelsAtieh Khodadadi, Sanja Lazarova-Molnar. 290-299 [doi]
• Scalable Microservices for LLM-vs-LLM Interaction in Board GamesPaulina Morillo, Kevin Bastidas, Bryan Guevara, Alex Terreros, Julio Proaño. 300-306
• DemIstifyCPS: A Domain-Specific Language for Influence Modeling in Cyber-Physical SystemsBárbara da Silva Oliveira, Nicolas Ferry 0001, Julien DeAntoni. 307-314 [doi]
• INEBLA: A Lightweight Model-Driven Framework for Transforming User Intent into Executable Business Process ModelsOmnia Saidani Neffati. 315-322 [doi]
• Goal Models on Type and Instance Level for Groups of Multi-Instance ActorsTorsten Bandyszak, Marian Daun, Jennifer Brings. 323-330 [doi]
• Towards an Architecture Modeling Language for Smart Car Parking Management SystemsMert Ozkaya, Alper Turunc, Umut Cobanoglu. 331-340 [doi]
• Towards an Ontology-Driven MBSE Framework for Life Cycle AssessmentFatima Danash, Imen Azouzi, Saadia Dhouib, Chokri Mraidha. 341-349 [doi]
• Generating Class Diagrams from Structured Use Case Descriptions with LLMsEvin Aslan Oguz, Jochen Malte Küster, Felix Lennart Schildmann. 350-361 [doi]
• Towards OntoUML for Software Engineering: Evaluation of Constraints Performance in Relational DatabasesJakub Jaburek, Zdenek Rybola, Petr Kroha. 362-370 [doi]
• Enabling Consistent Recombination of Heterogeneous Artifacts in Reactive Consistency Restoration MechanismsAndreas Domanowski, Christoph Seidl 0001, Marie Clausnitzer, Karl Kegel, Uwe Aßmann. 371-377 [doi]
• From Values to Policies: A Value-Based Decision Model for Data Trustees in Data SpacesMichael Steinert, Simon Geller, Florian Lauf. 378-389 [doi]
• Natural Kinds Expressed SymbolicallySteve McKeever. 390-397 [doi]
• Towards a Traceability Framework for Multi-Paradigm Modeling of Cyber-Physical SystemsHaphan Tran, Moharram Challenger, Sadaf Mustafiz. 398-409 [doi]
• On the Practical Expressiveness of Triple Graph GrammarsAnthony Anjorin, Thomas Buchmann. 410-417 [doi]
• A Conceptual Model-Based Platform for Semi-Automatic Report Generation to Streamline Medical Diagnostics of Lung Cancer and PET/CT Data ManagementFrancisco Miralles Ferrer, José Fabián Reyes Román, Pedro Abreu Sánchez, Jesús Carreño-Bolufer, Elisa Caballero Calabuig, Oscar Pastor 0001. 418-425 [doi]
• Explicit Energy Quantification in Wireless Sensor Networks Using Petri NetsAmel Berrachedi, Malika Ioualalen, Ahmed Hammad. 426-433 [doi]
• Validity Frames for Self-Adaptive SystemsRaheleh Biglari, Joachim Denil, Cláudio Gomes 0001. 434-441 [doi]
• Towards Model Compliance Using Generative Agents: A NetLogo to Sequence Diagrams ExperimentBenoît Ries, Nicolas Guelfi, Tiago Sousa. 442-451 [doi]
• Orchestrating Smart Health: A Nets-within-Nets Approach for Hybrid Fall Detection SystemsJoão Pica, João Paulo Barros. 452-459 [doi]
• Integrating Blockchain and IOT for Business Process Design and Traceability in Short Honey Supply ChainsImen Chaouachi Allani, Ilhem Abdelhedi Abdelmoula, Hella Kaffel Ben Ayed. 460-467 [doi]
• Software Space Analytics: Towards Visualization and Statistics of Internal Software ExecutionShinobu Saito. 468-475 [doi]
• Automatic Program Repair Using Large Language Models in Model-Based DevelopmentRen Ajiki, Kenji Hisazumi. 476-483 [doi]
• A SysML v2-Based Modeling Framework for LCA Integration in MBSEOnur Angin, Detlef Gerhard. 484-491 [doi]
• Discovering Relationships among Code Smells through Association and Temporal AnalysisPadma Iyenghar, Nils Baumgartner, Fynn Degen, Elke Pulvermüller. 492-503 [doi]
• An Operational Semantics for Extended OCLKevin Lano. 504-511 [doi]
• Model-Driven Development of Fuzzy-BDI Multi-Agent SystemsBurak Karaduman, Baris Tekin Tezel, Moharram Challenger. 512-519 [doi]
• EMF Model Generator: A Configurable Library for Generating Valid and Reproducible Model InstancesLorenzo Bettini. 520-527 [doi]
• Empirically Evaluating the Accessibility of a PoN-Enable Feature Diagrams Notation by the Red-Green Colorblind CommunityMohamed El-Attar 0001, Sarah Kohail, Rima Grati. 528-535 [doi]
• Utilizing Hybrid Bond Graphs to Define a Machine Model for Cyber-Physical SystemsMartin Richter, Albrecht Stoye, Matthias Werner. 536-543 [doi]
• Modelling Food and Mood Relation with Dynamic Personas: An Ontology-Driven RAG-Based Recommendation ApproachDonika Xhani, Kathleen W. Guan, Ausrine Ratkute, Caroline A. Figueroa, Renata Guizzardi, Jos van Hillegersberg, Gayane Sedrakyan. 544-551 [doi]
• An Instrumented BPMN Transformation to Support Scenario Modelling and SimulationCharlotte Strobbe, Rob A. Vingerhoeds, Stéphane Valès, Sophia Salas Cordero, Aurore Puissegur. 552-559 [doi]
• Model-Driven Approaches for Serverless Software Development: Evaluation and Future DirectionsMehdi Eidi, Raman Ramsin. 560-567 [doi]
• Driver-Based Multivariate Time Series Forecasting: A Comparative Analysis of Meta-Learning vs Ensemble PerformancesNuno M. C. da Costa, Filipe Novais, Luis Santos, Francisco Franco, Vaibhav Shah, Ricardo Rodrigues 0013, Duarte Fernandes, Emanuel Gouveia. 568-575 [doi]
• A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital TwinsLuca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini 0001. 576-583 [doi]
• Towards a Unified Conceptual Model of the Large Language Model ArchitectureJesús Carreño-Bolufer, Giovanni Giachetti, Oscar Pastor 0001. 584-591 [doi]