Robin E. Bloomfield

Orcid: 0000-0002-2050-6151

Affiliations:
  • City University of London, UK


According to our database1, Robin E. Bloomfield authored at least 56 papers between 1986 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Semantic Analysis of Assurance Cases using s(CASP).
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022
Assessing Confidence with Assurance 2.0.
CoRR, 2022

2021
Safety Case Templates for Autonomous Systems.
CoRR, 2021

2020
Assurance 2.0.
CoRR, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.
CoRR, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1.
CoRR, 2020

2019
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy.
Computer, 2019

2018
Security-Informed Safety: Supporting Stakeholders with Codes of Practice.
Computer, 2018

2017
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment.
Reliab. Eng. Syst. Saf., 2017

Is Chocolate Good for You - or, Is the Cloud Secure?
Computer, 2017

Using an Assurance Case Framework to Develop Security Strategy and Policies.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Invited Talk: Structured Engineering Argumentation.
Proceedings of the New Frontiers in Artificial Intelligence, 2017

2016
Security-Informed Safety.
Computer, 2016

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015
Autonomy, Robotics, and Dependability.
IEEE Secur. Priv., 2015

Intrusion alert prioritisation and attack detection using post-correlation analysis.
Comput. Secur., 2015

Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures.
Proceedings of the Computer Safety, Reliability, and Security, 2015

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

Security-Informed Safety Case Approach to Analysing MILS Systems.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

2014
A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train.
Reliab. Eng. Syst. Saf., 2014

OutMet: A new metric for prioritising intrusion alerts using correlation and outlier analysis.
Proceedings of the IEEE 39th Conference on Local Computer Networks, 2014

Building Blocks for Assurance Cases.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013
Safety-Critical Systems: The Next Generation.
IEEE Secur. Priv., 2013

Open Assurance.
IEEE Secur. Priv., 2013

Security-Informed Safety: If It's Not Secure, It's Not Safe.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Combining testing and proof to gain high assurance in software: A case study.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Are Things Getting Worse?
IEEE Secur. Priv., 2012

How Secure Is ERTMS?
Proceedings of the Computer Safety, Reliability, and Security, 2012

Evidence-Based Security in Aerospace: From Safety to Security and Back Again.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Visual Analytic Agent-Based Framework for Intrusion Alert Analysis.
Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012

2011
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
IEEE Trans. Software Eng., 2011

Resilient to the Unexpected.
IEEE Secur. Priv., 2011

Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

2010
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective.
Proceedings of the Making Systems Safer, 2010

2009
Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK.
Proceedings of the Critical Information Infrastructures Security, 2009

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
Proceedings of the Critical Information Infrastructures Security, 2009

2008
Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007
Assurance Cases for Security: The Metrics Challenge.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Confidence: Its Role in Dependability Cases for Risk Assessment.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006
International Working Group on Assurance Cases (for Security).
IEEE Secur. Priv., 2006

2005
Justification of Smart Sensors for Nuclear Applications.
Proceedings of the Computer Safety, 2005

2003
Software criticality analysis of COTS/SOUP.
Reliab. Eng. Syst. Saf., 2003

Integrity Static Analysis of COTS/SOUP.
Proceedings of the Computer Safety, 2003

Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Process Modelling to Support Dependability Arguments.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Theoretical foundation for iterative assessment of conditional confidence measures in the framework of conditional measure theoretic-approach.
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

2000
Formal Methods Diffusion: Past Lessons and Future Prospects.
Proceedings of the Computer Safety, 2000

1998
A Methodology for Safety Case Development.
Proceedings of the Industrial Perspectives of Safety-critical Systems, 1998

1996
A conservative theory for long-term reliability-growth prediction [of software].
IEEE Trans. Reliab., 1996

PERE: Evaluation and Improvement of Dependable Processes.
Proceedings of the 15th International Conference on Computer Safety, 1996

A conservative theory for long term reliability growth prediction.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995
The SHIP Safety Case Approach.
Proceedings of the 14th International Conference on Computer Safety, 1995

1986
The Application of Formal Methods to the Assessment of High Integrity Software.
IEEE Trans. Software Eng., 1986


  Loading...