Follow
Peter Bishop
Title
Cited by
Cited by
Year
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 2000
3852000
Safety and assurance cases: Past, present and possible future–an Adelard perspective
R Bloomfield, P Bishop
Making systems safer, 51-67, 2010
2062010
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
1301986
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
1101993
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
952004
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, PKD Froome
Adelard 5, 1998
691998
PODS revisited-a study of software failure behaviour
PG Bishop, FD Pullen
1988 The Eighteenth International Symposium on Fault-Tolerant Computing …, 1988
661988
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 1996
591996
The practicalities of goal-based safety regulation
J Penny, A Eaton, PG Bishop, RE Bloomfield
Aspects of safety management, 35-48, 2001
582001
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
512010
Dependability of Critical Computer Systems v. 3
PG Bishop
Springer Publishing Company, Incorporated, 2007
512007
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
462011
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
402016
Software fault tolerance by design diversity
P Bishop
381995
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
372002
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95, 437-451, 1995
351995
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
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
341985
Using reversible computing to achieve fail-safety
PG Bishop
Proceedings the Eighth International Symposium on Software Reliability …, 1997
311997
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
302004
The system can't perform the operation now. Try again later.
Articles 1–20