Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:

!-- [if !supportLists]--· !--[endif]--CoC3CPS 2025, Co-Design of Communication, Computing and Control in Cyber-Physical Systems

!-- [if !supportLists]--· !--[endif]--DECSoS 2025 – 20th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems

!-- [if !supportLists]--· !--[endif]--SASSUR 2025 - 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

!-- [if !supportLists]--· !--[endif]--SENSEI 2025 – 4th International Workshop on Safety and Security Interaction

!-- [if !supportLists]--· !--[endif]--SRToITS 2025 – 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems

!-- [if !supportLists]--· !--[endif]--WAISE 2025 – 8th International Workshop on Artificial Intelligence Safety Engineering