Bev Littlewood

According to our database, Bev Littlewood authored at least 70 papers between 1975 and 2020.

Collaborative distances:

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

2020

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

Reliab. Eng. Syst. Saf., 2020

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

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

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

Evaluating the Assessment of Software Fault-Freeness.

John Rushby, Bev Littlewood, Lorenzo Strigini

CoRR, 2014

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

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

2012

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

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

2010

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.

Alan Burns, Bev Littlewood

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

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

Modelling the Effects of Combining Diverse Software Fault Detection Techniques.

Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane

Proceedings of the Formal Methods and Testing, 2008

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

Limits to Dependability Assurance - A Controversy Revisited.

Bev Littlewood

Proceedings of the 29th International Conference on Software Engineering (ICSE 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

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

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

E-voting: Dependability Requirements and Design for Dependability.

Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini

Proceedings of the The First International Conference on Availability, 2006

2005

"Diversity as a computer defense mechanism".

Bev Littlewood

Proceedings of the New Security Paradigms Workshop 2005, 2005

Dependability assessment of software-based systems: state of the art.

Bev Littlewood

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

Redundancy and Diversity in Security.

Bev Littlewood, Lorenzo Strigini

Proceedings of the Computer Security, 2004

The Effect of Testing on Reliability of Fault-Tolerant Software.

Peter T. Popov, Bev Littlewood

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.

Robin E. Bloomfield, Bev Littlewood

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

On Diversity, and the Elusiveness of Independence.

Bev Littlewood

Proceedings of the Computer Safety, 2002

Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense?

Bev Littlewood

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001

Modeling software design diversity.

Bev Littlewood, Peter T. Popov, Lorenzo Strigini

ACM Comput. Surv., 2001

Combination of qualitative and quantitative sources of knowledge for risk assessment.

Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby

Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

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

The Use of Proof in Diversity Arguments.

Bev Littlewood

IEEE Trans. Software Eng., 2000

Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.

Bev Littlewood, Peter T. Popov, Lorenzo Strigini

Proceedings of the Computer Safety, 2000

Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.

Peter T. Popov, Lorenzo Strigini, Bev Littlewood

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Software reliability and dependability: a roadmap.

Bev Littlewood, Lorenzo Strigini

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment.

Bev Littlewood, Lorenzo Strigini

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Software reliability (tutorial session): basic concepts and assessment methods.

Bev Littlewood, Lorenzo Strigini

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Two Heads Are Better Than One: Using Diversity to Make Software Dependable.

Bev Littlewood

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Evaluating Testing Methods by Delivered Reliability.

Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini

IEEE Trans. Software Eng., 1998

A Non-Parametric Order Statistics Software Reliability Model.

May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly

Softw. Test. Verification Reliab., 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

A non-parametric approach to software reliability prediction.

May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

Choosing a Testing Method to Deliver Reliability.

Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini

Proceedings of the Pulling Together, 1997

1996

Applying Bayesian Belief Networks to System Dependability Assessment.

Martin Neil, Bev Littlewood, Norman E. Fenton

Proceedings of the Safety-Critical Systems: The Convergence of High Tech and Human Factors, 1996

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

1994

Guest Editors' Introduction: Critical Task of Writing Dependable Software.

John C. Knight, Bev Littlewood

IEEE Softw., 1994

Learning to live with uncertainty in our software.

Bev Littlewood

Proceedings of the 1994 IEEE 2nd International Software Metrics Symposium, 1994

Why We Should Learn Not To Depend Too Much Upon Software.

Bev Littlewood

Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

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

Validation of Ultrahigh Dependability for Software-Based Systems.

Bev Littlewood, Lorenzo Strigini

Commun. ACM, 1993

1992

New Ways to Get Accurate Reliability Measures.

Sarah Brocklehurst, Bev Littlewood

IEEE Softw., 1992

Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability.

Bev Littlewood

Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

1990

Recalibrating Software Reliability Models.

Sarah Brocklehurst, P. Y. Chan, Bev Littlewood, John Snell

IEEE Trans. Software Eng., 1990

1989

Conceptual Modeling of Coincident Failures in Multiversion Software.

Bev Littlewood, Douglas R. Miller

IEEE Trans. Software Eng., 1989

Hardware and Software Dependability Evaluation: Software Dependability.

Bev Littlewood

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

A Bayesian modification to the Jelinski-Moranda software reliability growth model.

Bev Littlewood, Ariela Sofer

Softw. Eng. J., 1987

A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software.

Bev Littlewood, Douglas R. Miller

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

Forecasting Software Reliability.

Bev Littlewood

Proceedings of the Software Reliability Modelling and Identification (Como, Italy, 1987

1986

Evaluation of Competing Software Reliability Predictions.

Abdallah A. Abdel-Ghaly, P. Y. Chan, Bev Littlewood

IEEE Trans. Software Eng., 1986

1984

Criteria for Software Reliability Model Comparisons.

Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood

IEEE Trans. Software Eng., 1984

1981

Stochastic reliability growth: A model with applications to computer software faults and hardware design faults.

Bev Littlewood

Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, 1981

A bayesian differential debugging model for software reliability.

Bev Littlewood

Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, 1981

1980

Theories of Software Reliability: How Good Are They and How Can They Be Improved?

Bev Littlewood

IEEE Trans. Software Eng., 1980

The Littlewood-Verrall model for software reliability compared with some rivals.

Bev Littlewood

J. Syst. Softw., 1980

What makes a reliable program: few bugs, or a small failure rate?

Bev Littlewood

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

1978

On the modelling of computer software reliability and quality.

Bev Littlewood

PhD thesis, 1978

How to Measure Software Reliability, and How Not To.

Bev Littlewood

Proceedings of the 3rd International Conference on Software Engineering, 1978

1975

A reliability model for Markov structured software.

Bev Littlewood

Proceedings of the International Conference on Reliable Software 1975, 1975