| A methodology for safety case development P Bishop, R Bloomfield Safety and Reliability 20 (1), 34-42, 2000 | 414 | 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 | 234 | 2009 |
| PODS—A project on diverse software PG Bishop, DG Esp, M Barnes, P Humphreys, G Dahll, J Lahti IEEE Transactions on Software Engineering, 929-940, 1986 | 138 | 1986 |
| The variation of software survival time for different operational input profiles (or why you can wait a long time for a big bug to fail) PG Bishop FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993 | 116 | 1993 |
| The future of goal-based assurance cases P Bishop, R Bloomfield, S Guerra Proc. Workshop on Assurance Cases, 390-395, 2004 | 101 | 2004 |
| Ascad—adelard safety case development manual RE Bloomfield, PG Bishop, C Jones, P Froome Adelard 5, 1998 | 79 | 1998 |
| PODS revisited-a study of software failure behaviour PG Bishop, FD Pullen 1988 The Eighteenth International Symposium on Fault-Tolerant Computing …, 1988 | 70 | 1988 |
| 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 | 57 | 2010 |
| Dependability of Critical Computer Systems v. 3 PG Bishop Springer Publishing Company, Incorporated, 2007 | 52 | 2007 |
| 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 |
| 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 | 46 | 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 | 43 | 2002 |
| Software fault tolerance by design diversity P Bishop Software Fault Tolerance 3, 211-229, 1995 | 41 | 1995 |
| 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 |
| Project on diverse software—an experiment in software reliability P Bishop, D Esp, M Barnes, P Humphreys, G Dahll, J Lahti, S Yoshimura IFAC Proceedings Volumes 18 (12), 153-158, 1985 | 36 | 1985 |
| An exploration of software faults and failure behaviour in a large population of programs MJP Van der Meulen, PG Bishop, R Villa 15th International Symposium on Software Reliability Engineering, 101-112, 2004 | 33 | 2004 |
| Using reversible computing to achieve fail-safety PG Bishop Proceedings the Eighth International Symposium on Software Reliability …, 1997 | 32 | 1997 |
Robin E BloomfieldCity University and Adelard LLP在 csr.city.ac.uk 的电子邮件经过验证
