default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID40th SAFECOMP 2021: York, UK
- Ibrahim Habli
, Mark Sujan, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12852, Springer 2021, ISBN 978-3-030-83902-4
Machine Learning Safety Assurance
- Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. 3-17 - Lisa Jöckel, Michael Kläs:
Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates. 18-33 - Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière:
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. 34-48
Security Engineering
- Szilárd Bozóki, András Pataricza:
IT Design for Resiliency Using Extreme Value Analysis. 51-66 - Koichi Shimizu, Daisuke Suzuki, Ryo Muramatsu, Hisashi Mori, Tomoyuki Nagatsuka, Tsutomu Matsumoto:
Evaluation Framework for Performance Limitation of Autonomous Systems Under Sensor Attack. 67-81 - Dominik Püllen, Jonas Liske, Stefan Katzenbeisser:
ISO/SAE 21434-Based Risk Assessment of Security Incidents in Automated Road Vehicles. 82-97
Safety and Assurance Cases
- Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling:
Automating the Assembly of Security Assurance Case Fragments. 101-114 - Carmen Cârlan, Barbara Gallina, Liana Soima:
Safety Case Maintenance: A Systematic Literature Review. 115-129 - Ramy Shahin, Sahar Kokaly, Marsha Chechik:
Towards Certified Analysis of Software Product Line Safety Cases. 130-145
Machine Learning Applications
- Simon Burton, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker:
Safety Assurance of Machine Learning for Chassis Control Functions. 149-162 - Christian Drabek, Anna Kosmalska, Gereon Weiss, Tasuku Ishigooka, Satoshi Otsuka, Mariko Mizuochi:
Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors. 163-177 - Bentley James Oakes, Mehrdad Moradi, Simon Van Mierlo, Hans Vangheluwe, Joachim Denil:
Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment. 178-192
Safety Validation and Simulation
- Benjamin Lesage, Rob Alexander:
SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot Systems. 195-209 - Niccolò Piazzesi, Massimo Hong, Andrea Ceccarelli:
Attack and Fault Injection in Self-driving Agents on the Carla Simulator - Experience Report. 210-225 - Andreas Schmidt, Joshua Frey, Daniel Hillen, Jessica Horbelt, Markus Schandar, Daniel Schneider, Ioannis Sorokos:
A Framework for Automated Quality Assurance and Documentation for Pharma 4.0. 226-239
Fault Tolerance
- Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll:
A Modular Approach to Non-deterministic Dynamic Fault Trees. 243-257 - Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. 258-275
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-01-08 20:17 CET 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:
