Peter G. Bishop

发表

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, 2010, SAFECOMP.

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned

Robert J. Stroud, Peter G. Bishop, Robin E. Bloomfield, 2016, RSSRail.

PODS — A project on diverse software

Peter G. Bishop, Peter Humphreys, David G. Esp, 1986, IEEE Transactions on Software Engineering.

Estimating PLC logic program reliability

Peter G. Bishop, 2004 .

Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines

Peter G. Bishop, Ilir Gashi, Vladimir Stankovic, 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

PODS revisited-a study of software failure behaviour

Peter G. Bishop, F. D. Pullen, P. Bishop, 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

Project on Diverse Software — An Experiment in Software Reliability

Peter G. Bishop, S. Yoshimura, G. Dahll, 1985 .

The SHIP Safety Case Approach

Peter G. Bishop, Robin Bloomfield, 1995, SAFECOMP.

A random walk through software reliability theory

Peter G. Bishop, F. D. Pullen, 1991 .

Software diversity: way to enhance safety?

Peter G. Bishop, M. Barnes, G. Dahll, 1990 .

An Empirical Exploration of the Difficulty Function

Peter G. Bishop, Meine van der Meulen, J. G. W. Bentley, 2004, SAFECOMP.

Stem — A Project on Software Test and Evaluation Methods

Peter G. Bishop, D. G. Esp, G. Dahll, 1987 .

The SHIP Safety Case

Peter G. Bishop, Robin Bloomfield, 1995 .

Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective

Peter G. Bishop, Robin E. Bloomfield, P. Bishop, 2010, SSS.

SAFETY JUSTIFICATION FRAMEWORKS: INTEGRATING RULE- BASED, GOAL-BASED AND RISK-INFORMED APPROACHES

Peter G. Bishop, Nguyen Thuy, Robin Bloomfield, 2012 .

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

David Wright, Bev Littlewood, Peter G. Bishop, 2011, IEEE Transactions on Software Engineering.

A conservative theory for long-term reliability-growth prediction [of software]

Peter G. Bishop, Robin E. Bloomfield, 1996, IEEE Trans. Reliab..

Stepwise Development and Verification of a Boiler System Specification

Peter G. Bishop, S. O. Anderson, G. Burns, 1993 .

Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers

David Wright, Bev Littlewood, Peter G. Bishop, 2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07).

Using reversible computing to achieve fail-safety

Peter G. Bishop, 1997, Proceedings The Eighth International Symposium on Software Reliability Engineering.

Justification of Smart Sensors for Nuclear Applications

Peter G. Bishop, Robin E. Bloomfield, Konstantinos Tourlas, 2005, SAFECOMP.

Worst case reliability prediction based on a prior estimate of residual defects

Peter G. Bishop, Robin E. Bloomfield, 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

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

Dependability of Critical Computer Systems v. 3

Peter G. Bishop, 2007 .

An exploration of software faults and failure behaviour in a large population of programs

Peter G. Bishop, Meine van der Meulen, Miguel A. Revilla, 2004, 15th International Symposium on Software Reliability Engineering.

Using a log-normal failure rate distribution for worst case bound reliability prediction

Peter G. Bishop, Robin E. Bloomfield, 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..

A conservative theory for long term reliability growth prediction

Peter G. Bishop, Robin E. Bloomfield, P. Bishop, 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

SILS and Software

Peter G. Bishop, 2005 .

Integrity Static Analysis of COTS/SOUP

Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, 2003, SAFECOMP.

Using an Assurance Case Framework to Develop Security Strategy and Policies

Peter G. Bishop, Kateryna Netkachova, Robin Bloomfield, 2017, SAFECOMP Workshops.

The PODS Diversity Experiment

Peter G. Bishop, 1988 .

Diverse protection systems for improving security: a study with AntiVirus engines

Peter G. Bishop, Ilir Gashi, Vladimir Stankovic, 2012 .

Probabilistic Modelling of Software Failure Characteristics

Peter G. Bishop, F. D. Pullen, 1988 .

Software Criticality Analysis of COTS/SOUP

Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, 2002, SAFECOMP.

MC/DC based estimation and detection of residual faults in PLC logic networks

Peter G. Bishop, 2003 .

Software criticality analysis of COTS/SOUP

Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, 2003, Reliab. Eng. Syst. Saf..

The variation of software survival time for different operational input profiles (or why you can wait a long time for a big bug to fail)

Peter G. Bishop, P. Bishop, 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

Software Fault Tolerance by Design Diversity

Peter G. Bishop, 1995 .

The Practicalities of Goal-Based Safety Regulation

Peter G. Bishop, Robin Bloomfield, A. Eaton, 2001 .

Combining testing and proof to gain high assurance in software: A case study

Peter G. Bishop, Lukasz Cyra, Robin E. Bloomfield, 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).

Estimating Residual Faults from Code Coverage

Peter G. Bishop, 2002, SAFECOMP.

Error Masking: A Source of Failure Dependency in Multi-Version Programs

Peter G. Bishop, F. D. Pullen, 1991 .

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

Bev Littlewood, Lorenzo Strigini, Peter G. Bishop, 2014, Reliab. Eng. Syst. Saf..

Rescaling reliability bounds for a new operational profile

Peter G. Bishop, P. Bishop, 2002, ISSTA '02.

A Methodology for Safety Case Development

Peter G. Bishop, Robin Bloomfield, P. Bishop, 2000, SSS.

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function

Lorenzo Strigini, Peter G. Bishop, 2014, SAFECOMP.