David Wright - RankMe

18 papers A 4B 2C 1Journal 9Unranked 1

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
2017	J	`jnl`	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. Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
2017	J	`jnl`	Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliab. Eng. Syst. Saf. Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright
2015	A	`conf`	Conservative claims about the probability of perfection of software-based systems. ISSRE Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright
2014	J	`jnl`	Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. Reliab. Eng. Syst. Saf. Lorenzo Strigini, David Wright
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
2009	C	`conf`	Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. CRITIS Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright
2007	A	`conf`	Confidence: Its Role in Dependability Cases for Risk Assessment. DSN Robin E. Bloomfield, Bev Littlewood, David Wright
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
2007	J	`jnl`	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. Bev Littlewood, David Wright
2003	B	`conf`	Elicitation and Validation of Graphical Dependability Models. SAFECOMP David Wright
2001	—	`—`	Software reliability prediction. David Wright
1998	J	`jnl`	Assesing dependability of safety critical systems using diverse evidence. IEE Proc. Softw. Norman E. Fenton, Bev Littlewood, Martin Neil, Lorenzo Strigini, Alistair G. Sutcliffe, David Wright
1997	J	`jnl`	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. IEEE Trans. Software Eng. Bev Littlewood, David Wright
1995	B	`conf`	A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. SAFECOMP Bev Littlewood, David Wright
1995	A	`conf`	Dependability of modular software in a multiuser operational environment. ISSRE John F. Meyer, Bev Littlewood, David Wright
1995	—	`conf`	Stopping Rules for the Operational Testing of Safety-Critical Software. FTCS Bev Littlewood, David Wright
1993	J	`jnl`	Towards Operational Measures of Computer Security. J. Comput. Secur. Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John A. McDermid, Dieter Gollmann