default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID43rd SAFECOMP 2024: Florence, Italy
- Andrea Ceccarelli
, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings. Lecture Notes in Computer Science 14988, Springer 2024, ISBN 978-3-031-68605-4
Fault Injection and Tolerance
- Juan Carlos Ruiz, David de Andrés, Luis J. Saiz-Adalid, Joaquin Gracia-Moran:
In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant Bits. 3-17 - Tiziano Munaro, Irina Muntean, Alexander Pretschner:
A Failure Model Library for Simulation-Based Validation of Functional Safety. 18-32 - Anna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh, Evgenia Smirni:
Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle Software. 33-48
System and Software Safety Assurance
- Ewen Denney, Ganesh Pai:
Reconciling Safety Measurement and Dynamic Assurance. 51-67 - Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky:
Safety Invariant Engineering for Interlocking Verification. 68-83 - Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling:
Assurance Case Synthesis from a Curated Semantic Triplestore. 84-99 - Lev Sorokin, Ulrich Schöpp:
CyberDS: Auditable Monitoring in the Cloud. 100-115
Automated Driving Systems
- Philip Koopman:
Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap. 119-133 - Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng:
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. 134-149 - Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya:
A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. 150-165
Security of Safety-Critical Systems
- Alberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva, Francesco Barchi:
TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust. 169-183 - Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa:
A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System. 184-199 - Silvia Bonomi, Stefano Cappai, Emilio Coppa:
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools. 200-217 - Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. 218-232
Safety Verification
- Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio:
Coyan: Fault Tree Analysis - Exact and Scalable. 235-250 - Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman:
Safety Argumentation for Machinery Assembly Control Software. 251-266 - Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand:
Sound Non-interference Analysis for C/C++. 267-282
Autonomous Systems
- Philippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy:
A Dynamic Assurance Framework for an Autonomous Survey Drone. 285-299 - Philip Koopman, William H. Widen:
Redefining Safety for Autonomous Vehicles. 300-314
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-31 23:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
