Robin Bloomfield
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1996–2026
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Probabilistic Confidence In Assurance 2.0 Arguments. | Robin Bloomfield, John Rushby |
| 2025 | ISSRE | AI Assurance Needs a Systems Engineering Approach. | Robin Bloomfield, John Rushby |
| 2024 | ISSRE | Models are Central to AI Assurance. | Robin Bloomfield, John Rushby |
| 2024 | SAFECOMP | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2017 | SAFECOMP | Using an Assurance Case Framework to Develop Security Strategy and Policies. | Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova |
| 2015 | IC3K | Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards. | Abigail Parisaca Vargas, Robin Bloomfield |
| 1996 | SAFECOMP | PERE: Evaluation and Improvement of Dependable Processes. | Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller |