Peter G. Bishop

29 papers A 9B 9C 1Journal 6Unranked 4

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