SafeComp 2026
SafeComp 2026

SafeComp 2026

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

Access to the Workshop and the Main-Track proceedings

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

 

Workshops will take place on the 2nd floor of Building 6G (Nexus Building) at Universitat Politècnica de València. Please check the conference Venue page for more information.

Workshop programs can be found on 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

The main track of SafeComp will take place on the 3rd floor of Building 8B at Universitat Politècnica de València. Please check the conference Venue page for more information.

Conference Day 1 (23-Sept)

08:30 - 09:00 | Registration
09:00 - 09:30 |
Opening session Chair: María Belén Picó Sirvent, Vice-Rector for Research at Universitat Politècnica de València

Official welcome address by Prof. María Belén Picó Sirvent, Vice-Rector for Research at Universitat Politècnica de València. Program Committee Co-Chairs Prof. Elena Troubitsyna and Dr. David de Andrés will then outline the review and paper selection process behind the scientific program. Subsequently, General Chair Dr. Juan Carlos Ruiz will present key details regarding workshops, position papers, and the social program. To conclude, Vice-Rector Prof. Picó Sirvent will formally declare the conference open.

10:30 - 11:00 | Coffee Break
11:00 - 12:30 |
Session 1: Fault tolerance and diagnosis Chair: Claire Pagetti, ONERA
  • 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 Chair: Kenji Taguchi, UL Japan
  • 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 Chair: Uwe Becker, Draegerwerk AG & Co KGaA
  • 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

The main track of SafeComp will take place on the 3rd floor of Building 8B at Universitat Politècnica de València. Please check the conference Venue page for more information.

Conference Day 2 (24-Sept)

08:30 - 09:00 | Registration
10:00 - 10:30 |
Position Papers: Session 1 Chair: Jérémie Guiochet, LAAS-CNRS
  • 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 Chair: Simon Burton, Fraunhofer IKS
  • 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 Chair: Jérémie Guiochet, LAAS-CNRS
  • 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 Chair: Jérémie Guiochet, LAAS-CNRS
  • 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 Chair: Magnus Albert, SICK AG
  • 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 Chair: Erwin Schoitsch, AIT Austrian Institute of Technology
  • 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

The main track of SafeComp will take place on the 3rd floor of Building 8B at Universitat Politècnica de València. Please check the conference Venue page for more information.

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 Chair: Martin Rothfelder, Siemens AG
  • 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 Chair: Mark Lawford, McMaster University
  • 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 Chair: Stefano Tonetta, FBK
  • 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 Chair: José Luis de la Vara, University of Castilla-La Mancha
  • 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