David Wright

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 3

Top Topics

Probability Distribution Function

Software Packages

Industrial Strength

Maintenance Activities

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175 (2018)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect". Reliab. Eng. Syst. Saf. 158 (2017)
Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliab. Eng. Syst. Saf. 167 (2017)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright
Conservative claims about the probability of perfection of software-based systems. ISSRE (2015)
Lorenzo Strigini, David Wright
Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. Reliab. Eng. Syst. Saf. 128 (2014)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Trans. Software Eng. 37 (5) (2011)
Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. CRITIS (2009)
Bev Littlewood, David Wright
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. IEEE Trans. Software Eng. 33 (5) (2007)
Peter G. Bishop, Ilir Gashi, Bev Littlewood, David Wright
Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers. ISSRE (2007)
Robin E. Bloomfield, Bev Littlewood, David Wright
Confidence: Its Role in Dependability Cases for Risk Assessment. DSN (2007)
David Wright
Elicitation and Validation of Graphical Dependability Models. SAFECOMP (2003)
Norman E. Fenton, Bev Littlewood, Martin Neil, Lorenzo Strigini, Alistair G. Sutcliffe, David Wright
Assesing dependability of safety critical systems using diverse evidence. IEE Proc. Softw. 145 (1) (1998)
Bev Littlewood, David Wright
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. IEEE Trans. Software Eng. 23 (11) (1997)
John F. Meyer, Bev Littlewood, David Wright
Dependability of modular software in a multiuser operational environment. ISSRE (1995)
Bev Littlewood, David Wright
Stopping Rules for the Operational Testing of Safety-Critical Software. FTCS (1995)
Bev Littlewood, David Wright
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. SAFECOMP (1995)
Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John McDermid, Dieter Gollmann
Towards Operational Measures of Computer Security. J. Comput. Secur. 2 (2-3) (1993)