kth.sePublications KTH
Change search
Link to record
Permanent link

Direct link
Publications (2 of 2) Show all publications
Gallina, B., Törngren, M. & Bitsch, F. (Eds.). (2026). Computer Safety, Reliability, and Security. Paper presented at 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10–12, 2025. Springer
Open this publication in new window or tab >>Computer Safety, Reliability, and Security
2026 (English)Conference proceedings (editor) (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2026. p. xviii, 242
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-384589 (URN)10.1007/978-3-032-01241-8 (DOI)978-3-032-01241-8 (ISBN)
Conference
44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10–12, 2025
Note

QC 20260709

Available from: 2026-07-01 Created: 2026-07-01 Last updated: 2026-07-09Bibliographically approved
Törngren, M., Gallina, B., Schoitsch, E., Troubitsyna, E. & Bitsch, F. (Eds.). (2026). Computer Safety, Reliability, and Security: SAFECOMP 2025 Workshops. Paper presented at CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025. Springer
Open this publication in new window or tab >>Computer Safety, Reliability, and Security: SAFECOMP 2025 Workshops
Show others...
2026 (English)Conference proceedings (editor) (Other academic)
Place, publisher, year, edition, pages
Springer, 2026
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 15955
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-384590 (URN)
Conference
CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025
Note

Part of ISBN 978-3-032-02017-8

QC 20260709

Available from: 2026-07-01 Created: 2026-07-01 Last updated: 2026-07-09Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-6952-1053

Search in DiVA

Show all publications