Robin E Bloomfield
Robin E Bloomfield
City University and Adelard LLP
Verified email at csr.city.ac.uk
Title
Cited by
Cited by
Year
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 2000
3262000
Safety and assurance cases: Past, present and possible future–an Adelard perspective
R Bloomfield, P Bishop
Making Systems Safer, 51-67, 2010
1532010
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
872004
Security-informed safety: if it’s not secure, it’s not safe
R Bloomfield, K Netkachova, R Stroud
International Workshop on Software Engineering for Resilient Systems, 17-32, 2013
622013
The application of formal methods to the assessment of high integrity software
RE Bloomfield, PKD Froome
IEEE Transactions on Software Engineering, 988-993, 1986
571986
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, PKD Froome
Adelard, 1998. ISBN 0-9533771-0 5, 1998
561998
Confidence: its role in dependability cases for risk assessment
RE Bloomfield, B Littlewood, D Wright
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
542007
The practicalities of goal-based safety regulation
J Penny, A Eaton, PG Bishop, RE Bloomfield
Aspects of Safety Management, 35-48, 2001
532001
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 1996
531996
Intrusion alert prioritisation and attack detection using post-correlation analysis
R Shittu, A Healing, R Ghanea-Hercock, R Bloomfield, M Rajarajan
Computers & Security 50, 1-15, 2015
492015
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
RE Bloomfield, B Littlewood
DSN, 25-34, 2003
442003
Diversity for security: a study with off-the-shelf antivirus engines
P Bishop, R Bloomfield, I Gashi, V Stankovic
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
372011
Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications
PG Bishop, RE Bloomfield, PKD Froome
University of Southampton, Institute of Sound and Vibration Research, 2001
342001
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95, 437-451, 1995
341995
Toward a formalism for conservative claims about the dependability of software-based systems
P Bishop, R Bloomfield, B Littlewood, A Povyakalo, D Wright
IEEE Transactions on Software Engineering 37 (5), 708-717, 2010
332010
International working group on assurance cases (for security)
RE Bloomfield, S Guerra, A Miller, M Masera, CB Weinstock
IEEE Security & Privacy 4 (3), 66-68, 2006
332006
Software criticality analysis of cots/soup
P Bishop, R Bloomfield, T Clement, S Guerra
International Conference on Computer Safety, Reliability, and Security, 198-211, 2002
292002
Stochastic modelling of the effects of interdependencies between critical infrastructure
R Bloomfield, L Buzna, P Popov, K Salako, D Wright
International Workshop on Critical Information Infrastructures Security, 201-212, 2009
272009
VDM'88. VDM-The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
RE Bloomfield, LS Marshall, RB Jones
Springer Science & Business Media, 1988
25*1988
The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned
R Bloomfield, M Bendele, P Bishop, R Stroud, S Tonks
International Conference on Reliability, Safety, and Security of Railway …, 2016
232016
The system can't perform the operation now. Try again later.
Articles 1–20