| 2025 | Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. | Jette Petzold, Reinhard von Hanxleden |
| 2025 | Iterative Diagnosis-Driven Augmented Generation (IDDAG) for Programmatic 3D CAD. | Thomas Paviot, Virginie Fortineau, Samir Lamouri |
| 2025 | From Plain English to XACML Policies: An AI-Based Pipeline Approach. | Maria Teresa Paratore, Eda Marchetti, Antonello Calabr |
| 2025 | Towards a Classification Framework for the Digital Twin Tools: A Taxonomy. | Mert Ozkaya, Alper Turunc |
| 2025 | Towards Synthesis-Based Engineering for Cyber-Physical Production Systems. | Wytse Oortwijn, Yuri Blankenstein, Jos Hegge, Dennis Hendriks, Pirre van de Laar, Bram van der Sanden, Laura van Veen, Nan Yang |
| 2025 | An Automated and Intelligent Interface Embracing Process Awareness into User Workspace. | Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober, Razan Abualsaud |
| 2025 | A Taxonomy of Change Types for Textual DSL Grammars. | Hossain Muhammad Muctadir, Jrme Pfeiffer, Judith Houdijk, Loek Cleophas, Andreas Wortmann |
| 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 | Multi-Agent Causal Reinforcement Learning. | Andr Meyer-Vitali |
| 2025 | Integrating Large Language Models with Enterprise Architecture for Enhanced Information Retrieval of System Engineering Models: A Case Study. | Walt Melo |
| 2025 | Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. | Assaf Marron, David Harel |
| 2025 | A Systematic Method to Derive Software Services and Requirements from Business Models. | Abderrahmane Leshob, Raqeebir Rab, Omar Khadeer Hussain |
| 2025 | Automating Feature Modeling in Product Line Engineering for Systems Engineering: The Application of Natural Language Processing. | Jos Lameh, Alexandra Dubray, Marija Jankovic |
| 2025 | From ML2 to ML2+: Integrating Time Series Forecasting in Model-Driven Engineering of Smart IoT Applications. | Zahra Mardani Korani, Moharram Challenger, Armin Moin, Joo Carlos Ferreira, Alberto Rodrigues da Silva, Gonalo Vitorino Jesus, Elsa Loureno Alves, Ricardo Correia Bezerra |
| 2025 | Evaluating the Quality of Class Diagrams Created by a Generative AI: Findings, Guidelines and Automation Options. | Christian Kop |
| 2025 | Advancing IoT Architectures Using Collaborative Computing Paradigms for Dynamic and Scalable Systems. | Prashant G. Joshi, Bharat M. Deshpande |
| 2025 | Optimizing Python Code Metrics Feature Reduction Through Meta-Analysis and Swarm Intelligence. | Marina Ivanova, Zamira Kholmatova, Nikolay Pavlenko |
| 2025 | A Model-Based Approach to Experiment-Driven Evolution of ML Workflows. | Petr Hnetynka, Toms Bures, Ilias Gerostathopoulos, Milad Abdullah, Keerthiga Rajenthiram |
| 2025 | The Lessons the Models Taught us. | Erik Herzog |
| 2025 | Automatic Evaluation and Partitioning of Algorithms for Heterogeneous Systems. | Simon Heimbach, Stephan Rudolph |
| 2025 | Digital Twins: Models Everywhere. | ystein Haugen |
| 2025 | Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. | Jishu Guin, Jri Vain, Leonidas Tsiopoulos |
| 2025 | Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering. | Jean-Marie Gauthier, Eric Jenn, Ramon Conejo |
| 2025 | An Automata-Based Method to Formalize Psychological Theories: The Case Study of Lazarus and Folkman's Stress Theory. | Alain Finkel, Gaspard Fougea, Stphane Le Roux |
| 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 |