Peter G. Bishop

Publication Activity (10 Years)

Years Active: 1986-2017
Publications (10 Years): 3

Top Topics

Partial Knowledge

Protection Schemes

Top Venues

Reliab. Eng. Syst. Saf.

SAFECOMP Workshops

Publications

Peter G. Bishop, Andrey Povyakalo
Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. Reliab. Eng. Syst. Saf. 158 (2017)
Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova
Using an Assurance Case Framework to Develop Security Strategy and Policies. SAFECOMP Workshops (2017)
Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. RSSRail (2016)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini
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. Reliab. Eng. Syst. Saf. 130 (2014)
Peter G. Bishop, Lorenzo Strigini
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. SAFECOMP (2014)
Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra
Combining testing and proof to gain high assurance in software: A case study. ISSRE (2013)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Trans. Software Eng. 37 (5) (2011)
Peter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic
Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. ISSRE (2011)
Robin E. Bloomfield, Peter G. Bishop
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. SSS (2010)
Peter G. Bishop, Lukasz Cyra
Overcoming Non-determinism in Testing Smart Devices: A Case Study. SAFECOMP (2010)
Peter G. Bishop, Konstantinos Tourlas, Nick Chozos
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. SAFECOMP (2010)
Peter G. Bishop, Ilir Gashi, Bev Littlewood, David Wright
Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers. ISSRE (2007)
Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
Justification of Smart Sensors for Nuclear Applications. SAFECOMP (2005)
Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. ISSRE (2004)
J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen
An Empirical Exploration of the Difficulty Function. SAFECOMP (2004)
Peter G. Bishop, Robin E. Bloomfield
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. ISSRE (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
Integrity Static Analysis of COTS/SOUP. SAFECOMP (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software criticality analysis of COTS/SOUP. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Peter G. Bishop
Rescaling reliability bounds for a new operational profile. ISSTA (2002)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software Criticality Analysis of COTS/SOUP. SAFECOMP (2002)
Peter G. Bishop, Robin E. Bloomfield
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. ISSRE (2002)
Peter G. Bishop
Estimating Residual Faults from Code Coverage. SAFECOMP (2002)
Peter G. Bishop
Using reversible computing to achieve fail-safety. ISSRE (1997)
Peter G. Bishop, Robin E. Bloomfield
A conservative theory for long term reliability growth prediction. ISSRE (1996)
Peter G. Bishop, Robin E. Bloomfield
A conservative theory for long-term reliability-growth prediction [of software]. IEEE Trans. Reliab. 45 (4) (1996)
Peter G. Bishop, Robin E. Bloomfield
The SHIP Safety Case Approach. SAFECOMP (1995)
Peter G. Bishop
The Variation of Software Survival Time for Different Operational Input Profiles. FTCS (1993)
Peter G. Bishop, F. D. Pullen
PODS revisited-a study of software failure behaviour. FTCS (1988)
Peter G. Bishop, David G. Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti
PODS - A Project on Diverse Software. IEEE Trans. Software Eng. 12 (9) (1986)