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