A methodology for safety case development P Bishop, R Bloomfield Safety and Reliability 20 (1), 34-42, 2000 | 423 | 2000 |
Safety and assurance cases: Past, present and possible future–an Adelard perspective R Bloomfield, P Bishop Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems …, 2009 | 243 | 2009 |
The future of goal-based assurance cases P Bishop, R Bloomfield, S Guerra Proc. Workshop on Assurance Cases, 390-395, 2004 | 101 | 2004 |
Security-informed safety: if it’s not secure, it’s not safe R Bloomfield, K Netkachova, R Stroud Software Engineering for Resilient Systems: 5th International Workshop …, 2013 | 96 | 2013 |
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 | 86 | 2015 |
Ascad—adelard safety case development manual RE Bloomfield, PG Bishop, C Jones, P Froome Adelard 5, 1998 | 79 | 1998 |
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment RE Bloomfield, P Popov, K Salako, V Stankovic, D Wright Reliability Engineering & System Safety 167, 198-217, 2017 | 78 | 2017 |
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 | 72 | 2007 |
The application of formal methods to the assessment of high integrity software RE Bloomfield, PKD Froome IEEE Transactions on Software Engineering, 988-993, 1986 | 64 | 1986 |
The practicalities of goal-based safety regulation J Penny, A Eaton, PG Bishop, RE Bloomfield Aspects of Safety Management: Proceedings of the Ninth Safety-critical …, 2001 | 60 | 2001 |
A conservative theory for long-term reliability-growth prediction [of software] P Bishop, R Bloomfield IEEE Transactions on Reliability 45 (4), 550-560, 1996 | 60 | 1996 |
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 | 59 | 2010 |
Building blocks for assurance cases R Bloomfield, K Netkachova 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 57 | 2014 |
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. RE Bloomfield, B Littlewood DSN, 25-34, 2003 | 53 | 2003 |
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 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016 | 50 | 2016 |
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 | 47 | 2011 |
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 | 43 | 2002 |
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 | 39 | 2006 |
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 | 37 | 2001 |
The SHIP safety case approach PG Bishop, RE Bloomfield Safe Comp 95: The 14th International Conference on Computer Safety …, 1995 | 36 | 1995 |