Robin Bloomfield

26 papers B 1C 2Journal 16Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
AI Assurance Needs a Systems Engineering Approach.
ISSREW
Robin Bloomfield, John Rushby
2025 J jnl
Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems.
CoRR
Robin Bloomfield, John Rushby
2024 J jnl
Assurance of AI Systems From a Dependability Perspective.
CoRR
Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.
Theory Pract. Log. Program.
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP.
CoRR
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Confidence in Assurance 2.0 Cases.
CoRR
Robin Bloomfield, John Rushby
2024 — ch.
Confidence in Assurance 2.0 Cases.
The Practice of Formal Methods (I)
Robin Bloomfield, John Rushby
2024 J jnl
Defeaters and Eliminative Argumentation in Assurance 2.0.
CoRR
Robin Bloomfield, Kateryna Netkachova, John Rushby
2024 — conf
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
SAFECOMP (Workshops)
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias
2024 — conf
Models are Central to AI Assurance.
ISSRE (Workshops)
Robin Bloomfield, John Rushby
2024 J jnl
The Misclassification Likelihood Matrix: Some Classes Are More Likely To Be Misclassified Than Others.
CoRR
Daniel Sikar, Artur d'Avila Garcez, Robin Bloomfield, Tillman Weyde, Kaleem Peeroo, Naman Singh, Maeve Hutchinson, Mirela Reljan-Delaney
2024 J jnl
When to Accept Automated Predictions and When to Defer to Human Judgment?
CoRR
Daniel Sikar, Artur d'Avila Garcez, Tillman Weyde, Robin Bloomfield, Kaleem Peeroo
2023 — conf
Semantic Analysis of Assurance Cases using s(CASP).
ICLP Workshops
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
2022 J jnl
Assessing Confidence with Assurance 2.0.
CoRR
John Rushby, Robin Bloomfield
2021 J jnl
Safety Case Templates for Autonomous Systems.
CoRR
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Luke Hinde, Philippa Ryan
2020 J jnl
Assurance 2.0.
CoRR
Robin Bloomfield, John Rushby
2020 J jnl
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1.
CoRR
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
2020 J jnl
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.
CoRR
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
2019 J jnl
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy.
Computer
Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher
2018 J jnl
Security-Informed Safety: Supporting Stakeholders with Codes of Practice.
Computer
Robin Bloomfield, Peter Bishop, Eoin Butler, Robert J. Stroud
2017 — conf
Using an Assurance Case Framework to Develop Security Strategy and Policies.
SAFECOMP Workshops
Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova
2015 — conf
Security-Informed Safety Case Approach to Analysing MILS Systems.
MILS@HiPEAC
Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield
2015 C conf
Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards.
KEOD
Abigail Parisaca Vargas, Robin Bloomfield
2013 J jnl
Open Assurance.
IEEE Secur. Priv.
Robin Bloomfield
1998 C conf
A Methodology for Safety Case Development.
SSS
Peter Bishop, Robin Bloomfield
1996 B conf
PERE: Evaluation and Improvement of Dependable Processes.
SAFECOMP
Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller