- Torin Viger, Simon Diemert, Olivia Foster:
Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases. SAFECOMP Workshops 2023: 165-175 - Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo:
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops 2023: 135-148 - Rui Wang, Mengying Wang, Ci Liang, Zhouxian Jiang:
Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning. SAFECOMP Workshops 2023: 218-229 - Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani:
Contextualised Out-of-Distribution Detection Using Pattern Identification. SAFECOMP Workshops 2023: 423-435 - Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka:
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. SAFECOMP Workshops 2023: 15-25 - Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada:
A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMate. SAFECOMP Workshops 2023: 47-60 - Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Lecture Notes in Computer Science 14182, Springer 2023, ISBN 978-3-031-40952-3 [contents]