| 2017 | SAFECOMP | Using an Assurance Case Framework to Develop Security Strategy and Policies. | Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova |
| 2014 | SAFECOMP | Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. | Peter G. Bishop, Lorenzo Strigini |
| 2013 | ISSRE | Combining testing and proof to gain high assurance in software: A case study. | Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra |
| 2011 | ISSRE | Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. | Peter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic |
| 2010 | SAFECOMP | Overcoming Non-determinism in Testing Smart Devices: A Case Study. | Peter G. Bishop, Lukasz Cyra |
| 2010 | SAFECOMP | An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. | Peter G. Bishop, Konstantinos Tourlas, Nick Chozos |
| 2007 | ISSRE | 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 |
| 2005 | SAFECOMP | Justification of Smart Sensors for Nuclear Applications. | Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas |
| 2004 | ISSRE | An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. | Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla |
| 2004 | SAFECOMP | An Empirical Exploration of the Difficulty Function. | J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen |
| 2003 | ISSRE | Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. | Peter G. Bishop, Robin E. Bloomfield |
| 2003 | SAFECOMP | Integrity Static Analysis of COTS/SOUP. | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones |
| 2002 | ISSRE | Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. | Peter G. Bishop, Robin E. Bloomfield |
| 2002 | ISSTA | Rescaling reliability bounds for a new operational profile. | Peter G. Bishop |
| 2002 | SAFECOMP | Estimating Residual Faults from Code Coverage. | Peter G. Bishop |
| 2002 | SAFECOMP | Software Criticality Analysis of COTS/SOUP. | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra |
| 1997 | ISSRE | Using reversible computing to achieve fail-safety. | Peter G. Bishop |
| 1996 | ISSRE | A conservative theory for long term reliability growth prediction. | Peter G. Bishop, Robin E. Bloomfield |
| 1995 | SAFECOMP | The SHIP Safety Case Approach. | Peter G. Bishop, Robin E. Bloomfield |