| 2008 |
|---|
| 41 | EE | 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 |
| 2007 |
|---|
| 40 | EE | Robin E. Bloomfield,
Bev Littlewood,
David Wright:
Confidence: Its Role in Dependability Cases for Risk Assessment.
DSN 2007: 338-346 |
| 39 | EE | Bev Littlewood:
Limits to Dependability Assurance - A Controversy Revisited.
ICSE Companion 2007: 6 |
| 38 | EE | 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) |
| 2006 |
|---|
| 37 | EE | Jeremy Bryans,
Bev Littlewood,
Peter Y. A. Ryan,
Lorenzo Strigini:
E-voting: Dependability Requirements and Design for Dependability.
ARES 2006: 988-995 |
| 2005 |
|---|
| 36 | EE | Bev Littlewood:
Dependability assessment of software-based systems: state of the art.
ICSE 2005: 6-7 |
| 2004 |
|---|
| 35 | EE | Peter T. Popov,
Bev Littlewood:
The Effect of Testing on Reliability of Fault-Tolerant Software.
DSN 2004: 265-274 |
| 34 | EE | Bev Littlewood,
Lorenzo Strigini:
Redundancy and Diversity in Security.
ESORICS 2004: 423-438 |
| 2003 |
|---|
| 33 | | Stuart Anderson,
Massimo Felici,
Bev Littlewood:
Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
Springer 2003 |
| 32 | EE | Robin E. Bloomfield,
Bev Littlewood:
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
DSN 2003: 25- |
| 2002 |
|---|
| 31 | EE | Bev Littlewood:
Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense?
ICECCS 2002: 3- |
| 30 | EE | Bev Littlewood:
On Diversity, and the Elusiveness of Independence.
SAFECOMP 2002: 249-251 |
| 2001 |
|---|
| 29 | EE | Bev Littlewood,
Peter T. Popov,
Lorenzo Strigini:
Modeling software design diversity.
ACM Comput. Surv. 33(2): 177-208 (2001) |
| 2000 |
|---|
| 28 | EE | Bev Littlewood,
Lorenzo Strigini:
Software reliability (tutorial session): basic concepts and assessment methods.
ICSE 2000: 831 |
| 27 | EE | Bev Littlewood,
Lorenzo Strigini:
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment.
ICSE 2000: 835 |
| 26 | EE | Bev Littlewood,
Lorenzo Strigini:
Software reliability and dependability: a roadmap.
ICSE - Future of SE Track 2000: 175-188 |
| 25 | | Peter T. Popov,
Lorenzo Strigini,
Bev Littlewood:
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.
PDPTA 2000 |
| 24 | EE | Bev Littlewood,
Peter T. Popov,
Lorenzo Strigini:
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.
SAFECOMP 2000: 294-308 |
| 23 | EE | Bev Littlewood:
The Use of Proof in Diversity Arguments.
IEEE Trans. Software Eng. 26(10): 1022-1023 (2000) |
| 22 | EE | 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) |
| 1999 |
|---|
| 21 | | Bev Littlewood:
Two Heads Are Better Than One: Using Diversity to Make Software Dependable.
EUROMICRO 1999: 15- |
| 1998 |
|---|
| 20 | EE | 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) |
| 19 | | 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) |
| 1997 |
|---|
| 18 | EE | Phyllis G. Frankl,
Richard G. Hamlet,
Bev Littlewood,
Lorenzo Strigini:
Choosing a Testing Method to Deliver Reliability.
ICSE 1997: 68-78 |
| 17 | EE | 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) |
| 1995 |
|---|
| 16 | | Bev Littlewood,
David Wright:
Stopping Rules for the Operational Testing of Safety-Critical Software.
FTCS 1995: 444-451 |
| 1994 |
|---|
| 15 | | Bev Littlewood:
Why We Should Learn Not To Depend Too Much Upon Software.
IFIP Congress (3) 1994: 254-261 |
| 14 | EE | John C. Knight,
Bev Littlewood:
Guest Editors' Introduction: Critical Task of Writing Dependable Software.
IEEE Software 11(1): 16-20 (1994) |
| 1993 |
|---|
| 13 | | Bev Littlewood,
Lorenzo Strigini:
Validation of Ultrahigh Dependability for Software-Based Systems.
Commun. ACM 36(11): 69-80 (1993) |
| 12 | | 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) |
| 1992 |
|---|
| 11 | | Bev Littlewood:
Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability.
Experimental Software Engineering Issues 1992: 173-176 |
| 10 | | Sarah Brocklehurst,
Bev Littlewood:
New Ways to Get Accurate Reliability Measures.
IEEE Software 9(4): 34-42 (1992) |
| 1990 |
|---|
| 9 | EE | Sarah Brocklehurst,
P. Y. Chan,
Bev Littlewood,
John Snell:
Recalibrating Software Reliability Models.
IEEE Trans. Software Eng. 16(4): 458-470 (1990) |
| 1989 |
|---|
| 8 | | Bev Littlewood:
Hardware and Software Dependability Evaluation: Software Dependability.
IFIP Congress 1989: 119 |
| 7 | EE | Bev Littlewood,
Douglas R. Miller:
Conceptual Modeling of Coincident Failures in Multiversion Software.
IEEE Trans. Software Eng. 15(12): 1596-1614 (1989) |
| 1987 |
|---|
| 6 | | 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 |
| 1986 |
|---|
| 5 | | Abdallah A. Abdel-Ghaly,
P. Y. Chan,
Bev Littlewood:
Evaluation of Competing Software Reliability Predictions.
IEEE Trans. Software Eng. 12(9): 950-967 (1986) |
| 1984 |
|---|
| 4 | | Anthony Iannino,
John D. Musa,
Kazuhira Okumoto,
Bev Littlewood:
Criteria for Software Reliability Model Comparisons.
IEEE Trans. Software Eng. 10(6): 687-691 (1984) |
| 1980 |
|---|
| 3 | | 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) |
| 2 | EE | Bev Littlewood:
The Littlewood-Verrall model for software reliability compared with some rivals.
Journal of Systems and Software 1: 251-258 (1980) |
| 1978 |
|---|
| 1 | | Bev Littlewood:
How to Measure Software Reliability, and How Not To.
ICSE 1978: 37-45 |
