Benjamin Herd - RankMe

17 papers A 1C 2Misc 4Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	Misc	`conf`	Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments. EDCC Benjamin Herd, Jessica Kelly, João-Vitor Zacchi, Clarissa Heinemann, Simon Diemert
2025	Misc	`conf`	SOTIF-Analysis Using Fuzzy Cause Trees. EDCC Benjamin Herd, Andreas Kreutz, Mario Trapp
2024	—	`conf`	A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. SAFECOMP (Workshops) Benjamin Herd, João-Vitor Zacchi, Simon Burton
2024	Misc	`conf`	Can you trust your Agent? The Effect of Out-of-Distribution Detection on the Safety of Reinforcement Learning Systems. SAC Tom Haider, Karsten Roscher, Benjamin Herd, Felippe Schmoeller Roza, Simon Burton
2024	Misc	`conf`	Can you trust your ML metrics? Using Subjective Logic to determine the true contribution of ML metrics for safety. SAC Benjamin Herd, Simon Burton
2024	—	`conf`	Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. SAFECOMP (Workshops) Simon Burton, Benjamin Herd, João-Vitor Zacchi
2023	J	`jnl`	Addressing uncertainty in the safety assurance of machine-learning. Frontiers Comput. Sci. Simon Burton, Benjamin Herd
2019	J	`jnl`	Detecting Causal Relationships in Simulation Models Using Intervention-based Counterfactual Analysis. ACM Trans. Intell. Syst. Technol. Benjamin Herd, Simon Miles
2019	—	`conf`	Temporary Censorship Attacks in the Presence of Rational Miners. EuroS&P Workshops Fredrik Winzer, Benjamin Herd, Sebastian Faust
2019	J	`jnl`	Temporary Censorship Attacks in the Presence of Rational Miners. IACR Cryptol. ePrint Arch. Fredrik Winzer, Benjamin Herd, Sebastian Faust
2018	J	`jnl`	Quantitative analysis of multi-agent systems through statistical verification of simulation traces. Int. J. Agent Oriented Softw. Eng. Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015	C	`conf`	MC MABS Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015	A	`conf`	Monitoring Hierarchical Agent-based Simulation Traces. AAMAS Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015	—	`conf`	Quantitative Analysis of Multiagent Systems Through Statistical Model Checking. EMAS@AAMAS Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2015	—	`—`	Statistical runtime verification of agent-based simulations. Benjamin Herd
2013	C	`conf`	Verification and Validation of Agent-Based Simulations Using Approximate Model Checking. MABS Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
2012	J	`jnl`	Compositional transient reachability analysis for agent-based simulations. Stud. Inform. Univ. Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck