BibTeX records: Benjamin Herd

download as .bib file

@inproceedings{DBLP:conf/edcc/HerdKT25,
  author       = {Benjamin Herd and
                  Andreas Kreutz and
                  Mario Trapp},
  title        = {SOTIF-Analysis Using Fuzzy Cause Trees},
  booktitle    = {20th European Dependable Computing Conference, {EDCC} 2025, Lisboa,
                  Portugal, April 8-11, 2025},
  pages        = {132--140},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/EDCC66201.2025.00030},
  doi          = {10.1109/EDCC66201.2025.00030},
  timestamp    = {Thu, 11 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/HerdKT25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/HerdKZHD25,
  author       = {Benjamin Herd and
                  Jessica Kelly and
                  Jo{\~{a}}o{-}Vitor Zacchi and
                  Clarissa Heinemann and
                  Simon Diemert},
  title        = {Integrating Defeaters into Subjective Logic-Based Quantitative Assurance
                  Arguments},
  booktitle    = {20th European Dependable Computing Conference, {EDCC} 2025, Lisboa,
                  Portugal, April 8-11, 2025},
  pages        = {141--149},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/EDCC66201.2025.00031},
  doi          = {10.1109/EDCC66201.2025.00031},
  timestamp    = {Fri, 05 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/HerdKZHD25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/HaiderRHR024,
  author       = {Tom Haider and
                  Karsten Roscher and
                  Benjamin Herd and
                  Felippe Schmoeller Roza and
                  Simon Burton},
  editor       = {Jiman Hong and
                  Juw Won Park},
  title        = {Can you trust your Agent? The Effect of Out-of-Distribution Detection
                  on the Safety of Reinforcement Learning Systems},
  booktitle    = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2024, Avila, Spain, April 8-12, 2024},
  pages        = {1569--1578},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3605098.3635931},
  doi          = {10.1145/3605098.3635931},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/HaiderRHR024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/HerdB24,
  author       = {Benjamin Herd and
                  Simon Burton},
  editor       = {Jiman Hong and
                  Juw Won Park},
  title        = {Can you trust your {ML} metrics? Using Subjective Logic to determine
                  the true contribution of {ML} metrics for safety},
  booktitle    = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2024, Avila, Spain, April 8-12, 2024},
  pages        = {1579--1586},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3605098.3635966},
  doi          = {10.1145/3605098.3635966},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/HerdB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HerdZB24,
  author       = {Benjamin Herd and
                  Jo{\~{a}}o{-}Vitor Zacchi and
                  Simon Burton},
  editor       = {Andrea Ceccarelli and
                  Mario Trapp and
                  Andrea Bondavalli and
                  Erwin Schoitsch and
                  Barbara Gallina and
                  Friedemann Bitsch},
  title        = {A Deductive Approach to Safety Assurance: Formalising Safety Contracts
                  with Subjective Logic},
  booktitle    = {Computer Safety, Reliability, and Security. {SAFECOMP} 2024 Workshops
                  - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17,
                  2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14989},
  pages        = {213--226},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-68738-9\_16},
  doi          = {10.1007/978-3-031-68738-9\_16},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HerdZB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BurtonHZ24,
  author       = {Simon Burton and
                  Benjamin Herd and
                  Jo{\~{a}}o{-}Vitor Zacchi},
  editor       = {Andrea Ceccarelli and
                  Mario Trapp and
                  Andrea Bondavalli and
                  Erwin Schoitsch and
                  Barbara Gallina and
                  Friedemann Bitsch},
  title        = {Uncertainty-Aware Evaluation of Quantitative {ML} Safety Requirements},
  booktitle    = {Computer Safety, Reliability, and Security. {SAFECOMP} 2024 Workshops
                  - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17,
                  2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14989},
  pages        = {391--404},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-68738-9\_31},
  doi          = {10.1007/978-3-031-68738-9\_31},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BurtonHZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fcomp/BurtonH23,
  author       = {Simon Burton and
                  Benjamin Herd},
  title        = {Addressing uncertainty in the safety assurance of machine-learning},
  journal      = {Frontiers Comput. Sci.},
  volume       = {5},
  year         = {2023},
  url          = {https://doi.org/10.3389/fcomp.2023.1132580},
  doi          = {10.3389/FCOMP.2023.1132580},
  timestamp    = {Wed, 26 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fcomp/BurtonH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tist/HerdM19,
  author       = {Benjamin Herd and
                  Simon Miles},
  title        = {Detecting Causal Relationships in Simulation Models Using Intervention-based
                  Counterfactual Analysis},
  journal      = {{ACM} Trans. Intell. Syst. Technol.},
  volume       = {10},
  number       = {5},
  pages        = {47:1--47:25},
  year         = {2019},
  url          = {https://doi.org/10.1145/3322123},
  doi          = {10.1145/3322123},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tist/HerdM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurosp/WinzerHF19,
  author       = {Fredrik Winzer and
                  Benjamin Herd and
                  Sebastian Faust},
  title        = {Temporary Censorship Attacks in the Presence of Rational Miners},
  booktitle    = {2019 {IEEE} European Symposium on Security and Privacy Workshops,
                  EuroS{\&}P Workshops 2019, Stockholm, Sweden, June 17-19, 2019},
  pages        = {357--366},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EuroSPW.2019.00046},
  doi          = {10.1109/EUROSPW.2019.00046},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosp/WinzerHF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/WinzerHF19,
  author       = {Fredrik Winzer and
                  Benjamin Herd and
                  Sebastian Faust},
  title        = {Temporary Censorship Attacks in the Presence of Rational Miners},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {748},
  year         = {2019},
  url          = {https://eprint.iacr.org/2019/748},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WinzerHF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijaose/HerdMML18,
  author       = {Benjamin Herd and
                  Simon Miles and
                  Peter McBurney and
                  Michael Luck},
  title        = {Quantitative analysis of multi-agent systems through statistical verification
                  of simulation traces},
  journal      = {Int. J. Agent Oriented Softw. Eng.},
  volume       = {6},
  number       = {2},
  pages        = {156--186},
  year         = {2018},
  url          = {https://doi.org/10.1504/IJAOSE.2018.10015554},
  doi          = {10.1504/IJAOSE.2018.10015554},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaose/HerdMML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Herd15,
  author       = {Benjamin Herd},
  title        = {Statistical runtime verification of agent-based simulations},
  school       = {King's College London, {UK}},
  year         = {2015},
  url          = {http://kclpure.kcl.ac.uk/portal/en/theses/statistical-runtime-verification-of-agentbased-simulations(ae71609a-c4a5-4bde-a000-3fe4e6b9759d).html},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Herd15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/HerdMML15a,
  author       = {Benjamin Herd and
                  Simon Miles and
                  Peter McBurney and
                  Michael Luck},
  editor       = {Matteo Baldoni and
                  Luciano Baresi and
                  Mehdi Dastani},
  title        = {Quantitative Analysis of Multiagent Systems Through Statistical Model
                  Checking},
  booktitle    = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
                  2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9318},
  pages        = {109--130},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26184-3\_7},
  doi          = {10.1007/978-3-319-26184-3\_7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/HerdMML15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/HerdMML15,
  author       = {Benjamin Herd and
                  Simon Miles and
                  Peter McBurney and
                  Michael Luck},
  editor       = {Gerhard Weiss and
                  Pinar Yolum and
                  Rafael H. Bordini and
                  Edith Elkind},
  title        = {Monitoring Hierarchical Agent-based Simulation Traces},
  booktitle    = {Proceedings of the 2015 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  pages        = {463--471},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2772939},
  timestamp    = {Tue, 08 Mar 2022 10:12:47 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/HerdMML15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mabs/HerdMML15,
  author       = {Benjamin Herd and
                  Simon Miles and
                  Peter McBurney and
                  Michael Luck},
  editor       = {Beno{\^{\i}}t Gaudou and
                  Jaime Sim{\~{a}}o Sichman},
  title        = {MC\({}^{\mbox{2}}\)MABS: {A} Monte Carlo Model Checker for Multiagent-Based
                  Simulations},
  booktitle    = {Multi-Agent-Based Simulation {XVI} - International Workshop, {MABS}
                  2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9568},
  pages        = {37--54},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-31447-1\_3},
  doi          = {10.1007/978-3-319-31447-1\_3},
  timestamp    = {Wed, 05 Nov 2025 16:00:50 +0100},
  biburl       = {https://dblp.org/rec/conf/mabs/HerdMML15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mabs/HerdMML13,
  author       = {Benjamin Herd and
                  Simon Miles and
                  Peter McBurney and
                  Michael Luck},
  editor       = {Shah Jamal Alam and
                  H. Van Dyke Parunak},
  title        = {Verification and Validation of Agent-Based Simulations Using Approximate
                  Model Checking},
  booktitle    = {Multi-Agent-Based Simulation {XIV} - International Workshop, {MABS}
                  2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8235},
  pages        = {53--70},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-54783-6\_4},
  doi          = {10.1007/978-3-642-54783-6\_4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mabs/HerdMML13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siu/HerdMML12,
  author       = {Benjamin Herd and
                  Simon Miles and
                  Peter McBurney and
                  Michael Luck},
  title        = {Compositional transient reachability analysis for agent-based simulations},
  journal      = {Stud. Inform. Univ.},
  volume       = {10},
  number       = {3},
  pages        = {87--118},
  year         = {2012},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&\#38;view=article\&\#38;id=225\%3Acompositional-transient-reachability-analysis-for-agent-based-simulations-pp-87-118},
  timestamp    = {Mon, 18 Mar 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siu/HerdMML12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.