Bev Littlewood

Publication Activity (10 Years)

Years Active: 1975-2020
Publications (10 Years): 4

Top Venues

Reliab. Eng. Syst. Saf.

IEEE Trans. Software Eng.

CoRR

ISSRE

City University London, UK (PHD)

Education History

City University London, UK

PHD

Publications

Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao
On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliab. Eng. Syst. Saf. 197 (2020)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175 (2018)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
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. 158 (2017)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright
Conservative claims about the probability of perfection of software-based systems. ISSRE (2015)
John Rushby, Bev Littlewood, Lorenzo Strigini
Evaluating the Assessment of Software Fault-Freeness. CoRR (2014)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini
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. Reliab. Eng. Syst. Saf. 130 (2014)
Bev Littlewood, Andrey Povyakalo
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". IEEE Trans. Software Eng. 39 (12) (2013)
Bev Littlewood, Andrey Povyakalo
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". IEEE Trans. Software Eng. 39 (11) (2013)
Bev Littlewood, John Rushby
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect". IEEE Trans. Software Eng. 38 (5) (2012)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Trans. Software Eng. 37 (5) (2011)
Alan Burns, Bev Littlewood
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. RTSS (2010)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. Formal Methods and Testing (2008)
Bev Littlewood
Comments on "Multi-objective genetic algorithm for solving N-version program design problem": [Reliabil Eng Syst Saf 91 (2006) 1083-1094]. Reliab. Eng. Syst. Saf. 93 (8) (2008)
Bev Littlewood, David Wright
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. 33 (5) (2007)
Peter G. Bishop, Ilir Gashi, Bev Littlewood, David Wright
Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers. ISSRE (2007)
Bev Littlewood
Limits to Dependability Assurance - A Controversy Revisited. ICSE Companion (2007)
Robin E. Bloomfield, Bev Littlewood, David Wright
Confidence: Its Role in Dependability Cases for Risk Assessment. DSN (2007)
Bev Littlewood
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]. Reliab. Eng. Syst. Saf. 91 (4) (2006)
Bev Littlewood
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]. Reliab. Eng. Syst. Saf. 91 (1) (2006)
Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini
E-voting: Dependability Requirements and Design for Dependability. ARES (2006)
Bev Littlewood
"Diversity as a computer defense mechanism". NSPW (2005)
Bev Littlewood
Dependability assessment of software-based systems: state of the art. ICSE (2005)
Peter T. Popov, Bev Littlewood
The Effect of Testing on Reliability of Fault-Tolerant Software. DSN (2004)
Bev Littlewood, Lorenzo Strigini
Redundancy and Diversity in Security. ESORICS (2004)
Robin E. Bloomfield, Bev Littlewood
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. DSN (2003)
Bev Littlewood
On Diversity, and the Elusiveness of Independence. SAFECOMP (2002)
Bev Littlewood
Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? ICECCS (2002)
Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby
Combination of qualitative and quantitative sources of knowledge for risk assessment. EUSFLAT Conf. (2001)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
Modeling software design diversity. ACM Comput. Surv. 33 (2) (2001)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. SAFECOMP (2000)
Bev Littlewood
The Use of Proof in Diversity Arguments. IEEE Trans. Software Eng. 26 (10) (2000)
Bev Littlewood, Lorenzo Strigini
Software reliability and dependability: a roadmap. ICSE - Future of SE Track (2000)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane
Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng. 26 (12) (2000)
Peter T. Popov, Lorenzo Strigini, Bev Littlewood
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. PDPTA (2000)
Bev Littlewood, Lorenzo Strigini
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. ICSE (2000)
Bev Littlewood, Lorenzo Strigini
Software reliability (tutorial session): basic concepts and assessment methods. ICSE (2000)
Bev Littlewood
Two Heads Are Better Than One: Using Diversity to Make Software Dependable. EUROMICRO (1999)
May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly
A Non-Parametric Order Statistics Software Reliability Model. Softw. Test. Verification Reliab. 8 (3) (1998)
Norman E. Fenton, Bev Littlewood, Martin Neil, Lorenzo Strigini, Alistair G. Sutcliffe, David Wright
Assesing dependability of safety critical systems using diverse evidence. IEE Proc. Softw. 145 (1) (1998)
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng. 24 (8) (1998)
Bev Littlewood, David Wright
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. IEEE Trans. Software Eng. 23 (11) (1997)
May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly
A non-parametric approach to software reliability prediction. ISSRE (1997)
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
Choosing a Testing Method to Deliver Reliability. ICSE (1997)
Martin Neil, Bev Littlewood, Norman E. Fenton
Applying Bayesian Belief Networks to System Dependability Assessment. SSS (1996)
John F. Meyer, Bev Littlewood, David Wright
Dependability of modular software in a multiuser operational environment. ISSRE (1995)
Bev Littlewood, David Wright
Stopping Rules for the Operational Testing of Safety-Critical Software. FTCS (1995)
Bev Littlewood, David Wright
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. SAFECOMP (1995)
Bev Littlewood
Why We Should Learn Not To Depend Too Much Upon Software. IFIP Congress (3) (1994)
Bev Littlewood
Learning to live with uncertainty in our software. IEEE METRICS (1994)
John C. Knight, Bev Littlewood
Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Softw. 11 (1) (1994)
Bev Littlewood, Lorenzo Strigini
Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM 36 (11) (1993)
Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, Peter Mellor, Stella Page, David Wright, John Dobson, John McDermid, Dieter Gollmann
Towards Operational Measures of Computer Security. J. Comput. Secur. 2 (2-3) (1993)
Bev Littlewood
Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability. Experimental Software Engineering Issues (1992)
Sarah Brocklehurst, Bev Littlewood
New Ways to Get Accurate Reliability Measures. IEEE Softw. 9 (4) (1992)
Sarah Brocklehurst, P. Y. Chan, Bev Littlewood, John Snell
Recalibrating Software Reliability Models. IEEE Trans. Software Eng. 16 (4) (1990)
Bev Littlewood
Hardware and Software Dependability Evaluation: Software Dependability. IFIP Congress (1989)
Bev Littlewood, Douglas R. Miller
Conceptual Modeling of Coincident Failures in Multiversion Software. IEEE Trans. Software Eng. 15 (12) (1989)
Bev Littlewood, Douglas R. Miller
A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software. Fehlertolerierende Rechensysteme (1987)
Bev Littlewood
Forecasting Software Reliability. Software Reliability Modelling and Identification (1987)
Bev Littlewood, Ariela Sofer
A Bayesian modification to the Jelinski-Moranda software reliability growth model. Softw. Eng. J. 2 (2) (1987)
Abdallah A. Abdel-Ghaly, P. Y. Chan, Bev Littlewood
Evaluation of Competing Software Reliability Predictions. IEEE Trans. Software Eng. 12 (9) (1986)
Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood
Criteria for Software Reliability Model Comparisons. IEEE Trans. Software Eng. 10 (6) (1984)
Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood
Criteria for software reliability model comparisons. ACM SIGSOFT Softw. Eng. Notes 8 (3) (1983)
Bev Littlewood
A bayesian differential debugging model for software reliability. SIGMETRICS Perform. Evaluation Rev. 10 (1) (1981)
Bev Littlewood
Stochastic reliability growth: A model with applications to computer software faults and hardware design faults. SIGMETRICS Perform. Evaluation Rev. 10 (1) (1981)
Bev Littlewood
The Littlewood-Verrall model for software reliability compared with some rivals. J. Syst. Softw. 1 (1980)
Bev Littlewood
What makes a reliable program: few bugs, or a small failure rate? AFIPS National Computer Conference (1980)
Bev Littlewood
Theories of Software Reliability: How Good Are They and How Can They Be Improved? IEEE Trans. Software Eng. 6 (5) (1980)
Bev Littlewood
How to Measure Software Reliability, and How Not To. ICSE (1978)
Bev Littlewood
A reliability model for Markov structured software. Reliable Software (1975)

Bev Littlewood.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bev Littlewood