default search action
Bev Littlewood
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j31]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: 106752 (2020)
2010 – 2019
- 2018
- [j30]Xingyu Zhao
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175: 265-282 (2018) - 2017
- [j29]Xingyu Zhao
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: 230-245 (2017) - 2015
- [c38]Xingyu Zhao
Conservative claims about the probability of perfection of software-based systems. ISSRE 2015: 130-140 - 2014
- [j28]Peter G. Bishop
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: 61-68 (2014) - [i1]John Rushby, Bev Littlewood, Lorenzo Strigini:
Evaluating the Assessment of Software Fault-Freeness. CoRR abs/1404.6844 (2014) - 2013
- [j27]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): 1521-1530 (2013) - [j26]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): 1641-1653 (2013) - 2012
- [j25]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) - 2011
- [j24]Peter G. Bishop
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Trans. Software Eng. 37(5): 708-717 (2011) - 2010
- [c37]Alan Burns, Bev Littlewood:
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. RTSS 2010: 73-81
2000 – 2009
- 2008
- [j23]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): 1287 (2008) - [c36]Bev Littlewood, Peter T. Popov
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. Formal Methods and Testing 2008: 345-366 - 2007
- [j22]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) - [c35]Robin E. Bloomfield, Bev Littlewood, David Wright:
Confidence: Its Role in Dependability Cases for Risk Assessment. DSN 2007: 338-346 - [c34]Bev Littlewood:
Limits to Dependability Assurance - A Controversy Revisited. ICSE Companion 2007: 6 - [c33]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 - 2006
- [j21]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): 119-120 (2006) - [j20]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): 485-486 (2006) - [c32]Jeremy W. Bryans
E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995 - 2005
- [c31]Bev Littlewood:
Dependability assessment of software-based systems: state of the art. ICSE 2005: 6-7 - [c30]Bev Littlewood:
"Diversity as a computer defense mechanism". NSPW 2005: 17-18 - 2004
- [c29]Peter T. Popov
The Effect of Testing on Reliability of Fault-Tolerant Software. DSN 2004: 265-274 - [c28]Bev Littlewood, Lorenzo Strigini:
Redundancy and Diversity in Security. ESORICS 2004: 423-438 - 2003
- [c27]Robin E. Bloomfield, Bev Littlewood:
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. DSN 2003: 25-34 - [e1]Stuart Anderson, Massimo Felici, Bev Littlewood:
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 [contents] - 2002
- [c26]Bev Littlewood:
Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? ICECCS 2002: 3- - [c25]Bev Littlewood:
On Diversity, and the Elusiveness of Independence. SAFECOMP 2002: 249-251 - 2001
- [j19]Bev Littlewood, Peter T. Popov
Modeling software design diversity. ACM Comput. Surv. 33(2): 177-208 (2001) - [c24]Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby:
Combination of qualitative and quantitative sources of knowledge for risk assessment. EUSFLAT Conf. 2001: 418-421 - 2000
- [j18]Bev Littlewood:
The Use of Proof in Diversity Arguments. IEEE Trans. Software Eng. 26(10): 1022-1023 (2000) - [j17]Bev Littlewood, Peter T. Popov
Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng. 26(12): 1157-1167 (2000) - [c23]Bev Littlewood, Lorenzo Strigini:
Software reliability and dependability: a roadmap. ICSE - Future of SE Track 2000: 175-188 - [c22]Bev Littlewood, Lorenzo Strigini:
Software reliability (tutorial session): basic concepts and assessment methods. ICSE 2000: 831 - [c21]Bev Littlewood, Lorenzo Strigini:
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. ICSE 2000: 835 - [c20]Peter T. Popov, Lorenzo Strigini, Bev Littlewood:
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. PDPTA 2000 - [c19]Bev Littlewood, Peter T. Popov
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. SAFECOMP 2000: 294-308
1990 – 1999
- 1999
- [c18]Bev Littlewood:
Two Heads Are Better Than One: Using Diversity to Make Software Dependable. EUROMICRO 1999 - 1998
- [j16]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): 35-39 (1998) - [j15]May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly:
A Non-Parametric Order Statistics Software Reliability Model. Softw. Test. Verification Reliab. 8(3): 113-132 (1998) - [j14]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) - 1997
- [j13]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) - [c17]Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
Choosing a Testing Method to Deliver Reliability. ICSE 1997: 68-78 - [c16]May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly:
A non-parametric approach to software reliability prediction. ISSRE 1997: 366-377 - 1996
- [c15]Martin Neil, Bev Littlewood, Norman E. Fenton
Applying Bayesian Belief Networks to System Dependability Assessment. SSS 1996: 71-94 - 1995
- [c14]Bev Littlewood, David Wright:
Stopping Rules for the Operational Testing of Safety-Critical Software. FTCS 1995: 444-451 - [c13]John F. Meyer, Bev Littlewood, David Wright:
Dependability of modular software in a multiuser operational environment. ISSRE 1995: 170-179 - [c12]Bev Littlewood, David Wright:
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. SAFECOMP 1995: 173-188 - 1994
- [j12]John C. Knight, Bev Littlewood:
Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Softw. 11(1): 16-20 (1994) - [c11]Bev Littlewood:
Why We Should Learn Not To Depend Too Much Upon Software. IFIP Congress (3) 1994: 254-261 - [c10]Bev Littlewood:
Learning to live with uncertainty in our software. IEEE METRICS 1994: 2-8 - 1993
- [j11]Bev Littlewood, Lorenzo Strigini:
Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM 36(11): 69-80 (1993) - [j10]Bev Littlewood, Sarah Brocklehurst, Norman E. Fenton
Towards Operational Measures of Computer Security. J. Comput. Secur. 2(2-3): 211-230 (1993) - 1992
- [j9]Sarah Brocklehurst
New Ways to Get Accurate Reliability Measures. IEEE Softw. 9(4): 34-42 (1992) - [c9]Bev Littlewood:
Measurement-Based Modelling Issues - The Problem of Assuring Ultra-High Dependability. Experimental Software Engineering Issues 1992: 173-176 - 1990
- [j8]Sarah Brocklehurst
Recalibrating Software Reliability Models. IEEE Trans. Software Eng. 16(4): 458-470 (1990)
1980 – 1989
- 1989
- [j7]Bev Littlewood, Douglas R. Miller:
Conceptual Modeling of Coincident Failures in Multiversion Software. IEEE Trans. Software Eng. 15(12): 1596-1614 (1989) - [c8]Bev Littlewood:
Hardware and Software Dependability Evaluation: Software Dependability. IFIP Congress 1989: 119 - 1987
- [j6]Bev Littlewood, Ariela Sofer:
A Bayesian modification to the Jelinski-Moranda software reliability growth model. Softw. Eng. J. 2(2): 30-41 (1987) - [c7]Bev Littlewood:
Forecasting Software Reliability. Software Reliability Modelling and Identification 1987: 141-206 - [c6]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
- [j5]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
- [j4]Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood:
Criteria for Software Reliability Model Comparisons. IEEE Trans. Software Eng. 10(6): 687-691 (1984) - 1983
- [j3]Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood:
Criteria for software reliability model comparisons. ACM SIGSOFT Softw. Eng. Notes 8(3): 12-16 (1983) - 1981
- [c5]Bev Littlewood:
A bayesian differential debugging model for software reliability. Measurement and evaluation of software quality 1981: 129-130 - [c4]Bev Littlewood:
Stochastic reliability growth: A model with applications to computer software faults and hardware design faults. Measurement and evaluation of software quality 1981: 139-152 - 1980
- [j2]Bev Littlewood:
The Littlewood-Verrall model for software reliability compared with some rivals. J. Syst. Softw. 1: 251-258 (1980) - [j1]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) - [c3]Bev Littlewood:
What makes a reliable program: few bugs, or a small failure rate? AFIPS National Computer Conference 1980: 707-713
1970 – 1979
- 1978
- [b1]Bev Littlewood:
On the modelling of computer software reliability and quality. City University London, UK, 1978 - [c2]Bev Littlewood:
How to Measure Software Reliability, and How Not To. ICSE 1978: 37-45 - 1975
- [c1]Bev Littlewood:
A reliability model for Markov structured software. Reliable Software 1975: 204-207
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: