| 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 | On the Generation of Input Space Model for Model-Driven Requirements-Based Testing. | Ikram Darif, Ghizlane El-Boussaidi, Sgla Kpodjedo, Pratibha Padmanabhan, Andrs Paz |
| 2025 | Enhancing Simscape Models Reusability Through Semantics and Word Embedding Representations. | Eduardo Cibrin, Jos Mara lvarez Rodrguez, Roy Mendieta |
| 2025 | HyperGraphOS: A Meta Operating System for Science and Engineering. | Antonello Ceravola, Frank Joublin, Ahmed R. Sadik, Bram Bolder, Juha-Pekka Tolvanen |
| 2025 | Transforming Systems Engineering in Nuclear Projects with Generative AI: A Path to Efficiency and Compliance. | Jrmy Bourdon, Julien Rodriguez, Quentin Lesigne, Pauline Suchet, Berenger Fister, Loic Montagne, Olivier Malhomme, Lies Benmiloud Bechet, Robert Plana |
| 2025 | An Engineer-Friendly Terminology of White, Black and Grey-Box Models. | Eugen Boos, Mauritz Mlzer, Felix Conrad, Hajo Wiemer, Steffen Ihlenfeldt |
| 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 | Automated Generation of Standardised Digital Twins Based on MBSE Models. | Philippe Barbie, Andreas Pollom, Rene-Pascal Fischer, Martin Becker |
| 2025 | Hierarchical System of Digital Twins: A Holistic Architecture for Swarm System Analysis. | Mouhamadou F. Ball, Jannik Laval, Loc Lagadec |
| 2025 | RITSA: Toward a Retrieval-Augmented Generation System for Intelligent Transportation Systems Architecture. | Afef Awadid, Andr Meyer-Vitali, Dominik Vereno, Maxence Gagnant |
| 2025 | Next-Generation Design Tools for Intelligent Transportation Systems. | Dominik Ascher, Georg Hackenberg |
| 2025 | Navigating Dimensionality Through State Machines in Automotive System Validation. | Laurenz Adolph, Barbara Schtt, David Kraus, Eric Sax |
| 2025 | Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling. | Tiago Carvalho, Tobias Mller, Sebastian Reiter, Lus Miguel Pinho, Andr Oliveira |
| 2024 | A Tool for Modeling and Tailoring Hybrid Software Processes. | Anders Wallberg, Daniel Gonzlez, Luis Silvestre, Mara Cecilia Bastarrica |
| 2024 | MDE-Based Graphical Tool for Modeling Data Provenance According to the W3C PROV Standard. | Marcos Alves Vieira, Srgio T. Carvalho |
| 2024 | Compliance by Design for Cyber-Physical Energy Systems: The Role of Model-Based Systems Engineering in Complying with the EU AI Act. | Dominik Vereno, Katharina Polanec, Christian Neureiter |
| 2024 | Model-Driven Methodology for Developing Chatbots Based on Microservice Architecture. | Adel Vahdati, Raman Ramsin |
| 2024 | Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams. | Vanessa Tietz, Bjrn Annighfer |
| 2024 | Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration. | Mailson Borges Teles, Jos Bocanegra, Eldair F. Dornelles, Sandro Sawicki, Antonia M. Reina Quintero, Carlos Molina-Jimnez, Fabricia Roos-Frantz, Rafael Z. Frantz |
| 2024 | Towards a Domain Model for Learning and Teaching. | Oleg Shvets, Kristina Murtazin, Martijn Meeter, Gunnar Piho |
| 2024 | Coding by Design: GPT-4 Empowers Agile Model Driven Development. | Ahmed R. Sadik, Sebastian Brulin, Markus Olhofer |
| 2024 | On Some Artificial Intelligence Methods in the V-Model of Model-Based Systems Engineering. | Stephan Rudolph |
| 2024 | Comparative Evaluation of NLP Approaches for Requirements Formalisation. | Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani, Chenghua Lin, Yiqi Liu, Muhammad Aminu Umar |
| 2024 | DecSup: An Architecture Description Language for Specifying and Simulating the Decision Support System Architectures. | Mert Ozkaya, Mehmet Alp Kose, Egehan Asal |
| 2024 | Multi-Dimensional Process Analysis of Software Development Projects. | Thanh Nguyen, Saimir Bala, Jan Mendling |