| 2024 | A Flow-Based Credibility Metric for Safety-Critical Pedestrian Detection. | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
| 2024 | A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System. | Jia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa |
| 2024 | Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework. | Marzieh Kordi, Francesco Mariotti, Paolo Lollini, Andrea Bondavalli |
| 2024 | Redefining Safety for Autonomous Vehicles. | Philip Koopman, William H. Widen |
| 2024 | Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap. | Philip Koopman |
| 2024 | Security and Safety in Urban Environments: Evaluating Threats and Risks of Autonomous Last-Mile Delivery Robots. | Christina Kolb, Lin Xie |
| 2024 | A Case Study of Continuous Assurance Argument for Level 4 Automated Driving. | Hideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya |
| 2024 | Language Models as Reasoners for Out-of-Distribution Detection. | Konstantin Kirchheim, Frank Ortmeier |
| 2024 | Sound Non-interference Analysis for C/C++. | Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand |
| 2024 | A Systems Viewpoint on the Integration of Subsystems Developed with Heterogeneous Safety Standards. | James Inge, Katia Potiron |
| 2024 | Safety Invariant Engineering for Interlocking Verification. | Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky |
| 2024 | A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. | Benjamin Herd, Joo-Vitor Zacchi, Simon Burton |
| 2024 | Securing Web Access: PUF-Driven Two-Factor Authentication for Enhanced Protection. | Chandranshu Gupta, Gaurav Varshney |
| 2024 | Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation. | Carlo Grigioni, Franca Corradini, Alessandro Antonucci, Jrme Guzzi, Francesco Flammini |
| 2024 | Coyan: Fault Tree Analysis - Exact and Scalable. | Nazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio |
| 2024 | A New Approach to Creating Clear Operational Safety Arguments. | Jane Fenn, Richard Hawkins, Mark Nicholson |
| 2024 | Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. | Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber |
| 2024 | Reconciling Safety Measurement and Dynamic Assurance. | Ewen Denney, Ganesh Pai |
| 2024 | Dual-Process System: An Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process Theory. | Krzysztof Czarnecki |
| 2024 | Using GPT-4 to Generate Failure Logic. | Kester Clegg, Ibrahim Habli, John A. McDermid |
| 2024 | Multivariate Security Breach Probability: The Gordon-Loeb Model with Copulas. | Umberto Cherubini |
| 2024 | Neuro-Symbolic Artificial Intelligence for Safety Engineering. | Laura Carnevali, Marco Lippi |
| 2024 | Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. | Simon Burton, Benjamin Herd, Joo-Vitor Zacchi |
| 2024 | Cyber Risk Propagation on Networks. | Elisa Botteghi, Davide Pastorello, Daniele Tantari |
| 2024 | Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications. | Sina Borrami, Jorge Sanchez de Nova, Xavier Gallois, Jonas Melchert, Martin Trngren |