default search action
Lorenzo Strigini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
- [j29]Fuqun Huang
, Lorenzo Strigini
HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms. IEEE Access 11: 3626-3652 (2023) - [j28]Zheng Zheng
Editorial: Software Reliability and Dependability Engineering. IEEE Trans. Dependable Secur. Comput. 20(4): 2674-2676 (2023) - 2020
- [j27]Xingyu Zhao
Assessing safety-critical systems from operational testing: A study on autonomous vehicles. Inf. Softw. Technol. 128: 106393 (2020) - [j26]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) - 2018
- [j25]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
- [j24]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) - 2014
- [j23]Lorenzo Strigini, David Wright:
Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. Reliab. Eng. Syst. Saf. 128: 66-83 (2014) - [j22]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) - [j21]Kizito Salako, Lorenzo Strigini:
When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling. IEEE Trans. Dependable Secur. Comput. 11(2): 193-206 (2014) - 2012
- [j20]Lorenzo Strigini:
Resilience: What Is It, and How Much Do We Want? IEEE Secur. Priv. 10(3): 72-75 (2012) - 2008
- [j19]Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton
CAD in mammography: lesion-level versus case-level analysis of the effects of prompts on human decisions. Int. J. Comput. Assist. Radiol. Surg. 3(1-2): 115-122 (2008) - 2007
- [j18]Ilir Gashi
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. IEEE Trans. Dependable Secur. Comput. 4(4): 280-294 (2007) - 2003
- [j17]Peter T. Popov
Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng. 29(4): 345-359 (2003) - 2001
- [j16]Bev Littlewood, Peter T. Popov
Modeling software design diversity. ACM Comput. Surv. 33(2): 177-208 (2001) - 2000
- [j15]Alan Burns, Divya Prasad, Andrea Bondavalli
The meaning and role of value in scheduling flexible real-time systems. J. Syst. Archit. 46(4): 305-325 (2000) - [j14]Bev Littlewood, Peter T. Popov
Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng. 26(12): 1157-1167 (2000) - 1999
- [j13]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini:
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. Softw. Test. Verification Reliab. 9(3): 145-166 (1999) - 1998
- [j12]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) - [j11]Antonia Bertolino, Lorenzo Strigini:
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. Softw. Test. Verification Reliab. 8(3): 155-166 (1998) - [j10]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
- [j9]Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky
Coordinated backward between client processes and data servers. IEE Proc. Softw. Eng. 144(2): 134-146 (1997) - 1996
- [j8]Lorenzo Strigini:
Limiting the Dangers of Intuitive Decision Making. IEEE Softw. 13(1): 101-103 (1996) - [j7]Lorenzo Strigini:
On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures. Softw. Test. Verification Reliab. 6(1): 33-48 (1996) - [j6]Antonia Bertolino
On the Use of Testability Measures for Dependability Assessment. IEEE Trans. Software Eng. 22(2): 97-108 (1996) - 1995
- [j5]Alexander B. Romanovsky
Backward error recovery via conversations in Ada. Softw. Eng. J. 10(6): 219-232 (1995) - 1993
- [j4]Bev Littlewood, Lorenzo Strigini:
Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM 36(11): 69-80 (1993) - 1992
- [j3]Andrea Bondavalli
Destination Stripping Dual Ring: A New Protocol for MANs. Comput. Networks ISDN Syst. 24(1): 15-32 (1992) - 1989
- [j2]Andrea Bondavalli
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. Comput. Networks ISDN Syst. 18(2): 97-113 (1989) - 1983
- [j1]Paolo Corsini, Lanfranco Lopriore, Lorenzo Strigini:
Fail-safeness in a multiprocessor system. a distributed strategy based on backward error recovery. Softw. Microsystems 2(6): 147-156 (1983)
Conference and Workshop Papers
- 2024
- [c56]Robab Aghazadeh Chakherlou, Lorenzo Strigini:
Impact of Prior Beliefs on Dependability Prediction for a Changed System Using Pre-change Operational Evidence. QRS 2024: 572-583 - 2022
- [c55]Marwa Gadala, Lorenzo Strigini, Radek Fujdiak:
Authentication for Operators of Critical Medical Devices: A Contribution to Analysis of Design Trade-offs. ARES 2022: 131:1-131:9 - [c54]Peter Bishop, Andrey Povyakalo, Lorenzo Strigini:
Bootstrapping confidence in future safety from past safe operation. ISSRE 2022: 97-108 - [c53]Robab Aghazadeh Chakherlou, Kizito Salako, Lorenzo Strigini:
Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. ISSRE Workshops 2022: 307-312 - [c52]Cornelius Bürkle, Fabian Oboril, Michael Paulitsch, Peter T. Popov, Lorenzo Strigini:
Modelling road hazards and the effect on AV safety of hazardous failures. ITSC 2022: 1886-1893 - [c51]Francesco Terrosi
Impact of Machine Learning on Safety Monitors. SAFECOMP 2022: 129-143 - 2021
- [c50]Kizito Salako, Lorenzo Strigini, Xingyu Zhao
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. DSN 2021: 451-462 - 2020
- [c49]Lorenzo Strigini, Marwa Gadala:
Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards. HEALTHINF 2020: 766-773 - 2019
- [c48]Xingyu Zhao
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. ISSRE 2019: 13-23 - 2018
- [c47]Fuqun Huang
Predicting Software Defects Based on Cognitive Error Theories. ISSRE Workshops 2018: 134-135 - 2016
- [c46]Ilir Gashi
Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. EDCC 2016: 13-24 - [c45]Vassil Alexandrov, Thomas Ropars, Lorenzo Strigini:
Panels: Panel session I: Resiliency in extreme scale high performance computing systems and applications. HPCS 2016: 1-10 - 2014
- [c44]Peter T. Popov
Software Diversity as a Measure for Reducing Development Risk. EDCC 2014: 106-117 - [c43]Lorenzo Strigini:
Assessment Techniques, Certification and [What Else We Need for] Confidence in Software. ISSRE Workshops 2014: 484 - [c42]Peter G. Bishop
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. SAFECOMP 2014: 186-201 - 2013
- [c41]Lorenzo Strigini, Andrey Povyakalo:
Software Fault-Freeness and Reliability Predictions. SAFECOMP 2013: 106-117 - 2012
- [c40]Michael Paulitsch, Rupert Reiger, Lorenzo Strigini, Robin E. Bloomfield:
Evidence-Based Security in Aerospace: From Safety to Security and Back Again. ISSRE Workshops 2012: 21-22 - [c39]Peter T. Popov
An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs. ISSRE 2012: 41-50 - 2010
- [c38]Peter T. Popov
Assessing Asymmetric Fault-Tolerant Software. ISSRE 2010: 41-50 - 2009
- [c37]Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton
Why Are People's Decisions Sometimes Worse with Computer Support?. SAFECOMP 2009: 18-31 - 2008
- [c36]Bev Littlewood, Peter T. Popov
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. Formal Methods and Testing 2008: 345-366 - 2006
- [c35]Jeremy W. Bryans
E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995 - 2005
- [c34]Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson:
Protective Wrapping of Off-the-Shelf Components. ICCBSS 2005: 168-177 - [c33]Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla:
On the Effectiveness of Run-Time Checks. SAFECOMP 2005: 151-164 - 2004
- [c32]Ilir Gashi, Peter T. Popov
Fault Diversity among Off-The-Shelf SQL Database Servers. DSN 2004: 389-398 - [c31]Michael D. Harrison, Lorenzo Strigini:
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN 2004: 899 - [c30]Bev Littlewood, Lorenzo Strigini:
Redundancy and Diversity in Security. ESORICS 2004: 423-438 - [c29]Peter T. Popov, Lorenzo Strigini, A. Kostov, V. Mollov, D. Selensky:
Software Fault-Tolerance with Off-the-Shelf SQL Servers. ICCBSS 2004: 117-126 - 2003
- [c28]Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton:
Does incorrect computer prompting affect human decision making? A case study in mammography. CARS 2003: 938-943 - [c27]Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi:
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. DSN 2003: 249-258 - [c26]Ilir Gashi, Peter T. Popov
On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. WADS 2003: 191-214 - 2001
- [c25]Peter T. Popov
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. DSN 2001: 5-14 - [c24]Peter T. Popov
On Systematic Design of Protectors for Employing OTS Items. EUROMICRO 2001: 22-29 - [c23]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
- [c22]Bev Littlewood, Lorenzo Strigini:
Software reliability and dependability: a roadmap. ICSE - Future of SE Track 2000: 175-188 - [c21]Bev Littlewood, Lorenzo Strigini:
Software reliability (tutorial session): basic concepts and assessment methods. ICSE 2000: 831 - [c20]Bev Littlewood, Lorenzo Strigini:
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. ICSE 2000: 835 - [c19]Peter T. Popov, Lorenzo Strigini, Bev Littlewood:
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. PDPTA 2000 - [c18]Bev Littlewood, Peter T. Popov
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. SAFECOMP 2000: 294-308 - 1999
- [c17]Peter T. Popov
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. SAFECOMP 1999: 272-285 - 1998
- [c16]Peter T. Popov
Conceptual Models for the Reliability of Diverse Systems - New Results. FTCS 1998: 80-89 - [c15]Michele Pizza, Lorenzo Strigini, Andrea Bondavalli
Optimal Discrimination between Transient and Permanent Faults. HASE 1998: 214-223 - [c14]Michele Pizza, Lorenzo Strigini:
Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality. ISSRE 1998: 144-153 - [c13]Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini:
A Holistic View on the Dependability of Software-Intensive Systems. SAFECOMP 1998: 369-379 - 1997
- [c12]Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
Choosing a Testing Method to Deliver Reliability. ICSE 1997: 68-78 - 1996
- [c11]Antonia Bertolino, Lorenzo Strigini:
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. SAFECOMP 1996: 83-94 - 1995
- [c10]Antonia Bertolino, Lorenzo Strigini:
Using Testability Measures for Dependability Assessment. ICSE 1995: 61-70 - 1994
- [c9]Silvano Chiaradonna, Andrea Bondavalli
On Performability Modeling and Evaluation of Software Fault Tolerant Structures. EDCC 1994: 97-114 - 1992
- [c8]Andrea Bondavalli
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS 1992: 214-221 - 1991
- [c7]Felicita Di Giandomenico, Lorenzo Strigini:
Implementations and Extensions of the Conversation Concept. Fault-Tolerant Computing Systems 1991: 42-53 - [c6]Andrea Bondavalli
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. INFOCOM 1991: 1022-1030 - [c5]Lorenzo Strigini, Felicita Di Giandomenico:
Flexible Schemes for Application-Level Fault Tolerance. SRDS 1991: 86-95 - 1990
- [c4]Felicita Di Giandomenico, Lorenzo Strigini:
Adjudicators for Diverse-Redundant Components. SRDS 1990: 114-123 - 1988
- [c3]Andres Albanese, Lorenzo Strigini, Luigi Fratta:
A routing strategy for interconnecting high-speed metropolitan area networks. ICCC 1988: 303-309 - 1984
- [c2]Paolo Corsini, Luca Simoncini, Lorenzo Strigini:
The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme 1984: 1-13 - 1982
- [c1]G. Barigazzi, Augusto Ciuffoletti, Lorenzo Strigini:
A Distributed algorithm for post-failure load redistribution. ICDCS 1982: 71-76
Parts in Books or Collections
- 2012
- [p2]Lorenzo Strigini:
Fault Tolerance and Resilience: Meanings, Measures and Assessment. Resilience Assessment and Evaluation of Computing Systems 2012: 3-24 - 1995
- [p1]Andrea Bondavalli, John A. Stankovic, Lorenzo Strigini:
Adaptable Fault Tolerance for Real-Time Systems. Responsive Computer Systems 1995: 187-208
Informal and Other Publications
- 2021
- [i6]Marwa Gadala, Lorenzo Strigini, Peter Ayton:
Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics. CoRR abs/2106.13544 (2021) - [i5]Fuqun Huang, Lorenzo Strigini:
HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms. CoRR abs/2110.06758 (2021) - [i4]Peter Bishop, Andrey Povyakalo, Lorenzo Strigini:
Bootstrapping confidence in future safety based on past safe operation. CoRR abs/2110.10718 (2021) - 2020
- [i3]Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn:
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. CoRR abs/2008.09510 (2020) - 2019
- [i2]Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini:
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. CoRR abs/1908.06540 (2019) - 2014
- [i1]John Rushby, Bev Littlewood, Lorenzo Strigini:
Evaluating the Assessment of Software Fault-Freeness. CoRR abs/1404.6844 (2014)
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-10-21 21:32 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: