| 2023 | Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. | Megha Quamara, Christina Kolb, Brahim Hamid |
| 2023 | Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and Evolution. | Satoshi Otsuka, Natsumi Watanabe, Takehito Ogata, Donato Di Paola, Daniel Hillen, Joshua Frey, Nishanth Laxman, Jan Reich |
| 2023 | MBTA: A Model-Based Threat Analysis Approach for Software Architectures. | Anas Motii |
| 2023 | RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. | Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng |
| 2023 | Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. | Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce |
| 2023 | Toward Dependability Assurance Framework for Automated Driving Systems. | Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya |
| 2023 | Towards Dependable Integration Concepts for AI-Based Systems. | Georg Macher, Romana Blazevic, Omar Veledar, Eugen Brenner |
| 2023 | Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. | Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll |
| 2023 | Rear-End Collision Risk Analysis for Autonomous Driving. | Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng |
| 2023 | AIMOS: Metamorphic Testing of AI - An Industrial Application. | Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet |
| 2023 | A Reasonable Driver Standard for Automated Vehicle Safety. | Philip Koopman, William H. Widen |
| 2023 | Towards Deep Anomaly Detection with Structured Knowledge Representations. | Konstantin Kirchheim |
| 2023 | Assurance Cases for Timing Properties of Automotive TSN Networks. | Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford |
| 2023 | Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. | Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela |
| 2023 | Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning? | Lisa Jckel, Michael Kls, Janek Gro, Pascal Gerber |
| 2023 | Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals. | Liuxing Hu, Wei Zheng |
| 2023 | A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. | Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang |
| 2023 | From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures. | Michael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters, Alexander Giehl |
| 2023 | Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. | Richard Hawkins, Philippa Ryan Conmy |
| 2023 | Model-Based Generation of Attack-Fault Trees. | Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer |
| 2023 | Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. | Arnaud Gotlieb, Morten Mossige, Helge Spieker |
| 2023 | A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks. | Florian Geissler, Syed Sha Qutub, Michael Paulitsch, Karthik Pattabiraman |
| 2023 | Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated Vehicles. | Gianfilippo Fornaro, Martin Trngren |
| 2023 | A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions. | Marc T. J. Elliott, Deepak P |
| 2023 | Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser Injection. | Mathieu Dumont, Kevin Hector, Pierre-Alain Mollic, Jean-Max Dutertre, Simon Ponti |