Bev Littlewood

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): 1178-1194 (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): 708-717 (2011)

Alan Burns, Bev Littlewood: Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. RTSS 2010: 73-81

Bev Littlewood: Comments on "Multi-objective genetic algorithm for solving N-version program design problem": [Reliabil Eng Syst Saf 91 (2006) 1083-1094]. Rel. Eng. & Sys. Safety 93(8): 1287 (2008)

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

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): 347-365 (2007)

Robin E. Bloomfield, Bev Littlewood, David Wright: Confidence: Its Role in Dependability Cases for Risk Assessment. DSN 2007: 338-346

Bev Littlewood: Limits to Dependability Assurance - A Controversy Revisited. ICSE Companion 2007: 6

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: 49-58

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]. Rel. Eng. & Sys. Safety 91(1): 119-120 (2006)

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]. Rel. Eng. & Sys. Safety 91(4): 485-486 (2006)

Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995

Bev Littlewood: Dependability assessment of software-based systems: state of the art. ICSE 2005: 6-7

Peter T. Popov, Bev Littlewood: The Effect of Testing on Reliability of Fault-Tolerant Software. DSN 2004: 265-274

Bev Littlewood, Lorenzo Strigini: Redundancy and Diversity in Security. ESORICS 2004: 423-438

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

Stuart Anderson, Massimo Felici, Bev Littlewood (Eds.): Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings. Lecture Notes in Computer Science 2788, Springer 2003, isbn 3-540-20126-2

Bev Littlewood: Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? ICECCS 2002: 3-

Bev Littlewood: On Diversity, and the Elusiveness of Independence. SAFECOMP 2002: 249-251

Bev Littlewood, Peter T. Popov, Lorenzo Strigini: Modeling software design diversity. ACM Comput. Surv. 33(2): 177-208 (2001)

Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby: Combination of qualitative and quantitative sources of knowledge for risk assessment. EUSFLAT Conf. 2001: 418-421

Bev Littlewood: The Use of Proof in Diversity Arguments. IEEE Trans. Software Eng. 26(10): 1022-1023 (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): 1157-1167 (2000)

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

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

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

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

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

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

May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly: A Non-Parametric Order Statistics Software Reliability Model. Softw. Test., Verif. Reliab. 8(3): 113-132 (1998)

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

Bev Littlewood, David Wright: Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. IEEE Trans. Software Eng. 23(11): 673-683 (1997)

Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini: Choosing a Testing Method to Deliver Reliability. ICSE 1997: 68-78

Bev Littlewood, David Wright: Stopping Rules for the Operational Testing of Safety-Critical Software. FTCS 1995: 444-451

John C. Knight, Bev Littlewood: Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Software 11(1): 16-20 (1994)

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

Bev Littlewood, Lorenzo Strigini: Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM 36(11): 69-80 (1993)

Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton, P. Mellor, Stella Page, David Wright, J. Dobson, J. McDermid, Dieter Gollmann: Towards Operational Measures of Computer Security. Journal of Computer Security 2(2-3): 211-230 (1993)

Sarah Brocklehurst, Bev Littlewood: New Ways to Get Accurate Reliability Measures. IEEE Software 9(4): 34-42 (1992)

Bev Littlewood: Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability. Experimental Software Engineering Issues 1992: 173-176

Sarah Brocklehurst, P. Y. Chan, Bev Littlewood, John Snell: Recalibrating Software Reliability Models. IEEE Trans. Software Eng. 16(4): 458-470 (1990)

Bev Littlewood, Douglas R. Miller: Conceptual Modeling of Coincident Failures in Multiversion Software. IEEE Trans. Software Eng. 15(12): 1596-1614 (1989)

Bev Littlewood: Hardware and Software Dependability Evaluation: Software Dependability. IFIP Congress 1989: 119

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

Abdallah A. Abdel-Ghaly, P. Y. Chan, Bev Littlewood: Evaluation of Competing Software Reliability Predictions. IEEE Trans. Software Eng. 12(9): 950-967 (1986)

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

Bev Littlewood: The Littlewood-Verrall model for software reliability compared with some rivals. Journal of Systems and Software 1: 251-258 (1980)

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

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

Bev Littlewood: How to Measure Software Reliability, and How Not To. ICSE 1978: 37-45