Accepted Papers
| Authors | Paper Title |
| Tiziano Munaro, Irina Muntean and Alexander Pretschner | A Failure Model Library for Simulation-based Validation of Functional Safety |
| Philip Koopman and William Widen | Redefining Safety for Autonomous Vehicles |
| Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra and Michael Durling | Assurance Case Synthesis from a Curated Semantic Triplestore |
| Alexei Iliasov, Dominic Taylor, Linas Laibinis and Alexander Romanovsky | Safety Invariant Engineering for Interlocking Verification |
| Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada and Tomoyuki Tsuchiya | A Case Study of Continuous Assurance Argument for Level 4 Automated Driving |
| Ewen Denney and Ganesh Pai | Reconciling Safety Measurement and Dynamic Assurance |
| Phil Koopman | Anatomy of a Robotaxi Crash: The Cruise Pedestrian Dragging Mishap |
| Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson and Peter Backeman | Safety Argumentation for Machinery Assembly Control Software. |
| Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard Paige, Ramesh S and Alan Wassyng | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems |
| Juan Carlos Ruiz Garcia, Luis Jose Saiz-Adalid, David de Andrés Martínez and Joaquín Gracia-Morán | In-Memory Zero-Space Floating-Point-based CNN protection using non-significant and invariant bits |
| Nazareno Garagiola, Holger Hermanns and Pedro D'Argenio | Coyan: Fault Tree Analysis - Exact and Scalable |
| Silvia Bonomi, Stefano Cappai and Emilio Coppa | Evaluating the vulnerability detection efficacy of smart contracts analysis tools |
| Philippa Ryan, Sepeedeh Shahbeigi, Ioannis Stefanakos, Jie Zou and John Molloy | A Dynamic Assurance Framework for an Autonomous Survey Drone |
| Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann and Christian Ferdinand | Sound Non-Interference Analysis for C/C++ |
| Anna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh and Evgenia Smirni | Strategic Resilience Evaluation of Neural Networks within Autonomous Vehicle Software |
| Alberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva and Francesco Barchi | TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust |
| Reza Soltani, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga | Safety-security analysis via Attack-Fault-Defense Trees: semantics and cut set metrics |
| Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim and Alexei Lisitsa | A Lightweight and Responsive On-line IDS towards Intelligent Connected Vehicles System |
| Lev Sorokin and Ulrich Schöpp | CyberDS: Auditable Monitoring in the Cloud |
Last update
15.07.2024