Peter Bishop

Orcid: 0000-0003-3307-5159

Affiliations:
  • City University London, UK
  • Adelard LLP, London, UK


According to our database1, Peter Bishop authored at least 36 papers between 1986 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components.
Proceedings of the Computer Safety, Reliability, and Security, 2022

Bootstrapping confidence in future safety from past safe operation.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021
Bootstrapping confidence in future safety based on past safe operation.
CoRR, 2021

2020
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., 2020

2018
Security-Informed Safety: Supporting Stakeholders with Codes of Practice.
Computer, 2018

2017
Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles.
Reliab. Eng. Syst. Saf., 2017

Using an Assurance Case Framework to Develop Security Strategy and Policies.
Proceedings of the Computer Safety, Reliability, and Security, 2017

2016
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015
Modeling the Impact of Testing on Diverse Programs.
Proceedings of the Computer Safety, Reliability, and Security, 2015

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.
Reliab. Eng. Syst. Saf., 2014

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2013
Does Software Have to Be Ultra Reliable in Safety Critical Systems?
Proceedings of the Computer Safety, Reliability, and Security, 2013

Combining testing and proof to gain high assurance in software: A case study.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2011
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
IEEE Trans. Software Eng., 2011

Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

2010
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective.
Proceedings of the Making Systems Safer, 2010

An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.
Proceedings of the Computer Safety, 2010

Overcoming Non-determinism in Testing Smart Devices: A Case Study.
Proceedings of the Computer Safety, 2010

2007
Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers.
Proceedings of the ISSRE 2007, 2007

2005
Justification of Smart Sensors for Nuclear Applications.
Proceedings of the Computer Safety, 2005

2004
An Empirical Exploration of the Difficulty Function.
Proceedings of the Computer Safety, 2004

An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2003
Software criticality analysis of COTS/SOUP.
Reliab. Eng. Syst. Saf., 2003

Integrity Static Analysis of COTS/SOUP.
Proceedings of the Computer Safety, 2003

Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002
Estimating Residual Faults from Code Coverage.
Proceedings of the Computer Safety, 2002

Rescaling reliability bounds for a new operational profile.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

1998
A Methodology for Safety Case Development.
Proceedings of the Industrial Perspectives of Safety-critical Systems, 1998

1997
Using reversible computing to achieve fail-safety.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996
A conservative theory for long-term reliability-growth prediction [of software].
IEEE Trans. Reliab., 1996

A conservative theory for long term reliability growth prediction.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995
The SHIP Safety Case Approach.
Proceedings of the 14th International Conference on Computer Safety, 1995

1993
The Variation of Software Survival Time for Different Operational Input Profiles.
Proceedings of the Digest of Papers: FTCS-23, 1993

1988
PODS revisited-a study of software failure behaviour.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1986
PODS - A Project on Diverse Software.
IEEE Trans. Software Eng., 1986


  Loading...