MODELS 2025
Sun 5 - Fri 10 October 2025 Grand Rapids, Michigan, United States
MODELS 2025 (series) / Grand Valley State University /

Room information: SAM Room 1 [Remote]

VenueGrand Valley State University
Room nameSAM Room 1 [Remote]
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 6 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 09:40
Welcome & KeynoteSAM Conference at SAM Room 1 [Remote]

Online

08:30
15m
Day opening
WelcomeRemote
SAM Conference
Eugene Syriani Université de Montréal, Erik Fredericks Grand Valley State University
08:45
55m
Keynote
Keynote: Multidisciplinary Model-Based Approaches to Assurance for Safety-Critical Learning-Enabled Autonomous SystemsRemote
SAM Conference
Betty H.C. Cheng Michigan State University
09:40 - 10:00
Session 1: Vision for the Future of Engineering SystemsSAM Conference at SAM Room 1 [Remote]

Online

09:40
20m
Talk
Modeling: The Heart and Soul of Engineering Smart EcosystemsRemote
SAM Conference
Antonio Bucchiarone DISIM, University of L'Aquila, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Alfonso Pierantonio , Nelly Bencomo Durham University, Mark van den Brand Eindhoven University of Technology, Jean-Michel Bruel Université de Toulouse, France, Antonio Cicchetti Sweden, Juri Di Rocco University of L'Aquila, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Mikael Sjödin Malardalen University, Gabriele Taentzer Philipps-Universität Marburg, Matthias Tichy Ulm University, Hans Vangheluwe University of Antwerp and Flanders Make, Manuel Wimmer JKU Linz, Steffen Zschaler King's College London
Pre-print
10:30 - 12:00
Session 2: Traceability and VerificationSAM Conference at SAM Room 1 [Remote]

Online

10:30
30m
Talk
Bridging the V-Model: Early Pre-Verification of Digital System Architectures via Estimation and Back-AnnotationRemote
SAM Conference
Christian Seifert Graz University of Technology, Christian Steger Graz University of Technology, Tiberio Fanti NXP Semiconductors Austria GmbH Co&KG
11:00
30m
Talk
Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded SystemsRemote
SAM Conference
Jawher Jerray LIUPPA Université de Pau et des pays de l'Adour Pau France, Bastien Sultan Télécom Paris, Polytechnic Institute of Paris, Ludovic Apvrille Télécom Paris
11:30
30m
Talk
Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS ProjectsRemote
SAM Conference
Zaki Pauzi University of Groningen, Andrea Capiluppi University of Groningen
13:30 - 15:00
Session 3: Systems EngineeringSAM Conference at SAM Room 1 [Remote]

Online

13:30
30m
Talk
DarTwin made precise by SysML v2 – An ExperimentRemote
SAM Conference
Øystein Haugen Østfold University College, Stefan Klikovits Johannes Kepler University, Linz, Martin Arthur Andersen Østfold University College, Jonathan Beaulieu École de technologie supérieure (ÉTS), Francis Bordeleau École de Technologie Supérieure (ETS), Joachim Denil University of Antwerp, Belgium, Joost Mertens University of Antwerp, Antwerp, Belgium
14:00
30m
Talk
Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and ChallengesRemote
SAM Conference
Maged Elaasar Jet Propulsion Laboratory (NASA), Abdelwahab Hamou-Lhadj ECE Concordia Unversity, Bentley Oakes Polytechnique Montréal, Mohammad Hamdaqa Polytechnique Montreal
14:30
30m
Talk
Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics ScenarioRemote
SAM Conference
Hamza Haoui Tampere university, Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, David Hastbacka Tampere University, Kari Systa Tampere University
15:30 - 16:20
Session 4: FormalizationSAM Conference at SAM Room 1 [Remote]

Online

15:30
30m
Talk
Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking SystemsRemote
SAM Conference
Sebastian Bergemann Technical University of Munich & fortiss GmbH, Andreas Bayha fortiss GmbH, Derui Zhu Technical University of Munich, Mohammad Sadeghi University of Mannheim, Colin Atkinson University of Mannheim, Alexander Pretschner Technical University of Munich
16:00
20m
Talk
Optimizing Industrial Operations through Business Process FormalizationRemote
SAM Conference
Mihal Brumbulli PragmaDev, Emmanuel Gaudin PragmaDev, Paris

Tue 7 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 5: LLMs for Model-Based EngineeringSAM Conference at SAM Room 1 [Remote]

