Peter G. Bishop - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2017

Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profilesPeter G. Bishop, Andrey Povyakalo. ress, 158:246-253, 2017. [doi]

Using an Assurance Case Framework to Develop Security Strategy and PoliciesRobin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova. safecomp 2017: 27-28 [doi]

2016

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons LearnedRobin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks. rssrail 2016: 3-19 [doi]

2014

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty FunctionPeter G. Bishop, Lorenzo Strigini. safecomp 2014: 186-201 [doi]

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 trainPeter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini. ress, 130:61-68, 2014. [doi]

2013

Combining testing and proof to gain high assurance in software: A case studyPeter G. Bishop, Robin E. Bloomfield, Lukasz Cyra. issre 2013: 248-257 [doi]

2011

Toward a Formalism for Conservative Claims about the Dependability of Software-Based SystemsPeter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright. TSE, 37(5):708-717, 2011. [doi]

Diversity for Security: A Study with Off-the-Shelf AntiVirus EnginesPeter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic. issre 2011: 11-19 [doi]

2010

An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity SystemsPeter G. Bishop, Konstantinos Tourlas, Nick Chozos. safecomp 2010: 375-388 [doi]

Safety and Assurance Cases: Past, Present and Possible Future - an Adelard PerspectiveRobin E. Bloomfield, Peter G. Bishop. scss 2010: 51-67 [doi]

2005

Justification of Smart Sensors for Nuclear ApplicationsPeter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas. safecomp 2005: 194-207 [doi]

2004

An Empirical Exploration of the Difficulty FunctionJ. G. W. Bentley, Peter G. Bishop, Meine van der Meulen. safecomp 2004: 60-71 [doi]

An Exploration of Software Faults and Failure Behaviour in a Large Population of ProgramsMeine van der Meulen, Peter G. Bishop, Miguel A. Revilla. issre 2004: 101-112 [doi]

2003

2002

1997

Using reversible computing to achieve fail-safetyPeter G. Bishop. issre 1997: 182-191 [doi]

1996

A conservative theory for long-term reliability-growth prediction [of software]Peter G. Bishop, Robin E. Bloomfield. tr, 45(4):550-560, 1996. [doi]

A conservative theory for long term reliability growth predictionPeter G. Bishop, Robin E. Bloomfield. issre 1996: 308-317 [doi]

1995

The SHIP Safety Case ApproachPeter G. Bishop, Robin E. Bloomfield. safecomp 1995: 437-451 [doi]

1993

The Variation of Software Survival Time for Different Operational Input ProfilesPeter G. Bishop. ftcs 1993: 98-107

1988

PODS revisited-a study of software failure behaviourPeter G. Bishop, F. D. Pullen. ftcs 1988: 2-8 [doi]

1986

PODS - A Project on Diverse SoftwarePeter G. Bishop, David G. Esp, Mel Barnes, Peter Humphreys, Gustav Dahll, Jaakko Lahti. TSE, 12(9):929-940, 1986.

Sign in or sign up to see more results.

runs on WebDSL