Abstract is missing.
- DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image ClassifiersColin Paterson, Haoze Wu 0001, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett. 3-17 [doi]
- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty EstimatesLisa Jöckel, Michael Kläs. 18-33 [doi]
- Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based SolutionMathieu Damour, Florence De Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière. 34-48 [doi]
- IT Design for Resiliency Using Extreme Value AnalysisSzilárd Bozóki, András Pataricza. 51-66 [doi]
- Evaluation Framework for Performance Limitation of Autonomous Systems Under Sensor AttackKoichi Shimizu, Daisuke Suzuki, Ryo Muramatsu, Hisashi Mori, Tomoyuki Nagatsuka, Tsutomu Matsumoto. 67-81 [doi]
- ISO/SAE 21434-Based Risk Assessment of Security Incidents in Automated Road VehiclesDominik Püllen, Jonas Liske, Stefan Katzenbeisser 0001. 82-97 [doi]
- Automating the Assembly of Security Assurance Case FragmentsBaoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling. 101-114 [doi]
- Safety Case Maintenance: A Systematic Literature ReviewCarmen Cârlan, Barbara Gallina, Liana Soima. 115-129 [doi]
- Towards Certified Analysis of Software Product Line Safety CasesRamy Shahin, Sahar Kokaly, Marsha Chechik. 130-145 [doi]
- Safety Assurance of Machine Learning for Chassis Control FunctionsSimon Burton, Iwo Kurzidem, Adrian Schwaiger, Philipp Schleiss, Michael Unterreiner, Torben Gräber, Philipp Becker. 149-162 [doi]
- Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure SensorsChristian Drabek, Anna Kosmalska, Gereon Weiss, Tasuku Ishigooka, Satoshi Otsuka, Mariko Mizuochi. 163-177 [doi]
- Machine Learning-Based Fault Injection for Hazard Analysis and Risk AssessmentBentley James Oakes, Mehrdad Moradi, Simon Van Mierlo, Hans Vangheluwe, Joachim Denil. 178-192 [doi]
- SASSI: Safety Analysis Using Simulation-Based Situation Coverage for Cobot SystemsBenjamin Lesage, Rob Alexander. 195-209 [doi]
- Attack and Fault Injection in Self-driving Agents on the Carla Simulator - Experience ReportNiccolò Piazzesi, Massimo Hong, Andrea Ceccarelli. 210-225 [doi]
- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0Andreas Schmidt, Joshua Frey, Daniel Hillen, Jessica Horbelt, Markus Schandar, Daniel Schneider 0001, Ioannis Sorokos. 226-239 [doi]
- A Modular Approach to Non-deterministic Dynamic Fault TreesSascha Müller 0005, Adeline Jordon, Andreas Gerndt, Thomas Noll 0001. 243-257 [doi]
- Composition of Fault ForestsDanielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer. 258-275 [doi]