| 2020 | A Classification of Faults Covering the Human-Computer Interaction Loop. Philippe A. Palanque, Andy Cockburn, Carl Gutwin |
| 2020 | A Compositional Semantics for Repairable BDMPs. Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2020 | A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME). Katharina Ceesay-Seitz, Hamza Boukabache, Daniel Perrin |
| 2020 | A Safety Framework for Critical Systems Utilising Deep Neural Networks. Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang |
| 2020 | An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy |
| 2020 | Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. Rob Ashmore, James Sharp |
| 2020 | Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli |
| 2020 | Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. Tabea Schmidt, Florian Hauer, Alexander Pretschner |
| 2020 | Automated Attacker Synthesis for Distributed Protocols. Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |
| 2020 | Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira |
| 2020 | Cyber-Security of Neural Networks in Medical Devices. Uwe Becker |
| 2020 | Efficient Load-Time Diversity for an Embedded Real-Time Operating System. Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner |
| 2020 | Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis |
| 2020 | Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz |
| 2020 | FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. Carmen Cârlan, Daniel Ratiu |
| 2020 | Just Enough Formality in Assurance Argument Structures. Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik |
| 2020 | Model-Based Safety Analysis of Mode Transitions. Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová |
| 2020 | Model-Centered Assurance for Autonomous Systems. Susmit Jha, John Rushby, Natarajan Shankar |
| 2020 | On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. João R. Campos, Ernesto Costa, Marco Vieira |
| 2020 | On Validating Attack Trees with Attack Effects. Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida |
| 2020 | Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection. Markus Heinrich, Dominik Renkel, Tolga Arul, Stefan Katzenbeisser |
| 2020 | Quantifying Assurance in Learning-Enabled Systems. Erfan Asaadi, Ewen Denney, Ganesh Pai |
| 2020 | Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle. Dominik Püllen, Nikolaos A. Anagnostopoulos, Tolga Arul, Stefan Katzenbeisser |
| 2020 | Safety-Aware Hardening of 3D Object Detection Neural Network Systems. Chih-Hong Cheng |
| 2020 | Securing Electric Vehicle Charging Systems Through Component Binding. Andreas Fuchs, Dustin Kern, Christoph Krauß, Maria Zhdanova |
| 2020 | Systematic Evaluation of (Safety) Assurance Cases. Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2020 | Threat Analysis Framework for Safety Architectures in SCDL. Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita |
| 2020 | Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems. Georg Hake, Sebastian Feuerstack, Axel Hahn |
| 2020 | Towards an Automated Exploration of Secure IoT/CPS Design-Variants. Lukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe |
| 2020 | Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs. Jens Vankeirsbilck, Hans Hallez, Jeroen Boydens |