SafeComp 2026
SafeComp 2026

Conference Scientific Program

 

Program at a Glance

 

Workshop day Conference days
Time 22-Sep 23-Sep 24-Sep 25-Sep
08:30-09:00Registration
09:00-09:30WS1 Opening Session Keynote 2 Keynote 3
09:30-10:00 Keynote 1
10:00-10:30Coffee Break
10:30-11:00Coffee Break S4: Safety of AI-Based Systems S7: Practice of hazard analysis and risk assessment
11:00-11:30WS2 S1: Fault tolerance and diagnosis
11:30-12:00 S9: Real-time aspects
12:00-12:30 Position Papers
12:30-13:00WS3 S2: Safety protection S8: Quantitative methods
13:00-13:30 Posters
13:30-14:30Lunch
14:30-15:00WS4 S3: Cybersecurity and mixed-criticality in safety-critical systems EWICS Session S10: Testing
15:00-15:30 S5: Industrial Safety Engineering in the AI-Era
15:30-16:00 Closing Session
16:00-16:30Coffee Break Free Coffee Break (Posters discussion)
16:30-17:00WS5
17:00-17:30 S6: Engineering Safety Systems
17:30-18:00
18:00-20:00Free Free
20:00-22:00

 

Detailed Program by Day

 

Workshop programs can be found in their respective webpages.


CSRIS 2026: 1st Int. Workshop on Cybersecure Supply Chains for Safe and Resilient Industrial Systems
Go to program
SASSUR 2026: 13th Int. Workshop on Next Generation of System Assurance Approaches for Critical Systems
Go to program
DECSoS 2026: 21st Int. Workshop on Dependable Smart Embedded Cyber-Physical Systems And Systems-of-Systems
Go to program
ORCAS 2026: 1st Int. Workshop on OverReliance on Cognitive AI Systems in Safety-Critical Domains
Go to program
SafetyNXT 2026: 2nd Int. Workshop on Disruptive Safety Challenges and Paradigms
Go to program
DAIES 2026: 1st Int. Workshop on Dependable AI in Embedded Systems
Go to program
SENSEI 2026: 5th Int. Workshop on SafEty aNd SEcurity Interactions
Go to program
WAISE 2026: 9th Int. Workshop on Artificial Intelligence Safety Engineering
Go to program

Conference Day 1 (23-Sept)

08:30 - 09:00 | Registration
09:00 - 09:30 | Opening session

Welcome to SafeComp 2026. Official start of the conference journey.

09:30 - 10:30 | Keynote 1: Toward Large-Scale Fault-Tolerant Quantum Computers: Security in the Quantum Era
Carmen G. Almudéver
Universitat Politècnica de València (Spain)
10:30 - 11:00 | Coffee Break
11:00 - 12:30 | Session 1: Fault tolerance and diagnosis
  • OpenFI4ASIC: An Open-Source Fault Injection Framework for ASIC Designs via FPGA-Based Rapid Prototyping Jasper Homann, Eike Trumann, Umut Durak and Guillermo Payá-Vayá
  • Two-Layer Adaptive Fault Tolerance Framework for Internet of Medical Things: A Weighted Autoencoder Abdelhammid Bouazza, Hichem Debbi and Hicham Lakhlef
  • Diagnosis of Runtime Property Violation Alberto Sambrotta, Stefano Tonetta, Alessandro Cimatti and Marco Bozzano
12:30 - 13:30 | Session 2: Safety protection
  • Defeater Discovery Extraction Learning from Accidents and Incident Reports Tihomir Rohlinger, Daniel Ratiu, Carmen Carlan and Stefan Wagner
  • A Safety Cage for Reliable GNSS and AI-based PNT: an Experience Report Guillermo Gomez, Alberto Griggio, Luca Morelli, Stefano Tonetta and Pawel Trybala
13:30 - 14:30 | Lunch
14:30 - 16:00 | Session 3: Cybersecurity and mixed-criticality in safety-critical systems
  • Identifying Control & Monitoring Data for Forensics of Safety-Critical Attacks on Control Room Operations Alexios Karagiozidis and Martin Gergeleit
  • Remote Attestation for Secure Industrial Device Onboarding Volodymyr Trykoz, Björn Leander, Saad Mubeen and Mohammad Ashjaei
  • Mixed-Criticality with Unsafe Operating Systems Michael Peter, Radu Morus, George Adrian Ciusleanu and Kai Lampka
