Bev Littlewood

72 papers A* 5A 9B 6C 2Misc 1Journal 32Unranked 16
YearRankTypeTitle / Venue / Authors
2020 J jnl
On reliability assessment when a software-based system is replaced by a thought-to-be-better one.
Reliab. Eng. Syst. Saf.
Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao
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
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
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.
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini
2014 J jnl
Evaluating the Assessment of Software Fault-Freeness.
CoRR
John Rushby, Bev Littlewood, Lorenzo Strigini
2013 J jnl
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.
Bev Littlewood, Andrey Povyakalo
2013 J jnl
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.
Bev Littlewood, Andrey Povyakalo
2012 J jnl
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect".
IEEE Trans. Software Eng.
Bev Littlewood, John Rushby
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
2010 A conf
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.
RTSS
Alan Burns, Bev Littlewood
2008 J jnl
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.
Bev Littlewood
2008 — conf
Modelling the Effects of Combining Diverse Software Fault Detection Techniques.
Formal Methods and Testing
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane
2007 A conf
Confidence: Its Role in Dependability Cases for Risk Assessment.
DSN
Robin E. Bloomfield, Bev Littlewood, David Wright
2007 — conf
Limits to Dependability Assurance - A Controversy Revisited.
ICSE Companion
Bev Littlewood
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
2006 J jnl
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.
Bev Littlewood
2006 J jnl
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.
Bev Littlewood
2006 B conf
E-voting: Dependability Requirements and Design for Dependability.
ARES
Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini
2005 C conf
"Diversity as a computer defense mechanism".
NSPW
Bev Littlewood
2005 A* conf
Dependability assessment of software-based systems: state of the art.
ICSE
Bev Littlewood
2004 A conf
Redundancy and Diversity in Security.
ESORICS
Bev Littlewood, Lorenzo Strigini
2004 A conf
The Effect of Testing on Reliability of Fault-Tolerant Software.
DSN
Peter T. Popov, Bev Littlewood
2003 B ed.
Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
SAFECOMP
Stuart Anderson, Massimo Felici, Bev Littlewood
2003 A conf
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
DSN
Robin E. Bloomfield, Bev Littlewood
2002 B conf
Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense?
ICECCS
Bev Littlewood
2002 B conf
On Diversity, and the Elusiveness of Independence.
SAFECOMP
Bev Littlewood
2001 — conf
Combination of qualitative and quantitative sources of knowledge for risk assessment.
EUSFLAT Conf.
Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby
2001 J jnl
Modeling software design diversity.
ACM Comput. Surv.
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
2000 B conf
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.
SAFECOMP
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
2000 Misc conf
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.
PDPTA
Peter T. Popov, Lorenzo Strigini, Bev Littlewood
2000 A* conf
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment.
ICSE
Bev Littlewood, Lorenzo Strigini
2000 J jnl
Modeling the Effects of Combining Diverse Software Fault Detection Techniques.
IEEE Trans. Software Eng.
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane
2000 A* conf
Software reliability (tutorial session): basic concepts and assessment methods.
ICSE
Bev Littlewood, Lorenzo Strigini
2000 — conf
Software reliability and dependability: a roadmap.
ICSE - Future of SE Track
Bev Littlewood, Lorenzo Strigini
2000 J jnl
The Use of Proof in Diversity Arguments.
IEEE Trans. Software Eng.
Bev Littlewood
1999 — conf
Two Heads Are Better Than One: Using Diversity to Make Software Dependable.
EUROMICRO
Bev Littlewood
1998 J jnl
A Non-Parametric Order Statistics Software Reliability Model.
Softw. Test. Verification Reliab.
May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly
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
1998 J jnl
Evaluating Testing Methods by Delivered Reliability.
IEEE Trans. Software Eng.
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
1997 A conf
A non-parametric approach to software reliability prediction.
ISSRE
May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly
1997 A* conf
Choosing a Testing Method to Deliver Reliability.
ICSE
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
1997 J jnl
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.
IEEE Trans. Software Eng.
Bev Littlewood, David Wright
1996 C conf
Applying Bayesian Belief Networks to System Dependability Assessment.
SSS
Martin Neil, Bev Littlewood, Norman E. Fenton
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
1994 J jnl
Guest Editors' Introduction: Critical Task of Writing Dependable Software.
IEEE Softw.
John C. Knight, Bev Littlewood
1994 — conf
Learning to live with uncertainty in our software.
IEEE METRICS
Bev Littlewood
1994 — conf
Why We Should Learn Not To Depend Too Much Upon Software.
IFIP Congress (3)
Bev Littlewood
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
1993 J jnl
Validation of Ultrahigh Dependability for Software-Based Systems.
Commun. ACM
Bev Littlewood, Lorenzo Strigini
1992 — conf
Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability.
Experimental Software Engineering Issues
Bev Littlewood
1992 J jnl
New Ways to Get Accurate Reliability Measures.
IEEE Softw.
Sarah Brocklehurst, Bev Littlewood
1990 J jnl
Recalibrating Software Reliability Models.
IEEE Trans. Software Eng.
Sarah Brocklehurst, P. Y. Chan, Bev Littlewood, John Snell
1989 J jnl
Conceptual Modeling of Coincident Failures in Multiversion Software.
IEEE Trans. Software Eng.
Bev Littlewood, Douglas R. Miller
1989 — conf
Hardware and Software Dependability Evaluation: Software Dependability.
IFIP Congress
Bev Littlewood
1987 J jnl
A Bayesian modification to the Jelinski-Moranda software reliability growth model.
Softw. Eng. J.
Bev Littlewood, Ariela Sofer
1987 — conf
A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software.
Fehlertolerierende Rechensysteme
Bev Littlewood, Douglas R. Miller
1987 — conf
Forecasting Software Reliability.
Software Reliability Modelling and Identification
Bev Littlewood
1986 J jnl
Evaluation of Competing Software Reliability Predictions.
IEEE Trans. Software Eng.
Abdallah A. Abdel-Ghaly, P. Y. Chan, Bev Littlewood
1984 J jnl
Criteria for Software Reliability Model Comparisons.
IEEE Trans. Software Eng.
Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood
1983 J jnl
Criteria for software reliability model comparisons.
ACM SIGSOFT Softw. Eng. Notes
Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood
1981 — conf
A bayesian differential debugging model for software reliability.
Measurement and evaluation of software quality
Bev Littlewood
1981 — conf
Stochastic reliability growth: A model with applications to computer software faults and hardware design faults.
Measurement and evaluation of software quality
Bev Littlewood
1980 J jnl
The Littlewood-Verrall model for software reliability compared with some rivals.
J. Syst. Softw.
Bev Littlewood
1980 J jnl
Theories of Software Reliability: How Good Are They and How Can They Be Improved?
IEEE Trans. Software Eng.
Bev Littlewood
1980 — conf
What makes a reliable program: few bugs, or a small failure rate?
AFIPS National Computer Conference
Bev Littlewood
1978 A* conf
How to Measure Software Reliability, and How Not To.
ICSE
Bev Littlewood
1978 — —
On the modelling of computer software reliability and quality.
Bev Littlewood
1975 — conf
A reliability model for Markov structured software.
Reliable Software
Bev Littlewood