| 2019 | SafeDeML: On Integrating the Safety Design into the System Model. | Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hne, Thorsten Piper |
| 2019 | Towards Zero Alarms in Sound Static Analysis of Finite State Machines. | Josselin Giet, Laurent Mauborgne, Daniel Kstner, Christian Ferdinand |
| 2019 | Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models. | Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk |
| 2019 | Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems. | Jelena Frtunikj |
| 2019 | Three Reasons Why: Framing the Challenges of Assuring AI. | Xinwei Fang, Nikita Johnson |
| 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 | Towards Integrated Quantitative Security and Safety Risk Assessment. | Jrgen Dobaj, Christoph Schmittner, Michael Krisper, Georg Macher |
| 2019 | Efficient Model-Level Reliability Analysis of Simulink Models. | Kai Ding, Andrey Morozov, Klaus Janschek |
| 2019 | Combining Safety and Security in Autonomous Cars Using Blockchain Technologies. | Lucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz |
| 2019 | Demo: CANDY CREAM. | Gianpiero Costantino, Ilaria Matteucci |
| 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 | Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. | Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta |
| 2019 | The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. | Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mand, Nicola Nostro, Luigi Rucher |
| 2019 | Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. | Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins |
| 2019 | Enhancing CAN Security by Means of Lightweight Stream-Ciphers and Protocols. | Aymen Boudguiga, Jrme Letailleur, Renaud Sirdey, Witold Klaudel |
| 2019 | Formal Verification of Memory Preservation of x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |
| 2019 | You Overtrust Your Printer. | Giampaolo Bella, Pietro Biondi |
| 2019 | RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies. | Vahid Behzadan, William H. Hsu |
| 2019 | Increasing Safety of Neural Networks in Medical Devices. | Uwe Becker |
| 2019 | Digital Forensics in Industrial Control Systems. | Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann |
| 2019 | Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks. | Abdul Ghafoor Abbasi, A. Qudus Abbasi, Zaheer Khan |
| 2018 | Assurance Case Considerations for Interoperable Medical Systems. | Yi Zhang, Brian R. Larson, John Hatcliff |
| 2018 | Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation. | Biao Xu, Minyan Lu, Tingyang Gu, Dajian Zhang |
| 2018 | Why Bad Coffee? Explaining Agent Plans with Valuings. | Michael Winikoff, Virginia Dignum, Frank Dignum |
| 2018 | Dependability Analysis of the AFDX Frame Management Design. | Venesa Watson, Mahlet Bejiga |