Computer Safety, Reliability, and Security

This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025. 

The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language.