16:00 - 18:00 | Free time

Conference Day 2 (24-Sept)

08:30 - 09:00 | Registration
09:00 - 10:00 | Keynote 2: Physical AI Safety: A Unified Framework for Safety, Security, and AI Assurance
Gianpiero Negri
Global Head, Robotics Safety Center of Excellence, Amazon Robotics (Italy)
10:00 - 10:30 | Coffee Break
10:30 - 12:00 | Session 4: Safety of AI-Based Systems
  • Formal Target Aware Training of Machine Learning Models Nicolas Valot, Louis Fabre, Benjamin Lesage, Ammar Mechouche and Claire Pagetti
  • From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems Thomas Stefani, Johann Maximilian Christensen, Elena Hoemann, Frank Köster and Sven Hallerbach
  • From Concept to Capability: Evaluating 3D Gaussian Splatting for Synthetic Scene Editing in Autonomous Driving Ali Nouri, Yifei Zhang, Yifan Zhang, Tayssir Bouraffa, Zhennan Fei, Zijian Han, Hakan Sivencrona and Anders Heyden
12:00 - 13:00 | Position Papers
13:00 - 13:30 | Posters
13:30 - 14:30 | Lunch
14:30 - 15:00 | EWICS Session
15:00 - 16:00 | Session 5: Industrial Safety Engineering in the AI-Era
  • Adoption of Safety Standards in the Japanese Automotive Industry: A Consortium Survey Yutaka Matsuno, Shinobu Ochiai and Fumiaki Kono
  • SmartStandards: Efficient extraction and operationalization of requirements from industry safety standards using Generative AI Daniel Hillen, Marc Lorenz, Pascal Gerber and Jan Reich
16:00 - 17:00 | Coffee Break (Posters discussion)
17:00 - 18:00 | Session 6: Engineering Safety Systems
  • Chaining Unsafe Control Actions in STPA Nicholas Petrunti, Spencer Deevy, Vera Pantelic, Mark Lawford, Richard Paige and Alan Wassyng
  • SubSeaCure: Grid-Based Risk Mapping of Europe’s Subsea Data Cable Network Jonas Franken, Martin Hagemeier, Timon Dörnfeld, Julian Löffler, Paula Meissner and Christian Reuter
18:00 - 20:00 | Free time

Conference Day 3 (25-Sept)

08:30 - 09:00 | Registration
09:00 - 10:00 | Keynote 3: Combining High Performance Hardware and Software with High Software Assurance: Is it Possible?
Leonidas Kosmidis
Barcelona Supercomputing Center (Spain)
10:00 - 10:30 | Coffee Break
10:30 - 11:30 | Session 7: Practice of hazard analysis and risk assessment
  • Five Measures to Counter Obscure Hazardous Failure Conditions in Foundation Model Systems Florian Geissler, Daniel Ratiu, Carmen Carlan and Stefan Wagner
  • Practical Challenges in AI Risk Classification and Assessment: Insights from an AI Sandbox Pilot Danilo Brajovic, Elena Hoemann, Frank Köster and Sven Hallerbach
11:30 - 12:30 | Session 8: Quantitative methods
  • Probabilistic Confidence in Assurance 2.0 Arguments Robin Bloomfield and John Rushby
  • The Statistical Assessment of Bayes-suboptimal Binary Machine Learning Classifier Risk Abraham Chan, Yifei Zhang, Ali Nouri and Anders Heyden
12:30 - 13:30 | Session 9: Real-time aspects
  • MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language Marius Molz, Marc Lorenz, Pascal Gerber and Jan Reich
  • On the Timing Determinism of CUDA and Vulkan SC for Safety-Critical AI Workloads Adrian Raiser, Thomas Stefani, Johann Maximilian Christensen and Frank Köster
13:30 - 14:30 | Lunch
14:30 - 15:30 | Session 10: Testing
  • Uncertainty-Aware Threat-Informed Test Case Prioritization with Human-in-the-Loop Darshana Abeyrathna Kuruge, Hakan Sivencrona, Ali Nouri and Anders Heyden
  • ML-Powered Test Case Prioritisation: Leveraging Code Changes for Optimal Testing Loui Al Sardy, Yifei Zhang, Tayssir Bouraffa and Zijian Han
15:30 - 16:00 | Closing session