SAM 2025

Accepted papers

Accepted papers for SAM 2025

The papers for SAM 2025 will be published in MODELS 2025 Companion proceedings with IEEE.

  1. Richard Qualis. Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning Framework

  2. Hamza Haoui, Bianca Wiesmayr, David Hastbacka and Kari Systa. Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario

  3. Mihal Brumbulli and Emmanuel Gaudin. Optimizing Industrial Operations through Business Process Formalization

  4. Zaki Pauzi and Andrea Capiluppi. Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS Projects

  5. Antonio Bucchiarone, Benoit Combemale, Alfonso Pierantonio, Nelly Bencomo, Mark van den Brand, Jean-Michel Bruel, Antonio Cicchetti, Juri Di Rocco, Leen Lambers, Judith Michael, Bernhard Rumpe, Mikael Sjodin, Gabriele Taentzer, Matthias Tichy, Hans Vangheluwe, Manuel Wimmer and Steffen Zschaler. Modeling: The Heart and Soul of Engineering Smart Ecosystems

  6. Sebastian Bergemann, Andreas Bayha, Derui Zhu, Mohammad Sadeghi, Colin Atkinson and Alexander Pretschner. Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems

  7. Maged Elaasar, Abdelwahab Hamou-Lhadj, Bentley Oakes and Mohammad Hamdaqa. Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges

  8. Jawher Jerray, Bastien Sultan and Ludovic Apvrille. Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems

  9. Christian Seifert, Christian Steger and Tiberio Fanti. Bridging the V-Model: Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation

  10. Zakaria Hachm, Théo Le Calvar, Hugo Bruneliere and Massimo Tisi. Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection

  11. Oystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil and Joost Mertens. DarTwin made precise by SysML v2 – An Experiment

  12. Yaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Zonghua Gu and Yong Zhou. Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical Software

  13. Farzaneh Kargozari and Sanaa Alwidian. A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles

  14. Emmanuel Charleson Dapaah and Jens Grabowski. Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation Framework