| 2020 | Systematic Evaluation of (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2020 | Safety-Aware Hardening of 3D Object Detection Neural Network Systems. | Chih-Hong Cheng |
| 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 | FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases. | Carmen Crlan, Daniel Ratiu |
| 2020 | On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study. | Joo R. Campos, Ernesto Costa, Marco Vieira |
| 2020 | Model-Based Safety Analysis of Mode Transitions. | Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktria Vozrov |
| 2020 | A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF). | John Birch, David Blackburn, John Botham, Ibrahim Habli, David Higham, Helen Monkhouse, Gareth Price, Norina Ratiu, Roger Rivett |
| 2020 | Rule-Based Safety Evidence for Neural Networks. | Tewodros A. Beyene, Amit Sahu |
| 2020 | Cyber-Security of Neural Networks in Medical Devices. | Uwe Becker |
| 2020 | Integrity Checking of Railway Interlocking Firmware. | Ronny Bckman, Ian Oliver, Gabriela Limonta |
| 2020 | Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. | Rob Ashmore, James Sharp |
| 2020 | Quantifying Assurance in Learning-Enabled Systems. | Erfan Asaadi, Ewen Denney, Ganesh Pai |
| 2020 | Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment. | Simon D. Duque Antn, Daniel Fraunholz, Daniel Krohmer, Daniel Reti, Hans D. Schotten, Franklin Selgert, Marcell Marosvlgyi, Morten Larsen, Krishna Sudhakar, Tobias Koch, Till Witt, Cdric Bassem |
| 2020 | Revisiting Neuron Coverage and Its Application to Test Generation. | Stephanie Abrecht, Maram Akila, Sujan Sai Gannamaneni, Konrad Groh, Christian Heinzemann, Sebastian Houben, Matthias Woehrle |
| 2020 | A Compositional Semantics for Repairable BDMPs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2020 | Threat Analysis Framework for Safety Architectures in SCDL. | Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita |
| 2019 | Open Questions in Testing of Learned Computer Vision Functions for Automated Driving. | Matthias Woehrle, Christoph Gladisch, Christian Heinzemann |
| 2019 | Combined Approach for Safety and Security. | Siddhartha Verma, Thomas Gruber, Christoph Schmittner, Peter P. Puschner |
| 2019 | An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles. | John Trnblom, Simin Nadjm-Tehrani |
| 2019 | A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. | Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux |
| 2019 | Automotive Cybersecurity Standards - Relation and Overview. | Christoph Schmittner, Georg Macher |
| 2019 | Comparative Evaluation of Security Fuzzing Approaches. | Loui Al Sardy, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich |
| 2019 | Improving ML Safety with Partial Specifications. | Rick Salay, Krzysztof Czarnecki |
| 2019 | Assuring Compliance with Protection Profiles with ThreatGet. | Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner |
| 2019 | A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. | Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu |