Towards Operational Measures of Computer Security. - Bev Littlewood; Sarah Brocklehurst; Norman E. Fenton; Peter Mellor; Stella Page; David Wright 001; John Dobson; John A. McDermid; Dieter Gollmann (J. Comput. Secur., 1993)

Stopping Rules for the Operational Testing of Safety-Critical Software. - Bev Littlewood; David Wright 001 (FTCS, 1995)

Dependability of modular software in a multiuser operational environment. - John F. Meyer; Bev Littlewood; David Wright 001 (ISSRE, 1995)

A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. - Bev Littlewood; David Wright 001 (SAFECOMP, 1995)

Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. - Bev Littlewood; David Wright 001 (IEEE Trans. Software Eng., 1997)

Assesing dependability of safety critical systems using diverse evidence. - Norman E. Fenton; Bev Littlewood; Martin Neil; Lorenzo Strigini; Alistair G. Sutcliffe; David Wright 001 (IEE Proc. Softw., 1998)

Software reliability prediction. - David Wright 001 (2001)

Elicitation and Validation of Graphical Dependability Models. - David Wright 001 (SAFECOMP, 2003)

Confidence: Its Role in Dependability Cases for Risk Assessment. - Robin E. Bloomfield; Bev Littlewood; David Wright 001 (DSN, 2007)

Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers. - Peter G. Bishop; Ilir Gashi; Bev Littlewood; David Wright 001 (ISSRE, 2007)

The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example. - Bev Littlewood; David Wright 001 (IEEE Trans. Software Eng., 2007)

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. - Robin E. Bloomfield; Lubos Buzna; Peter T. Popov; Kizito Salako; David Wright 001 (CRITIS, 2009)

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. - Peter G. Bishop; Robin E. Bloomfield; Bev Littlewood; Andrey Povyakalo; David Wright 001 (IEEE Trans. Software Eng., 2011)

Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. - Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2014)

Conservative claims about the probability of perfection of software-based systems. - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; David Wright 001 (ISSRE, 2015)

Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. - Robin E. Bloomfield; Peter T. Popov; Kizito Salako; Vladimir Stankovic 002; David Wright 001 (Reliab. Eng. Syst. Saf., 2017)

Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect". - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2017)

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2018)