Peter Bishop
Cited by
Cited by
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 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
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
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
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, P Froome
Adelard 5, 1998
PODS revisited-a study of software failure behaviour
PG Bishop, FD Pullen
1988 The Eighteenth International Symposium on Fault-Tolerant Computing …, 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
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 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
Dependability of Critical Computer Systems v. 3
PG Bishop
Springer Publishing Company, Incorporated, 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
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
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
Software fault tolerance by design diversity
P Bishop
Software Fault Tolerance 3, 211-229, 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
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95: The 14th International Conference on Computer Safety …, 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
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
Using reversible computing to achieve fail-safety
PG Bishop
Proceedings the Eighth International Symposium on Software Reliability …, 1997
The system can't perform the operation now. Try again later.
Articles 1–20