MENU

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

Cookies

I cookie di questo sito servono al suo corretto funzionamento e non raccolgono alcuna tua informazione personale. Se navighi su di esso accetti la loro presenza.  Maggiori informazioni