A reliability model for Markov structured software. - Bev Littlewood (Reliable Software, 1975)

How to Measure Software Reliability, and How Not To. - Bev Littlewood (ICSE, 1978)

On the modelling of computer software reliability and quality. - Bev Littlewood (1978)

What makes a reliable program: few bugs, or a small failure rate? - Bev Littlewood (AFIPS National Computer Conference, 1980)

The Littlewood-Verrall model for software reliability compared with some rivals. - Bev Littlewood (J. Syst. Softw., 1980)

Theories of Software Reliability: How Good Are They and How Can They Be Improved? - Bev Littlewood (IEEE Trans. Software Eng., 1980)

A bayesian differential debugging model for software reliability. - Bev Littlewood (Measurement and evaluation of software quality, 1981)

Stochastic reliability growth: A model with applications to computer software faults and hardware design faults. - Bev Littlewood (Measurement and evaluation of software quality, 1981)

Criteria for Software Reliability Model Comparisons. - Anthony Iannino; John D. Musa; Kazuhira Okumoto; Bev Littlewood (IEEE Trans. Software Eng., 1984)

Evaluation of Competing Software Reliability Predictions. - Abdallah A. Abdel-Ghaly; P. Y. Chan 002; Bev Littlewood (IEEE Trans. Software Eng., 1986)

Forecasting Software Reliability. - Bev Littlewood (Software Reliability Modelling and Identification, 1987)

A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software. - Bev Littlewood; Douglas R. Miller (Fehlertolerierende Rechensysteme, 1987)

A Bayesian modification to the Jelinski-Moranda software reliability growth model. - Bev Littlewood; Ariela Sofer (Softw. Eng. J., 1987)

Hardware and Software Dependability Evaluation: Software Dependability. - Bev Littlewood (IFIP Congress, 1989)

Conceptual Modeling of Coincident Failures in Multiversion Software. - Bev Littlewood; Douglas R. Miller (IEEE Trans. Software Eng., 1989)

Recalibrating Software Reliability Models. - Sarah Brocklehurst; P. Y. Chan 002; Bev Littlewood; John Snell (IEEE Trans. Software Eng., 1990)

Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability. - Bev Littlewood (Experimental Software Engineering Issues, 1992)

New Ways to Get Accurate Reliability Measures. - Sarah Brocklehurst; Bev Littlewood (IEEE Softw., 1992)

Validation of Ultrahigh Dependability for Software-Based Systems. - Bev Littlewood; Lorenzo Strigini (Commun. ACM, 1993)

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)

Why We Should Learn Not To Depend Too Much Upon Software. - Bev Littlewood (IFIP Congress (3), 1994)

Learning to live with uncertainty in our software. - Bev Littlewood (IEEE METRICS, 1994)

Guest Editors' Introduction: Critical Task of Writing Dependable Software. - John C. Knight; Bev Littlewood (IEEE Softw., 1994)

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)

Applying Bayesian Belief Networks to System Dependability Assessment. - Martin Neil; Bev Littlewood; Norman E. Fenton (SSS, 1996)

Choosing a Testing Method to Deliver Reliability. - Phyllis G. Frankl; Richard G. Hamlet; Bev Littlewood; Lorenzo Strigini (ICSE, 1997)

A non-parametric approach to software reliability prediction. - May Barghout; Bev Littlewood; Abdallah A. Abdel-Ghaly (ISSRE, 1997)

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)

A Non-Parametric Order Statistics Software Reliability Model. - May Barghout; Bev Littlewood; Abdallah A. Abdel-Ghaly (Softw. Test. Verification Reliab., 1998)

Evaluating Testing Methods by Delivered Reliability. - Phyllis G. Frankl; Richard G. Hamlet; Bev Littlewood; Lorenzo Strigini (IEEE Trans. Software Eng., 1998)

Two Heads Are Better Than One: Using Diversity to Make Software Dependable. - Bev Littlewood (EUROMICRO, 1999)

Software reliability (tutorial session): basic concepts and assessment methods. - Bev Littlewood; Lorenzo Strigini (ICSE, 2000)

Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. - Bev Littlewood; Lorenzo Strigini (ICSE, 2000)

