| 2019 | A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli |
| 2019 | A SysML Profile for Fault Trees - Linking Safety Models to System Design. Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid |
| 2019 | Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. Jan Reich, Marc Zeller, Daniel Schneider |
| 2019 | Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. Philip Koopman, Beth Osyk, Jack Weast |
| 2019 | BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact. Herson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter |
| 2019 | Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits. Philippe A. Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris |
| 2019 | Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| 2019 | Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF. Nikita Johnson, Tim Kelly |
| 2019 | Digital Forensics in Industrial Control Systems. Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann |
| 2019 | Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems. Fábio Luiz Leite Jr., Daniel Schneider, Rasmus Adler |
| 2019 | Efficient Model-Level Reliability Analysis of Simulink Models. Kai Ding, Andrey Morozov, Klaus Janschek |
| 2019 | Fitness Functions for Testing Automated and Autonomous Driving Systems. Florian Hauer, Alexander Pretschner, Bernd Holzmüller |
| 2019 | Forecast Horizon for Automated Safety Actions in Automated Driving Systems. Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat |
| 2019 | Formal Verification of Memory Preservation of x86-64 Binaries. Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |
| 2019 | Graceful Degradation Design Process for Autonomous Driving System. Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa |
| 2019 | Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-data Generation Using Application Scope Characteristics. Lisa Jöckel, Michael Kläs |
| 2019 | Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta |
| 2019 | Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems. Jelena Frtunikj |
| 2019 | SafeDeML: On Integrating the Safety Design into the System Model. Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper |
| 2019 | Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk |
| 2019 | Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks. Abdul Ghafoor Abbasi, A. Qudus Abbasi, Zaheer Khan |
| 2019 | Towards Zero Alarms in Sound Static Analysis of Finite State Machines. Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand |