Table of Contents

• Digital Twins: Models EverywhereØystein Haugen. 5 [doi]
• The Lessons the Models Taught usErik Herzog. 7
• Transparency of Tools: Beyond Usability in Modeling ToolsAlfonso Pierantonio. 9
• LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent SystemsVladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth. 15-26 [doi]
• Designing a Meta-Model for the Eclipse Qrisp eDSL for High-Level Quantum ProgrammingSebastian Bock, Raphael Seidel, Matic Petric, Nikolay Tcholtchev, Andreas Hoffmann, Niklas Porges. 27-39 [doi]
• Towards a Domain-Specific Modelling Environment for Reinforcement LearningNatalie Sinani, Sahil Salma, Paul Boutot, Sadaf Mustafiz. 40-51 [doi]
• Towards the Model-Driven Development of Adaptive Cloud Applications by Leveraging UML-RT and Container OrchestrationMufasir Muthaher Mohammed, Karim Jahed, Juergen Dingel, David Lamb. 52-63 [doi]
• HyperGraphOS: A Meta Operating System for Science and EngineeringAntonello Ceravola, Frank Joublin, Ahmed R. Sadik, Bram Bolder, Juha-Pekka Tolvanen. 64-74 [doi]
• Automated Generation of Standardised Digital Twins Based on MBSE ModelsPhilippe Barbie, Andreas Pollom, Rene-Pascal Fischer, Martin Becker 0002. 75-84 [doi]
• From Plain English to XACML Policies: An AI-Based Pipeline ApproachMaria Teresa Paratore, Eda Marchetti, Antonello Calabrò. 85-96 [doi]
• An Automated and Intelligent Interface Embracing Process Awareness into User WorkspaceMinh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober, Razan Abualsaud. 97-108 [doi]
• Advancing IoT Architectures Using Collaborative Computing Paradigms for Dynamic and Scalable SystemsPrashant G. Joshi, Bharat M. Deshpande. 109-121 [doi]
• Navigating Dimensionality Through State Machines in Automotive System ValidationLaurenz Adolph, Barbara Schütt, David Kraus, Eric Sax. 125-132 [doi]
• Safe Behavior Model Synthesis: From STPA to LTL to SCChartsJette Petzold, Reinhard von Hanxleden. 133-140 [doi]
• Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and VerificationVladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth. 141-149 [doi]
• Evaluating the Quality of Class Diagrams Created by a Generative AI: Findings, Guidelines and Automation OptionsChristian Kop. 150-157 [doi]
• Towards Synthesis-Based Engineering for Cyber-Physical Production SystemsWytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Piërre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang 0009. 158-168 [doi]
• A Taxonomy of Change Types for Textual DSL GrammarsHossain Muhammad Muctadir, Jérôme Pfeiffer, Judith Houdijk, Loek Cleophas, Andreas Wortmann 0001. 169-176 [doi]
• Automatic Evaluation and Partitioning of Algorithms for Heterogeneous SystemsSimon Heimbach, Stephan Rudolph. 177-185 [doi]
• Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based ModellingTiago Carvalho 0001, Tobias Müller, Sebastian Reiter 0003, Luís Miguel Pinho, André Oliveira. 186-195 [doi]
• A Domain Specific Language to Design New Control Architectures for Smart GridsAsma Smaoui, Mathilde Arnaud, Stéphane Salmons, Guillaume Giraud. 196-203 [doi]
• An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress TheoryAlain Finkel, Gaspard Fougea, Stéphane Le Roux 0001. 204-215 [doi]
• Enhancing Simscape Models Reusability Through Semantics and Word Embedding RepresentationsEduardo Cibrián, José María Álvarez-Rodríguez, Roy Mendieta. 216-223
• Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model ReductionBastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes. 224-233 [doi]
• Next-Generation Design Tools for Intelligent Transportation SystemsDominik Ascher, Georg Hackenberg. 234-241 [doi]
• ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model TransformationAnthony J. H. Simons. 242-249 [doi]
• On the Generation of Input Space Model for Model-Driven Requirements-Based TestingIkram Darif, Ghizlane El-Boussaidi, Sègla Kpodjedo, Pratibha Padmanabhan, Andrés Paz. 250-262 [doi]
• Towards a Classification Framework for the Digital Twin Tools: A TaxonomyMert Ozkaya, Alper Turunc. 263-272 [doi]
• Digital Twin System of Systems: A Layered Architecture ProposalMeriem Smati, Vincent Cheutet, Christophe Danjou, Jannik Laval. 273-279 [doi]
• Hierarchical System of Digital Twins: A Holistic Architecture for Swarm System AnalysisMouhamadou F. Ball, Jannik Laval, Loïc Lagadec. 280-287 [doi]
• Validation of Requirements Models Using a GraphAlexander Rauh. 288-296 [doi]
• Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical SystemsJishu Guin, Jüri Vain, Leonidas Tsiopoulos. 297-304 [doi]
• How to Leverage Digital Twin for System Design?Jean-Sébastien Sottet, Pierre Brimont, Cédric Pruski, Faima Abbasi. 305-312 [doi]
• An Engineer-Friendly Terminology of White, Black and Grey-Box ModelsEugen Boos, Mauritz Mälzer, Felix Conrad, Hajo Wiemer, Steffen Ihlenfeldt. 313-320 [doi]
• Early Fault-Detection in the Development of Exceedingly Complex Reactive SystemsAssaf Marron, David Harel. 321-329 [doi]
• A Systematic Method to Derive Software Services and Requirements from Business ModelsAbderrahmane Leshob, Raqeebir Rab, Omar K. Hussain. 330-337 [doi]
• Optimizing Python Code Metrics Feature Reduction Through Meta-Analysis and Swarm IntelligenceMarina Ivanova, Zamira Kholmatova, Nikolay Pavlenko. 338-345 [doi]
• An Integrated Building Management Platform for Investment into Renewable Energy System and SRI ComplianceGiuseppe Rocco Rana, Giuseppe Mastandrea, Marco Antonio Insabato, Reshma Penjerla, Luigi D'Oriano. 346-353 [doi]
• A Model-Based Approach to Experiment-Driven Evolution of ML WorkflowsPetr Hnetynka, Tomás Bures, Ilias Gerostathopoulos, Milad Abdullah, Keerthiga Rajenthiram. 354-362 [doi]
• Vulnerability Mapping and Mitigation Through AI Code Analysis and TestingTauheed Waheed, Eda Marchetti, Antonello Calabrò. 363-370 [doi]
• Integrating Large Language Models with Enterprise Architecture for Enhanced Information Retrieval of System Engineering Models: A Case StudyWalt Melo. 371-377
• Ontology-Driven LLM Assistance for Task-Oriented Systems EngineeringJean-Marie Gauthier, Eric Jenn, Ramon Conejo. 383-394 [doi]
• Transforming Systems Engineering in Nuclear Projects with Generative AI: A Path to Efficiency and ComplianceJérémy Bourdon, Julien Rodriguez, Quentin Lesigne, Pauline Suchet, Berenger Fister, Loic Montagne, Olivier Malhomme, Lies Benmiloud Bechet, Robert Plana. 395-406 [doi]
• AI-Integrated Framework for Enhancing High Level Architecture Design Across System Lifecycle StagesTianxiao Xu, Néjib Moalla, Mohand Lounès Bentaha, Hazal Aktekin, Claudia Agostinelli. 407-419 [doi]
• Reinventing Low-Code: Value-Driven and Learning-Oriented Low-Code Development with SLLM-Integrated ApproachGayane Sedrakyan, Stephan Braams, Cosmin Ghiauru, Anton Tsankov, Stijn Schuurman, Matthijs Jansen op de Haar, Valeri Andreev, Jos van Hillegersberg. 420-431 [doi]
• Multi-Agent Causal Reinforcement LearningAndré Meyer-Vitali. 435-442 [doi]
• Towards an Ontological Approach for Decision Making in Agent Based SystemsSangeeth Saagar Ponnusamy, Philipp Helle, Carsten Strobel. 443-449
• Automating Feature Modeling in Product Line Engineering for Systems Engineering: The Application of Natural Language ProcessingJosé Lameh, Alexandra Dubray, Marija Jankovic. 450-457 [doi]
• From ML2 to ML2+: Integrating Time Series Forecasting in Model-Driven Engineering of Smart IoT ApplicationsZahra Mardani Korani, Moharram Challenger, Armin Moin, João Carlos Ferreira, Alberto Rodrigues da Silva, Gonçalo Vitorino Jesus, Elsa Lourenço Alves, Ricardo Correia. 458-465 [doi]
• RITSA: Toward a Retrieval-Augmented Generation System for Intelligent Transportation Systems ArchitectureAfef Awadid, André Meyer-Vitali, Dominik Vereno, Maxence Gagnant. 466-473 [doi]
• Iterative Diagnosis-Driven Augmented Generation (IDDAG) for Programmatic 3D CADThomas Paviot, Virginie Fortineau, Samir Lamouri. 474-480 [doi]