A methodology for safety case development P Bishop, R Bloomfield Safety and Reliability 20 (1), 34-42, 2000 | 385 | 2000 |
Safety and assurance cases: Past, present and possible future–an Adelard perspective R Bloomfield, P Bishop Making systems safer, 51-67, 2010 | 206 | 2010 |
The future of goal-based assurance cases P Bishop, R Bloomfield, S Guerra Proc. Workshop on Assurance Cases, 390-395, 2004 | 94 | 2004 |
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 | 78 | 2013 |
Ascad—adelard safety case development manual RE Bloomfield, PG Bishop, C Jones, PKD Froome Adelard 5, 1998 | 69 | 1998 |
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 | 67 | 2015 |
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 | 65 | 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 | 60 | 1986 |
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 | 58 | 2017 |
The practicalities of goal-based safety regulation J Penny, A Eaton, PG Bishop, RE Bloomfield Aspects of safety management, 35-48, 2001 | 58 | 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 | 58 | 1996 |
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. RE Bloomfield, B Littlewood DSN, 25-34, 2003 | 52 | 2003 |
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 | 49 | 2010 |
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 | 45 | 2011 |
Building blocks for assurance cases R Bloomfield, K Netkachova 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 42 | 2014 |
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 | 39 | 2016 |
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 | 37 | 2002 |
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 | 37* | 1988 |
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 | 36 | 2006 |
The SHIP safety case approach PG Bishop, RE Bloomfield Safe Comp 95, 437-451, 1995 | 35 | 1995 |