| 2020 | A Classification of Faults Covering the Human-Computer Interaction Loop. | Philippe A. Palanque, Andy Cockburn, Carl Gutwin |
| 2020 | On Validating Attack Trees with Attack Effects. | Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida |
| 2020 | Safety and Security Interference Analysis in the Design Stage. | Jabier Martinez, Jean Godot, Alejandra Ruiz, Abel Balbis, Ricardo Ruiz Nolasco |
| 2020 | Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach. | Nadja Marko, Alexandr Vasenev, Christoph Striecks |
| 2020 | ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a Nutshell. | Georg Macher, Christoph Schmittner, Omar Veledar, Eugen Brenner |
| 2020 | Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks. | Lucie Langer, Arndt Bonitz, Christoph Schmittner, Stefan Ruehrup |
| 2020 | A Principal Component Analysis Approach for Embedding Local Symmetries into Deep Learning Algorithms. | Pierre-Yves Lagrave |
| 2020 | WiCAR - Simulating Towards the Wireless Car. | Harrison Kurunathan, Ricardo Severino, Enio Vasconcelos Filho, Eduardo Tovar |
| 2020 | Positive Trust Balance for Self-driving Car Deployment. | Philip Koopman, Michael Wagner |
| 2020 | LoRaWAN with HSM as a Security Improvement for Agriculture Applications. | Reinhard Kloibhofer, Erwin Kristen, Luca Davoli |
| 2020 | A Framework for Building Uncertainty Wrappers for AI/ML-Based Data-Driven Components. | Michael Kls, Lisa Jckel |
| 2020 | Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. | Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee |
| 2020 | Safety-Critical Software Development in C++. | Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand |
| 2020 | Model-Centered Assurance for Autonomous Systems. | Susmit Jha, John Rushby, Natarajan Shankar |
| 2020 | Automated Attacker Synthesis for Distributed Protocols. | Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |
| 2020 | Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection. | Markus Heinrich, Dominik Renkel, Tolga Arul, Stefan Katzenbeisser |
| 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 | Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. | Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis |
| 2020 | Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering. | Smitha Gautham, Athira V. Jayakumar, Carl R. Elks |
| 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 | Integration of Formal Safety Models on System Level Using the Example of Responsibility Sensitive Safety and CARLA Driving Simulator. | Bernd Gamann, Frederik Pasch, Fabian Oboril, Kay-Ulrich Scholl |
| 2020 | Securing Electric Vehicle Charging Systems Through Component Binding. | Andreas Fuchs, Dustin Kern, Christoph Krau, Maria Zhdanova |
| 2020 | Efficient Load-Time Diversity for an Embedded Real-Time Operating System. | Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner |
| 2020 | An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. | Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy |