David Wright

According to our database, David Wright authored at least 18 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems.

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2018

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, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2017

Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment.

Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright

Reliab. Eng. Syst. Saf., 2017

2015

Conservative claims about the probability of perfection of software-based systems.

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty.

Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2014

2011

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

IEEE Trans. Software Eng., 2011

2009

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.

Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright

Proceedings of the Critical Information Infrastructures Security, 2009

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

IEEE Trans. Software Eng., 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

Proceedings of the ISSRE 2007, 2007

Confidence: Its Role in Dependability Cases for Risk Assessment.

Robin E. Bloomfield, Bev Littlewood, David Wright

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2003

Elicitation and Validation of Graphical Dependability Models.

David Wright

Proceedings of the Computer Safety, 2003

2001

Software reliability prediction.

David Wright

PhD thesis, 2001

1998

Assesing dependability of safety critical systems using diverse evidence.

Norman E. Fenton, Bev Littlewood, Martin Neil, Lorenzo Strigini, Alistair G. Sutcliffe, David Wright

IEE Proc. Softw., 1998

1997

Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.

Bev Littlewood, David Wright

IEEE Trans. Software Eng., 1997

1995

A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability.

Bev Littlewood, David Wright

Proceedings of the 14th International Conference on Computer Safety, 1995

Dependability of modular software in a multiuser operational environment.

John F. Meyer, Bev Littlewood, David Wright

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Stopping Rules for the Operational Testing of Safety-Critical Software.

Bev Littlewood, David Wright

Proceedings of the Digest of Papers: FTCS-25, 1995

1993

Towards Operational Measures of Computer Security.

Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John A. McDermid, Dieter Gollmann

J. Comput. Secur., 1993