Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops

CSRIS, DAIES, DECSoS, ORCAS, SafetyNXT, SASSUR, SENSEI, and WAISE, Valencia, Spain, September 22, 2026, Proceedings

Elena Troubitsyna and Others
    • €74.99
    • €74.99

Publisher Description

This book constitutes the proceedings of the Workshops held in conjunction with the 45th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2026, which took place in Valencia, Spain, on September 22, 2026.

The 58 papers included in this book were carefully reviewed and selected from a total of 84 submissions to the following eight workshops:

CSRIS 2026 – First International Workshop on Cybersecure Supply Chains for Safe and Resilient Industrial Systems

DAIES 2026 – First International Workshop on Dependable AI in Embedded Systems

DECSoS 2026 – 21st International EWICS/ERCIM Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems

ORCAS 2026 – First International Workshop on OverReliance on Cognitive AI Systems in Safety-Critical Domains

SafetyNXT 2026 – Second International Workshop on Disruptive Safety Challenges and Paradigms

SASSUR 2026 – 13th International Workshop on Next generation of System Assurance approaches for Critical Systems

SENSEI 2026 – Fifth International Workshop on Safety aNd SEcurity Interactions

WAISE 2026 – Ninth International Workshop on Artificial Intelligence Safety Engineering

GENRE
Computing & Internet
RELEASED
2026
20 September
LANGUAGE
EN
English
LENGTH
835
Pages
PUBLISHER
Springer Nature Switzerland
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
82.4
MB
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2026
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
2025
Integrated Formal Methods Integrated Formal Methods
2020
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2019
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2019
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2016