| 2025 | A Domain Specific Language to Design New Control Architectures for Smart Grids. Asma Smaoui, Mathilde Arnaud, Stéphane Salmons, Guillaume Giraud |
| 2025 | A Model-Based Approach to Experiment-Driven Evolution of ML Workflows. Petr Hnetynka, Tomás Bures, Ilias Gerostathopoulos, Milad Abdullah, Keerthiga Rajenthiram |
| 2025 | A Systematic Method to Derive Software Services and Requirements from Business Models. Abderrahmane Leshob, Raqeebir Rab, Omar K. Hussain |
| 2025 | A Taxonomy of Change Types for Textual DSL Grammars. Hossain Muhammad Muctadir, Jérôme Pfeiffer, Judith Houdijk, Loek Cleophas, Andreas Wortmann |
| 2025 | AI-Integrated Framework for Enhancing High Level Architecture Design Across System Lifecycle Stages. Tianxiao Xu, Néjib Moalla, Mohand Lounès Bentaha, Hazal Aktekin, Claudia Agostinelli |
| 2025 | Advancing IoT Architectures Using Collaborative Computing Paradigms for Dynamic and Scalable Systems. Prashant G. Joshi, Bharat M. Deshpande |
| 2025 | An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress Theory. Alain Finkel, Gaspard Fougea, Stéphane Le Roux |
| 2025 | An Automated and Intelligent Interface Embracing Process Awareness into User Workspace. Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober, Razan Abualsaud |
| 2025 | An Engineer-Friendly Terminology of White, Black and Grey-Box Models. Eugen Boos, Mauritz Mälzer, Felix Conrad, Hajo Wiemer, Steffen Ihlenfeldt |
| 2025 | An Integrated Building Management Platform for Investment into Renewable Energy System and SRI Compliance. Giuseppe Rocco Rana, Giuseppe Mastandrea, Marco Antonio Insabato, Reshma Penjerla, Luigi D'Oriano |
| 2025 | Automated Generation of Standardised Digital Twins Based on MBSE Models. Philippe Barbie, Andreas Pollom, Rene-Pascal Fischer, Martin Becker |
| 2025 | Automatic Evaluation and Partitioning of Algorithms for Heterogeneous Systems. Simon Heimbach, Stephan Rudolph |
| 2025 | Automating Feature Modeling in Product Line Engineering for Systems Engineering: The Application of Natural Language Processing. José Lameh, Alexandra Dubray, Marija Jankovic |
| 2025 | Designing a Meta-Model for the Eclipse Qrisp eDSL for High-Level Quantum Programming. Sebastian Bock, Raphael Seidel, Matic Petric, Nikolay Tcholtchev, Andreas Hoffmann, Niklas Porges |
| 2025 | Digital Twin System of Systems: A Layered Architecture Proposal. Meriem Smati, Vincent Cheutet, Christophe Danjou, Jannik Laval |
| 2025 | Digital Twins: Models Everywhere. Øystein Haugen |
| 2025 | Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. Assaf Marron, David Harel |
| 2025 | Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth |
| 2025 | Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes |
| 2025 | Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling. Tiago Carvalho, Tobias Müller, Sebastian Reiter, Luís Miguel Pinho, André Oliveira |
| 2025 | Enhancing Simscape Models Reusability Through Semantics and Word Embedding Representations. Eduardo Cibrián, José María Álvarez Rodríguez, Roy Mendieta |
| 2025 | Evaluating the Quality of Class Diagrams Created by a Generative AI: Findings, Guidelines and Automation Options. Christian Kop |
| 2025 | From ML2 to ML2+: Integrating Time Series Forecasting in Model-Driven Engineering of Smart IoT Applications. Zahra Mardani Korani, Moharram Challenger, Armin Moin, João Carlos Ferreira, Alberto Rodrigues da Silva, Gonçalo Vitorino Jesus, Elsa Lourenço Alves, Ricardo Correia Bezerra |
| 2025 | From Plain English to XACML Policies: An AI-Based Pipeline Approach. Maria Teresa Paratore, Eda Marchetti, Antonello Calabrò |
| 2025 | Hierarchical System of Digital Twins: A Holistic Architecture for Swarm System Analysis. Mouhamadou F. Ball, Jannik Laval, Loïc Lagadec |
| 2025 | How to Leverage Digital Twin for System Design? Jean-Sébastien Sottet, Pierre Brimont, Cédric Pruski, Faima Abbasi |
| 2025 | HyperGraphOS: A Meta Operating System for Science and Engineering. Antonello Ceravola, Frank Joublin, Ahmed R. Sadik, Bram Bolder, Juha-Pekka Tolvanen |
| 2025 | Integrating Large Language Models with Enterprise Architecture for Enhanced Information Retrieval of System Engineering Models: A Case Study. Walt Melo |
| 2025 | Iterative Diagnosis-Driven Augmented Generation (IDDAG) for Programmatic 3D CAD. Thomas Paviot, Virginie Fortineau, Samir Lamouri |
| 2025 | LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems. Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth |
| 2025 | Multi-Agent Causal Reinforcement Learning. André Meyer-Vitali |
| 2025 | Navigating Dimensionality Through State Machines in Automotive System Validation. Laurenz Adolph, Barbara Schütt, David Kraus, Eric Sax |
| 2025 | Next-Generation Design Tools for Intelligent Transportation Systems. Dominik Ascher, Georg Hackenberg |
| 2025 | On the Generation of Input Space Model for Model-Driven Requirements-Based Testing. Ikram Darif, Ghizlane El-Boussaidi, Sègla Kpodjedo, Pratibha Padmanabhan, Andrés Paz |
| 2025 | Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering. Jean-Marie Gauthier, Eric Jenn, Ramon Conejo |
| 2025 | Optimizing Python Code Metrics Feature Reduction Through Meta-Analysis and Swarm Intelligence. Marina Ivanova, Zamira Kholmatova, Nikolay Pavlenko |
| 2025 | Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2025, Porto, Portugal, February 26-28, 2025. Federico Ciccozzi, Luís Ferreira Pires, Francis Bordeleau |
| 2025 | RITSA: Toward a Retrieval-Augmented Generation System for Intelligent Transportation Systems Architecture. Afef Awadid, André Meyer-Vitali, Dominik Vereno, Maxence Gagnant |
| 2025 | ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation. Anthony J. H. Simons |
| 2025 | Reinventing Low-Code: Value-Driven and Learning-Oriented Low-Code Development with SLLM-Integrated Approach. Gayane Sedrakyan, Stephan Braams, Cosmin Ghiauru, Anton Tsankov, Stijn Schuurman, Matthijs Jansen op de Haar, Valeri Andreev, Jos van Hillegersberg |
| 2025 | Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. Jette Petzold, Reinhard von Hanxleden |
| 2025 | Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. Jishu Guin, Jüri Vain, Leonidas Tsiopoulos |
| 2025 | The Lessons the Models Taught us. Erik Herzog |
| 2025 | Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Piërre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang |
| 2025 | Towards a Classification Framework for the Digital Twin Tools: A Taxonomy. Mert Ozkaya, Alper Turunc |
| 2025 | Towards a Domain-Specific Modelling Environment for Reinforcement Learning. Natalie Sinani, Sahil Salma, Paul Boutot, Sadaf Mustafiz |
| 2025 | Towards an Ontological Approach for Decision Making in Agent Based Systems. Sangeeth Saagar Ponnusamy, Philipp Helle, Carsten Strobel |
| 2025 | Towards the Model-Driven Development of Adaptive Cloud Applications by Leveraging UML-RT and Container Orchestration. Mufasir Muthaher Mohammed, Karim Jahed, Juergen Dingel, David Lamb |
| 2025 | Transforming Systems Engineering in Nuclear Projects with Generative AI: A Path to Efficiency and Compliance. Jérémy Bourdon, Julien Rodriguez, Quentin Lesigne, Pauline Suchet, Berenger Fister, Loic Montagne, Olivier Malhomme, Lies Benmiloud Bechet, Robert Plana |
| 2025 | Transparency of Tools: Beyond Usability in Modeling Tools. Alfonso Pierantonio |
| 2025 | Validation of Requirements Models Using a Graph. Alexander Rauh |
| 2025 | Vulnerability Mapping and Mitigation Through AI Code Analysis and Testing. Tauheed Waheed, Eda Marchetti, Antonello Calabrò |