David Wright

Affiliations:
  • City University London, Centre for Software Reliability, UK


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems.
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".
Reliab. Eng. Syst. Saf., 2017

Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment.
Reliab. Eng. Syst. Saf., 2017

2015
Conservative claims about the probability of perfection of software-based systems.
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.
Reliab. Eng. Syst. Saf., 2014

2011
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
IEEE Trans. Software Eng., 2011

2009
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
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.
IEEE Trans. Software Eng., 2007

Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers.
Proceedings of the ISSRE 2007, 2007

Confidence: Its Role in Dependability Cases for Risk Assessment.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2003
Elicitation and Validation of Graphical Dependability Models.
Proceedings of the Computer Safety, 2003

2001
Software reliability prediction.
PhD thesis, 2001

1998
Assesing dependability of safety critical systems using diverse evidence.
IEE Proc. Softw., 1998

1997
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.
IEEE Trans. Software Eng., 1997

1995
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability.
Proceedings of the 14th International Conference on Computer Safety, 1995

Dependability of modular software in a multiuser operational environment.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Stopping Rules for the Operational Testing of Safety-Critical Software.
Proceedings of the Digest of Papers: FTCS-25, 1995

1993
Towards Operational Measures of Computer Security.
J. Comput. Secur., 1993


  Loading...