| 2023 | A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study. Bo Zhao, You Song, Wenhao Xu, Fuqun Huang |
| 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 | A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang |
| 2023 | Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll |
| 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 | Attribute Repair for Threat Prevention. Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic |
| 2023 | Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch |
| 2023 | Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous Systems. Jan Reich, Daniel Hillen, Joshua Frey, Nishanth Laxman, Takehito Ogata, Donato Di Paola, Satoshi Otsuka, Natsumi Watanabe |
| 2023 | Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. Arnaud Gotlieb, Morten Mossige, Helge Spieker |
| 2023 | Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela |
| 2023 | Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser Injection. Mathieu Dumont, Kevin Hector, Pierre-Alain Moëllic, Jean-Max Dutertre, Simon Pontié |
| 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 | MBTA: A Model-Based Threat Analysis Approach for Software Architectures. Anas Motii |
| 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 | Online Quantization Adaptation for Fault-Tolerant Neural Network Inference. Michael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume |
| 2023 | Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. Tobias Dörr, Florian Schade, Jürgen Becker |
| 2023 | Probabilistic Spatial Relations for Monitoring Behavior of Road Users. Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske |
| 2023 | Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng |
| 2023 | The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli |
| 2023 | Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models. Thomas Decker, Ananta R. Bhattarai, Michael Lebacher |