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