Software reliability and dependability: a roadmap. - Bev Littlewood; Lorenzo Strigini (ICSE - Future of SE Track, 2000)

Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. - Peter T. Popov; Lorenzo Strigini; Bev Littlewood (PDPTA, 2000)

Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. - Bev Littlewood; Peter T. Popov; Lorenzo Strigini (SAFECOMP, 2000)

The Use of Proof in Diversity Arguments. - Bev Littlewood (IEEE Trans. Software Eng., 2000)

Modeling the Effects of Combining Diverse Software Fault Detection Techniques. - Bev Littlewood; Peter T. Popov; Lorenzo Strigini; Nick Shryane (IEEE Trans. Software Eng., 2000)

Combination of qualitative and quantitative sources of knowledge for risk assessment. - Mourad Oussalah 002; Bev Littlewood; Lorenzo Strigini; Martin Newby (EUSFLAT Conf., 2001)

Modeling software design diversity. - Bev Littlewood; Peter T. Popov; Lorenzo Strigini (ACM Comput. Surv., 2001)

Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? - Bev Littlewood (ICECCS, 2002)

On Diversity, and the Elusiveness of Independence. - Bev Littlewood (SAFECOMP, 2002)

Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. - Robin E. Bloomfield; Bev Littlewood (DSN, 2003)

The Effect of Testing on Reliability of Fault-Tolerant Software. - Peter T. Popov; Bev Littlewood (DSN, 2004)

Redundancy and Diversity in Security. - Bev Littlewood; Lorenzo Strigini (ESORICS, 2004)

Dependability assessment of software-based systems: state of the art. - Bev Littlewood (ICSE, 2005)

"Diversity as a computer defense mechanism". - Bev Littlewood (NSPW, 2005)

E-voting: Dependability Requirements and Design for Dependability. - Jeremy W. Bryans; Bev Littlewood; Peter Y. A. Ryan; Lorenzo Strigini (ARES, 2006)

Comments on 'Reliability and performance analysis for fault-tolerant programs consisting of versions with different characteristics' by Gregory Levitin [Reliability Engineering and System Safety 86 (2004) 75-81]. - Bev Littlewood (Reliab. Eng. Syst. Saf., 2006)

Comments on 'Evolutionary neural network modelling for software cumulative failure time prediction' by Liang Tian and Afzel Noore [Reliability Engineering and System Safety 87 (2005) 45-51]. - Bev Littlewood (Reliab. Eng. Syst. Saf., 2006)

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

Limits to Dependability Assurance - A Controversy Revisited. - Bev Littlewood (ICSE Companion, 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)

Modelling the Effects of Combining Diverse Software Fault Detection Techniques. - Bev Littlewood; Peter T. Popov; Lorenzo Strigini; Nick Shryane (Formal Methods and Testing, 2008)

Comments on "Multi-objective genetic algorithm for solving N-version program design problem": [Reliabil Eng Syst Saf 91 (2006) 1083-1094]. - Bev Littlewood (Reliab. Eng. Syst. Saf., 2008)

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. - Alan Burns 001; Bev Littlewood (RTSS, 2010)

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)

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect". - Bev Littlewood; John Rushby (IEEE Trans. Software Eng., 2012)

Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect". - Bev Littlewood; Andrey Povyakalo (IEEE Trans. Software Eng., 2013)

Conservative Bounds for the pfd of a 1-out-of-2 Software-Based System Based on an Assessor's Subjective Probability of "Not Worse Than Independence". - Bev Littlewood; Andrey Povyakalo (IEEE Trans. Software Eng., 2013)

Evaluating the Assessment of Software Fault-Freeness. - John Rushby; Bev Littlewood; Lorenzo Strigini (CoRR, 2014)

A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. - Peter G. Bishop; Robin E. Bloomfield; Bev Littlewood; Peter T. Popov; Andrey Povyakalo; Lorenzo Strigini (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)

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)

On reliability assessment when a software-based system is replaced by a thought-to-be-better one. - Bev Littlewood; Kizito Salako; Lorenzo Strigini; Xingyu Zhao 001 (Reliab. Eng. Syst. Saf., 2020)