Online

08:30
5m
Day opening
Day OpeningRemote
SAM Conference

08:35
28m
Talk
Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning FrameworkRemote
SAM Conference
Richard Qualis Florida Institute of Technology
09:03
28m
Talk
Towards LLM Agents for Model-Based Engineering: A Case in Transformation SelectionRemote
SAM Conference
Zakaria Hachm IMT Atlantique, LS2N (UMR CNRS 6004), Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
09:31
29m
Talk
Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical SoftwareRemote
SAM Conference
Yaxin Zou Nanjing University of Aeronautics and Astronautics, Zhibin Yang Nanjing University of Aeronautics and Astronautics, Hao Liu Nanjing University of Aeronautics and Astronautics, Jiawei Liang Nanjing University of Aeronautics and Astronautics, Zonghua Gu Hofstra University, Yong Zhou Nanjing University of Aeronautics and Astronautics
10:30 - 12:00
Session 6: Trustworthy AI SystemsSAM Conference at SAM Room 1 [Remote]

Online

10:30
30m
Talk
Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation FrameworkRemote
SAM Conference
Emmanuel Charleson Dapaah University of Göttingen, Jens Grabowski
11:00
30m
Talk
A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous VehiclesRemote
SAM Conference
Farzaneh Kargozari Ontario Tech University - Faculty of Engineering and Applied Science - Electrical-Computer & Software Engineering, Sanaa Alwidian
11:30
30m
Day closing
Closing Ceremony: Final words, Best Paper AwardRemote
SAM Conference

Mon 6 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
SAM Room 1 [Remote]

SAM Conference

Welcome & Keynote

SAM Conference

Session 1: Vision for the Future of Engineering Systems

SAM Conference

Session 2: Traceability and Verification

SAM Conference

Session 3: Systems Engineering

SAM Conference

Session 4: Formalization

Tue 7 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:0030
SAM Room 1 [Remote]

SAM Conference

Session 5: LLMs for Model-Based Engineering

SAM Conference

Session 6: Trustworthy AI Systems

Mon 6 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
SAM Room 1 [Remote]
MODELS SAM ConferenceRemote
Welcome
08:30 - 08:45
MODELS SAM ConferenceRemote
Keynote: Multidisciplinary Model-Based Approaches to Assurance for Safe ...
08:45 - 09:40
MODELS SAM ConferenceRemote
Modeling: The Heart and Soul of Engineering Smart Ecosystems
09:40 - 10:00
MODELS SAM ConferenceRemote
Bridging the V-Model: Early Pre-Verification of Digital System Architec ...
10:30 - 11:00
MODELS SAM ConferenceRemote
Fine-Grained Confidentiality and Authenticity Modeling and Verification ...
11:00 - 11:30
MODELS SAM ConferenceRemote
Using Concept Traceability to Investigate UML Class Diagram Evolution i ...
11:30 - 12:00
MODELS SAM ConferenceRemote
DarTwin made precise by SysML v2 – An Experiment
13:30 - 14:00
MODELS SAM ConferenceRemote
Model-Based Systems Engineering Perspectives: A Survey of Practitioner ...
14:00 - 14:30
MODELS SAM ConferenceRemote
Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbo ...
14:30 - 15:00
MODELS SAM ConferenceRemote
Mind the Leak: Formalizing Confidentiality Preservation Assessment of M ...
15:30 - 16:00
MODELS SAM ConferenceRemote
Optimizing Industrial Operations through Business Process Formalization
16:00 - 16:20

Tue 7 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:00153045
SAM Room 1 [Remote]
MODELS SAM ConferenceRemote
Day Opening
08:30 - 08:35
MODELS SAM ConferenceRemote
Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-L ...
08:35 - 09:03
MODELS SAM ConferenceRemote
Towards LLM Agents for Model-Based Engineering: A Case in Transformatio ...
09:03 - 09:31
MODELS SAM ConferenceRemote
Automated AADL Architecture Modeling : Leveraging Large Language Models ...
09:31 - 10:00
MODELS SAM ConferenceRemote
Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-C ...
10:30 - 11:00
MODELS SAM ConferenceRemote
A Real-Time Multi-modal Framework for Human-Centric Requirements Engine ...
11:00 - 11:30
MODELS SAM ConferenceRemote
Closing Ceremony: Final words, Best Paper Award
11:30 - 12:00