PODS - A Project on Diverse Software. - Peter G. Bishop; David G. Esp; Mel Barnes; Peter Humphreys; Gustav Dahll; Jaakko Lahti (IEEE Trans. Software Eng., 1986)

PODS revisited-a study of software failure behaviour. - Peter G. Bishop; F. D. Pullen (FTCS, 1988)

The Variation of Software Survival Time for Different Operational Input Profiles. - Peter G. Bishop (FTCS, 1993)

The SHIP Safety Case Approach. - Peter G. Bishop; Robin E. Bloomfield (SAFECOMP, 1995)

A conservative theory for long term reliability growth prediction. - Peter G. Bishop; Robin E. Bloomfield (ISSRE, 1996)

A conservative theory for long-term reliability-growth prediction [of software]. - Peter G. Bishop; Robin E. Bloomfield (IEEE Trans. Reliab., 1996)

Using reversible computing to achieve fail-safety. - Peter G. Bishop (ISSRE, 1997)

A Methodology for Safety Case Development. - Peter Bishop 001; Robin Bloomfield (SSS, 1998)

Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. - Peter G. Bishop; Robin E. Bloomfield (ISSRE, 2002)

Rescaling reliability bounds for a new operational profile. - Peter G. Bishop (ISSTA, 2002)

Estimating Residual Faults from Code Coverage. - Peter G. Bishop (SAFECOMP, 2002)

Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. - Peter G. Bishop; Robin E. Bloomfield (ISSRE, 2003)

Integrity Static Analysis of COTS/SOUP. - Peter G. Bishop; Robin E. Bloomfield; Tim Clement; Sofia Guerra; Claire Jones (SAFECOMP, 2003)

Software criticality analysis of COTS/SOUP. - Peter G. Bishop; Robin E. Bloomfield; Tim Clement; Sofia Guerra (Reliab. Eng. Syst. Saf., 2003)

An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. - Meine van der Meulen; Peter G. Bishop; Miguel A. Revilla (ISSRE, 2004)

An Empirical Exploration of the Difficulty Function. - J. G. W. Bentley; Peter G. Bishop; Meine van der Meulen (SAFECOMP, 2004)

Justification of Smart Sensors for Nuclear Applications. - Peter G. Bishop; Robin E. Bloomfield; Sofia Guerra; Konstantinos Tourlas (SAFECOMP, 2005)

Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers. - Peter G. Bishop; Ilir Gashi; Bev Littlewood; David Wright 001 (ISSRE, 2007)

Overcoming Non-determinism in Testing Smart Devices: A Case Study. - Peter G. Bishop; Lukasz Cyra (SAFECOMP, 2010)

An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. - Peter G. Bishop; Konstantinos Tourlas; Nick Chozos (SAFECOMP, 2010)

Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. - Robin E. Bloomfield; Peter G. Bishop (SSS, 2010)

Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. - Peter G. Bishop; Robin E. Bloomfield; Ilir Gashi; Vladimir Stankovic 002 (ISSRE, 2011)

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. - Peter G. Bishop; Robin E. Bloomfield; Bev Littlewood; Andrey Povyakalo; David Wright 001 (IEEE Trans. Software Eng., 2011)

Combining testing and proof to gain high assurance in software: A case study. - Peter G. Bishop; Robin E. Bloomfield; Lukasz Cyra (ISSRE, 2013)

Does Software Have to Be Ultra Reliable in Safety Critical Systems? - Peter Bishop 001 (SAFECOMP, 2013)

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. - Peter G. Bishop; Lorenzo Strigini (SAFECOMP, 2014)

A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. - Peter G. Bishop; Robin E. Bloomfield; Bev Littlewood; Peter T. Popov; Andrey Povyakalo; Lorenzo Strigini (Reliab. Eng. Syst. Saf., 2014)

Modeling the Impact of Testing on Diverse Programs. - Peter Bishop 001 (SAFECOMP, 2015)

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. - Robin E. Bloomfield; Marcus Bendele; Peter G. Bishop; Robert J. Stroud; Simon Tonks (RSSRail, 2016)

Using an Assurance Case Framework to Develop Security Strategy and Policies. - Robin Bloomfield; Peter G. Bishop; Eoin Butler; Kateryna Netkachova (SAFECOMP Workshops, 2017)

Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. - Peter G. Bishop; Andrey Povyakalo (Reliab. Eng. Syst. Saf., 2017)

Security-Informed Safety: Supporting Stakeholders with Codes of Practice. - Robin Bloomfield; Peter Bishop 001; Eoin Butler; Robert J. Stroud (Computer, 2018)

A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. - Peter Bishop 001; Andrey Povyakalo (Reliab. Eng. Syst. Saf., 2020)

Bootstrapping confidence in future safety based on past safe operation. - Peter Bishop 001; Andrey Povyakalo; Lorenzo Strigini (CoRR, 2021)

Bootstrapping confidence in future safety from past safe operation. - Peter Bishop 001; Andrey Povyakalo; Lorenzo Strigini (ISSRE, 2022)

Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. - Peter Bishop 001; Andrey Povyakalo (SAFECOMP, 2022)

Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It? - Peter Bishop 001; Andrey Povyakalo; Lorenzo Strigini (SAFECOMP (Workshops), 2025)