Peter Bishop

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 6

Top Topics

Software Components

Historical Information

Top Venues

Publications

Peter Bishop, Andrey Povyakalo
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. SAFECOMP (2022)
Peter Bishop, Andrey Povyakalo
Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components. CoRR (2022)
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
Bootstrapping confidence in future safety from past safe operation. ISSRE (2022)
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
Bootstrapping confidence in future safety based on past safe operation. CoRR (2021)
Peter Bishop, Andrey Povyakalo
A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliab. Eng. Syst. Saf. 203 (2020)
Robin Bloomfield, Peter Bishop, Eoin Butler, Robert J. Stroud
Security-Informed Safety: Supporting Stakeholders with Codes of Practice. Computer 51 (8) (2018)
Peter Bishop
Modeling the Impact of Testing on Diverse Programs. SAFECOMP (2015)
Peter Bishop
Does Software Have to Be Ultra Reliable in Safety Critical Systems? SAFECOMP (2013)
Peter Bishop, Robin Bloomfield
A Methodology for Safety Case Development. SSS (1998)