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