| 2024 | A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya |
| 2024 | A Dynamic Assurance Framework for an Autonomous Survey Drone. Philippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy |
| 2024 | A Failure Model Library for Simulation-Based Validation of Functional Safety. Tiziano Munaro, Irina Muntean, Alexander Pretschner |
| 2024 | A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System. Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa |
| 2024 | Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap. Philip Koopman |
| 2024 | Assurance Case Synthesis from a Curated Semantic Triplestore. Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
| 2024 | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng |
| 2024 | Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch |
| 2024 | Coyan: Fault Tree Analysis - Exact and Scalable. Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio |
| 2024 | CyberDS: Auditable Monitoring in the Cloud. Lev Sorokin, Ulrich Schöpp |
| 2024 | Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools. Silvia Bonomi, Stefano Cappai, Emilio Coppa |
| 2024 | In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant Bits. Juan Carlos Ruiz, David de Andrés, Luis J. Saiz-Adalid, Joaquin Gracia-Moran |
| 2024 | Reconciling Safety Measurement and Dynamic Assurance. Ewen Denney, Ganesh Pai |
| 2024 | Redefining Safety for Autonomous Vehicles. Philip Koopman, William H. Widen |
| 2024 | Safety Argumentation for Machinery Assembly Control Software. Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman |
| 2024 | Safety Invariant Engineering for Interlocking Verification. Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2024 | Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga |
| 2024 | Sound Non-interference Analysis for C/C++. Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand |
| 2024 | Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle Software. Anna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh, Evgenia Smirni |
| 2024 | TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust. Alberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva, Francesco Barchi |