| 2018 | Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies. | Patrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider, Denis Uecker, Kentaro Yoshimura |
| 2018 | A Model-Based Safety Analysis of Dependencies Across Abstraction Layers. | Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung, Rasmus Adler |
| 2018 | MORE: MOdel-based REdundancy for Simulink. | Kai Ding, Andrey Morozov, Klaus Janschek |
| 2018 | Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. | Krzysztof Czarnecki, Rick Salay |
| 2018 | Safe and Secure Automotive Over-the-Air Updates. | Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng |
| 2018 | Design of a Knowledge-Base Strategy for Capability-Aware Treatment of Uncertainties of Automated Driving Systems. | De-Jiu Chen, Kenneth stberg, Matthias Becker, Hkan Sivencrona, Fredrik Warg |
| 2018 | What Is Acceptably Safe for Reinforcement Learning? | John Bragg, Ibrahim Habli |
| 2018 | Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. | Eckard Bde, Matthias Bker, Ulrich Eberle, Martin Frnzle, Sebastian Gerwinn, Birte Kramer |
| 2018 | Towards an Integrated Penetration Testing Environment for the CAN Protocol. | Giampaolo Bella, Pietro Biondi |
| 2018 | A Psychopathological Approach to Safety Engineering in AI and AGI. | Vahid Behzadan, Arslan Munir, Roman V. Yampolskiy |
| 2018 | Mitigation of Policy Manipulation Attacks on Deep Q-Networks with Parameter-Space Noise. | Vahid Behzadan, Arslan Munir |
| 2018 | STPA Guided Systems Engineering. | Uwe Becker |
| 2018 | "Boxing Clever": Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift. | Rob Ashmore, Matthew Hill |
| 2018 | Diversity in Open Source Intrusion Detection Systems. | Hafizul Asad, Ilir Gashi |
| 2018 | Applications of Pairing-Based Cryptography on Automotive-Grade Microcontrollers. | Tudor Andreica, Bogdan Groza, Pal-Stefan Murvay |
| 2017 | A Simplex Architecture for Hybrid Systems Using Barrier Certificates. | Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller |
| 2017 | Uniform Model Interface for Assurance Case Integration with System Models. | Andrzej Wardzinski, Paul L. Jones |
| 2017 | Confidence Assessment Framework for Safety Arguments. | Rui Wang, Jrmie Guiochet, Gilles Motet |
| 2017 | Process Assessment in Supplier Selection for Safety-Critical Systems in Nuclear Domain. | Timo Varkoi, Risto Nevalainen |
| 2017 | Representation of Safety Standards with Semantic Technologies Used in Industrial Environments. | Jose Luis de la Vara, lvaro Gmez, Elena Gallego, Gonzalo Gnova, Anabel Fraga |
| 2017 | Concepts for Reliable Communication in a Software-Defined Network Architecture. | Ferdinand von Tllenburg, Thomas Pfeiffenberger |
| 2017 | Reconciling Systems-Theoretic and Component-Centric Methods for Safety and Security Co-analysis. | William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk |
| 2017 | Assuring Degradation Cascades of Car Platoons via Contracts. | Irfan Sljivo, Barbara Gallina, Bernhard Kaiser |
| 2017 | Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models. | Mladen Skelin, Marc Geilen |
| 2017 | Generic Management of Availability in Fail-Operational Automotive Systems. | Philipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer |