Abstract is missing.
- Towards Zero Alarms in Sound Static Analysis of Finite State MachinesJosselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand. 3-18 [doi]
- Graceful Degradation Design Process for Autonomous Driving SystemTasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa. 19-34 [doi]
- Formal Verification of Memory Preservation of x86-64 BinariesJoshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran. 35-49 [doi]
- Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive CockpitsPhilippe A. Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris. 53-68 [doi]
- Fitness Functions for Testing Automated and Autonomous Driving SystemsFlorian Hauer, Alexander Pretschner, Bernd Holzmüller. 69-84 [doi]
- A SysML Profile for Fault Trees - Linking Safety Models to System DesignKester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid. 85-93 [doi]
- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction ModelsUlrich Thomas Gabor, Simon Dierl, Olaf Spinczyk. 97-112 [doi]
- Forecast Horizon for Automated Safety Actions in Automated Driving SystemsAyhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat. 113-127 [doi]
- Digital Forensics in Industrial Control SystemsRobert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann. 128-136 [doi]
- Efficient Model-Level Reliability Analysis of Simulink ModelsKai Ding, Andrey Morozov, Klaus Janschek. 139-154 [doi]
- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-data Generation Using Application Scope CharacteristicsLisa Jöckel, Michael Kläs. 155-164 [doi]
- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis SystemsChiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli. 165-179 [doi]
- BACRank: Ranking Building Automation and Control System Components by Business Continuity ImpactHerson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter. 183-199 [doi]
- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS SystemsAlessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta. 200-215 [doi]
- Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical SystemsFábio Luiz Leite Jr., Daniel Schneider 0001, Rasmus Adler. 216-231 [doi]
- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving SystemsJelena Frtunikj. 235-244 [doi]
- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving SafetyPhilip Koopman, Beth Osyk, Jack Weast. 245-253 [doi]
- Automated Evidence Analysis of Safety Arguments Using Digital Dependability IdentitiesJan Reich, Marc Zeller, Daniel Schneider 0001. 254-268 [doi]
- SafeDeML: On Integrating the Safety Design into the System ModelTim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper. 271-285 [doi]
- Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency NetworksAbdul Ghafoor Abbasi, A. Qudus Abbasi, Zaheer Khan 0003. 286-298 [doi]
- Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAFNikita Johnson, Tim Kelly. 299-314 [doi]