Robin Bloomfield

According to our database, Robin Bloomfield authored at least 6 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Semantic Analysis of Assurance Cases using s(CASP).

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2017

Using an Assurance Case Framework to Develop Security Strategy and Policies.

Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards.

Abigail Parisaca Vargas, Robin Bloomfield

Proceedings of the KEOD 2015, 2015

Security-Informed Safety Case Approach to Analysing MILS Systems.

Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

1998

A Methodology for Safety Case Development.

Peter Bishop, Robin Bloomfield

Proceedings of the Industrial Perspectives of Safety-critical Systems, 1998

1996

PERE: Evaluation and Improvement of Dependable Processes.

Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller

Proceedings of the 15th International Conference on Computer Safety, 1996