| 2026 | SAC | A Subjective Logic-based method for runtime confidence updates in safety arguments. | Benjamin Herd, Jessica Kelly, Clarissa Heinemann, Joo-Vitor Zacchi |
| 2025 | EDCC | SOTIF-Analysis Using Fuzzy Cause Trees. | Benjamin Herd, Andreas Kreutz, Mario Trapp |
| 2025 | EDCC | Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments. | Benjamin Herd, Jessica Kelly, Joo-Vitor Zacchi, Clarissa Heinemann, Simon Diemert |
| 2024 | SAC | Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems. | Tom Haider, Karsten Roscher, Benjamin Herd, Felippe Schmoeller Roza, Simon Burton |
| 2024 | SAC | Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety. | Benjamin Herd, Simon Burton |
| 2024 | SAFECOMP | Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. | Simon Burton, Benjamin Herd, Joo-Vitor Zacchi |
| 2024 | SAFECOMP | A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. | Benjamin Herd, Joo-Vitor Zacchi, Simon Burton |
| 2015 | MABS | MC | Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck |
| 2013 | MABS | Verification and Validation of Agent-Based Simulations Using Approximate Model Checking. | Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck |