SafeComp 2026
SafeComp 2026

SafeComp 2026

22-25 September, 2026
Universitat Politècnica de València
Camino de Vera s/n, 46022 - Valencia (Spain)

📄 Download Program (PDF)

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

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 with Reinforcement Learning-Based Threshold Adaptation 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
  • Defeaters from Accidents and Incident Reports: Discovery, Extraction, Identification 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, Theodore Russell, 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 | Position Papers: Session 1
  • Engineering Physical-Security-Aware Dependability: A Cross-Layer Framework for Resili(g)ence Alessandra Galassi and Fabio Graziosi
  • Expressing The Risk of Collision between Drones Using SORA Principles Sara Rachid and Fateh Kaakai
  • Safety Architecture for EV Thermal Management: A Multi-Sensor and Actuator ISO 26262 Perspective Baran Gülkaya, Kadir Capar, Sinan Ozturun and Mert Solmaz
  • From AI Assistance to Safety-Relevant Influence: Life-Cycle-Aware LLM-Supported Engineering Robert Maier and Florian Bogenberger
  • Research Agenda for Human-AI Teaming in Safety-Critical Settings Tita Alissa Bach and Dag McGeorge
  • Impact and Challenges of the UN Global Technical Regulation on Automated Driving Systems Ingo Stierand, Birte Neurohr and Björn Koopmann
  • Architectural Segregation as the Defensible Compliance Path for Physical AI in Medical Mechatronics Erik Scherlin and Daniel Watzenig
  • From Complexity to Confidence: Ensuring Reliability of Intelligent Maritime Software Systems Shuai Wang, Nikita Karandikar and Knut Erik Knutsen
  • A Hierarchical Framework for Safety in Orchestrated Systems-of-Systems Julieth Castellanos, Sasikummar Punnekkat, Gabriele Capannini and Sara Abbaspour
  • The Squeezed Middle: Responding to Engineering Process Changes Rob Ashmore and James Sharp
10:30 - 11:00 | Coffee Break
11:00 - 12:30 | 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:30 - 13:00 | Position Papers: Session 2
  • Toward Model-Based Compliance: Engineering NIST SP 800-130 Cryptographic Key Management Systems with SysML Ebru Akalp Kuzu and Mert Olpak
  • Quantum-Safe Readiness as Assurance Evidence Ofir Joseph
  • An Assurance Concept for LLM-based extraction of structured information from Clinical Reports Ioannis Sorokos, Thorsten Honroth, Michael Kläs and Theresa Ahrens
  • False Confidence in Residual-Risk Estimates: Why ADS Safety Cases Need Claim-Oriented V&V Credibility Arguments Jan Reich and Ioannis Sorokos
  • Certified Translation in TXS Core Richard Kreckel and Alexandre Bérard
  • AUTOSAFE 2.0: Improved and Optimized Automation of Fault Tree Analysis Kamilla Shagazatova, Aigerim Bakytzhanova, Winfried Friedl, Robert Muirhead and Brad Sams
  • One Model, Two Processes: Unifying Aerospace ARP4754B Development and ARP4761A Safety Assessment in a SysML v2 Source of Truth Omar Hafez, Brad Sams and Robert Muirhead
  • Runtime Trustworthiness Under Uncertainty: A Fuzzy Cause Tree and Subjective Logic Framework for Autonomous Systems Thejus Pathmakumar, Robert Puto, Benjamin Herd and Mario Trapp
  • Treating Dynamic Risk and Complexity in IEC 63187 James Inge, Katia Potiron, Joseph Machrouh and Odd Ivar Haugen
  • How Can Neuroscience Enhance System Safety? Quentin Montardy, Katia Potiron and James Inge
13:00 - 13:30 | EWICS Session
13:30 - 14:30 | Lunch
14:30 - 15:00 | Position Papers: Session 3
  • A Position on Security Assurance for Compute-in-the-network Cyber-Physical Systems Saad Mubeen, Mohammad Ashjaei, Per Strandberg and Björn Leander
  • Quantitative Confidence Assessment: An essential ingredient for dynamic assurance Simon Diemert and Jens Weber
  • Closing the Loop Between Safety and Autonomy Laure Buysse, Dries Vanoost, Davy Pissoort, Flavia Sofia Acerbo, Jan Swevers and Wilm Decré
  • Mutually Beneficial Safety and Security Analyses Lindsay White, Richard Paige and Alan Wassyng
  • Runtime Assurance Framework for V2X: Misbehavior Detection as SOTIF Runtime Monitoring Ashok Krishna
  • The Knowledge Representation Gap in Assurance Mauricio Castillo-Effen
  • Operational Safety and Cybersecurity Assurance of AI-Based Perception in Highly Automated Driving Milin Patel and Rolf Jung
  • Practical Challenges in Uncertainty Quantification for General-Purpose AI in Generative Tasks Michael Klaes, Rasmus Adler, Thorsten Honroth and Tuhinangshu Gangopadhyay
  • SCORE: Toward Certifiable AI on Linux Through Continuous Runtime Monitoring Iker Galardi, Markel Galaraga, Unai Garciarena, Iñaki Garitano, Charles-Alexis Lefebvre, Javier Navaridas, Jose A. Pascual, Urko Zurutuza and Fernando Lahoz
  • Operationalizing ODDs for Runtime Assurance of Safety-Critical AI Systems Stefan Brunner, Monika Reif and Stefan Leue
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 for Position Papers: Discuss with authors)
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
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, Josef Jiru, Johanna Schmidhuber, Poulami Sinhamahapatra, Florian Butsch and Reinhard Stolle
  • Practical Challenges in AI Risk Classification and Assessment: Insights from an AI Sandbox Pilot Danilo Brajovic, Benjamin Fresz, Elena Dubovitskaya, Nadine Ferber, Theo Jacobs, Lena Lörcher and Marco F. Huber
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, Ilir Gashi, Sathish Gopalakrishnan, Karthik Pattabiraman and Kizito Salako
12:30 - 13:30 | Session 9: Real-time aspects
  • MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski and Alexandru Kampmann
  • On the Timing Determinism of CUDA and Vulkan SC for Safety-Critical AI Workloads on Integrated SoC GPUs Yousif M. Elsheikh, Adrian Raiser, Fabian Frommherz and Zamira Daw
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, Juan Camilo Guevara Gomez, Meine van der Meulen, Per Myrseth and Andreas Hafver
  • ML-Powered Test Case Prioritisation: Leveraging Code Changes for Optimal Testing Loui Al Sardy, Niklas Markert and Reinhard German
15:30 - 16:00 | Closing session