A Distributed algorithm for post-failure load redistribution. - G. Barigazzi; Augusto Ciuffoletti; Lorenzo Strigini (ICDCS, 1982)

Fail-safeness in a multiprocessor system. a distributed strategy based on backward error recovery. - Paolo Corsini; Lanfranco Lopriore; Lorenzo Strigini (Softw. Microsystems, 1983)

The architecture and the fault-treatment of MuTEAM. - Paolo Corsini; Luca Simoncini; Lorenzo Strigini (Fehlertolerierende Rechensysteme, 1984)

A routing strategy for interconnecting high-speed metropolitan area networks. - Andres Albanese; Lorenzo Strigini; Luigi Fratta (ICCC, 1988)

MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. - Andrea Bondavalli; Marco Conti; Enrico Gregori; Luciano Lenzini; Lorenzo Strigini (Comput. Networks ISDN Syst., 1989)

Adjudicators for Diverse-Redundant Components. - Felicita Di Giandomenico; Lorenzo Strigini (SRDS, 1990)

Implementations and Extensions of the Conversation Concept. - Felicita Di Giandomenico; Lorenzo Strigini (Fault-Tolerant Computing Systems, 1991)

DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. - Andrea Bondavalli; Lorenzo Strigini (INFOCOM, 1991)

Flexible Schemes for Application-Level Fault Tolerance. - Lorenzo Strigini; Felicita Di Giandomenico (SRDS, 1991)

Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. - Andrea Bondavalli; Lorenzo Strigini; Luca Simoncini (SRDS, 1992)

Destination Stripping Dual Ring: A New Protocol for MANs. - Andrea Bondavalli; Lorenzo Strigini; Matteo Sereno (Comput. Networks ISDN Syst., 1992)

Validation of Ultrahigh Dependability for Software-Based Systems. - Bev Littlewood; Lorenzo Strigini (Commun. ACM, 1993)

On Performability Modeling and Evaluation of Software Fault Tolerant Structures. - Silvano Chiaradonna; Andrea Bondavalli; Lorenzo Strigini (EDCC, 1994)

Adaptable Fault Tolerance for Real-Time Systems. - Andrea Bondavalli; John A. Stankovic; Lorenzo Strigini (Responsive Computer Systems, 1995)

Using Testability Measures for Dependability Assessment. - Antonia Bertolino; Lorenzo Strigini (ICSE, 1995)

Backward error recovery via conversations in Ada. - Alexander B. Romanovsky; Lorenzo Strigini (Softw. Eng. J., 1995)

Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. - Antonia Bertolino; Lorenzo Strigini (SAFECOMP, 1996)

Limiting the Dangers of Intuitive Decision Making. - Lorenzo Strigini (IEEE Softw., 1996)

On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures. - Lorenzo Strigini (Softw. Test. Verification Reliab., 1996)

On the Use of Testability Measures for Dependability Assessment. - Antonia Bertolino; Lorenzo Strigini (IEEE Trans. Software Eng., 1996)

Choosing a Testing Method to Deliver Reliability. - Phyllis G. Frankl; Richard G. Hamlet; Bev Littlewood; Lorenzo Strigini (ICSE, 1997)

Coordinated backward between client processes and data servers. - Lorenzo Strigini; Felicita Di Giandomenico; Alexander B. Romanovsky (IEE Proc. Softw. Eng., 1997)

Conceptual Models for the Reliability of Diverse Systems - New Results. - Peter T. Popov; Lorenzo Strigini (FTCS, 1998)

Optimal Discrimination between Transient and Permanent Faults. - Michele Pizza; Lorenzo Strigini; Andrea Bondavalli; Felicita Di Giandomenico (HASE, 1998)

Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality. - Michele Pizza; Lorenzo Strigini (ISSRE, 1998)

A Holistic View on the Dependability of Software-Intensive Systems. - Gerald Sonneck; Erwin Schoitsch; Lorenzo Strigini (SAFECOMP, 1998)

Assesing dependability of safety critical systems using diverse evidence. - Norman E. Fenton; Bev Littlewood; Martin Neil; Lorenzo Strigini; Alistair G. Sutcliffe; David Wright 001 (IEE Proc. Softw., 1998)

Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. - Antonia Bertolino; Lorenzo Strigini (Softw. Test. Verification Reliab., 1998)

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

Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. - Peter T. Popov; Lorenzo Strigini; Alexander B. Romanovsky (SAFECOMP, 1999)

A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. - Andrea Bondavalli; Silvano Chiaradonna; Felicita Di Giandomenico; Lorenzo Strigini (Softw. Test. Verification Reliab., 1999)

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

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

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

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

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

The meaning and role of value in scheduling flexible real-time systems. - Alan Burns 001; Divya Prasad; Andrea Bondavalli; Felicita Di Giandomenico; Krithi Ramamritham; John A. Stankovic; Lorenzo Strigini (J. Syst. Archit., 2000)

Modeling the Effects of Combining Diverse Software Fault Detection Techniques. - Bev Littlewood; Peter T. Popov; Lorenzo Strigini; Nick Shryane (IEEE Trans. Software Eng., 2000)

The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. - Peter T. Popov; Lorenzo Strigini (DSN, 2001)

On Systematic Design of Protectors for Employing OTS Items. - Peter T. Popov; Lorenzo Strigini; Steve Riddle; Alexander B. Romanovsky (EUROMICRO, 2001)

Combination of qualitative and quantitative sources of knowledge for risk assessment. - Mourad Oussalah 002; Bev Littlewood; Lorenzo Strigini; Martin Newby (EUSFLAT Conf., 2001)

Modeling software design diversity. - Bev Littlewood; Peter T. Popov; Lorenzo Strigini (ACM Comput. Surv., 2001)

Does incorrect computer prompting affect human decision making? A case study in mammography. - Eugenio Alberdi; Andrey Povyakalo; Lorenzo Strigini; Peter Ayton (CARS, 2003)

Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. - Lorenzo Strigini; Andrey Povyakalo; Eugenio Alberdi (DSN, 2003)

On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. - Ilir Gashi; Peter T. Popov; Vladimir Stankovic 002; Lorenzo Strigini (WADS, 2003)

Estimating Bounds on the Reliability of Diverse Systems. - Peter T. Popov; Lorenzo Strigini; John H. R. May; Silke Kuball (IEEE Trans. Software Eng., 2003)

Fault Diversity among Off-The-Shelf SQL Database Servers. - Ilir Gashi; Peter T. Popov; Lorenzo Strigini (DSN, 2004)

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. - Michael D. Harrison; Lorenzo Strigini (DSN, 2004)

Redundancy and Diversity in Security. - Bev Littlewood; Lorenzo Strigini (ESORICS, 2004)

Software Fault-Tolerance with Off-the-Shelf SQL Servers. - Peter T. Popov; Lorenzo Strigini; A. Kostov; V. Mollov; D. Selensky (ICCBSS, 2004)

Protective Wrapping of Off-the-Shelf Components. - Meine van der Meulen; Steve Riddle; Lorenzo Strigini; Nigel Patrick Jefferson (ICCBSS, 2005)

On the Effectiveness of Run-Time Checks. - Meine van der Meulen; Lorenzo Strigini; Miguel A. Revilla (SAFECOMP, 2005)

E-voting: Dependability Requirements and Design for Dependability. - Jeremy W. Bryans; Bev Littlewood; Peter Y. A. Ryan; Lorenzo Strigini (ARES, 2006)

Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. - Ilir Gashi; Peter T. Popov; Lorenzo Strigini (IEEE Trans. Dependable Secur. Comput., 2007)

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

CAD in mammography: lesion-level versus case-level analysis of the effects of prompts on human decisions. - Eugenio Alberdi; Andrey Povyakalo; Lorenzo Strigini; Peter Ayton; Rosalind M. Given-Wilson (Int. J. Comput. Assist. Radiol. Surg., 2008)

Why Are People's Decisions Sometimes Worse with Computer Support?. - Eugenio Alberdi; Lorenzo Strigini; Andrey Povyakalo; Peter Ayton (SAFECOMP, 2009)

Assessing Asymmetric Fault-Tolerant Software. - Peter T. Popov; Lorenzo Strigini (ISSRE, 2010)

Fault Tolerance and Resilience: Meanings, Measures and Assessment. - Lorenzo Strigini (Resilience Assessment and Evaluation of Computing Systems, 2012)

Evidence-Based Security in Aerospace: From Safety to Security and Back Again. - Michael Paulitsch; Rupert Reiger; Lorenzo Strigini; Robin E. Bloomfield (ISSRE Workshops, 2012)

An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs. - Peter T. Popov; Vladimir Stankovic 002; Lorenzo Strigini (ISSRE, 2012)

Resilience: What Is It, and How Much Do We Want? - Lorenzo Strigini (IEEE Secur. Priv., 2012)

Software Fault-Freeness and Reliability Predictions. - Lorenzo Strigini; Andrey Povyakalo (SAFECOMP, 2013)

Software Diversity as a Measure for Reducing Development Risk. - Peter T. Popov; Andrey Povyakalo; Vladimir Stankovic 002; Lorenzo Strigini (EDCC, 2014)

Assessment Techniques, Certification and [What Else We Need for] Confidence in Software. - Lorenzo Strigini (ISSRE Workshops, 2014)

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. - Peter G. Bishop; Lorenzo Strigini (SAFECOMP, 2014)

Evaluating the Assessment of Software Fault-Freeness. - John Rushby; Bev Littlewood; Lorenzo Strigini (CoRR, 2014)

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. - Peter G. Bishop; Robin E. Bloomfield; Bev Littlewood; Peter T. Popov; Andrey Povyakalo; Lorenzo Strigini (Reliab. Eng. Syst. Saf., 2014)

Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. - Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2014)

When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling. - Kizito Salako; Lorenzo Strigini (IEEE Trans. Dependable Secur. Comput., 2014)

Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. - Ilir Gashi; Andrey Povyakalo; Lorenzo Strigini (EDCC, 2016)

Panels: Panel session I: Resiliency in extreme scale high performance computing systems and applications. - Vassil Alexandrov 001; Thomas Ropars; Lorenzo Strigini (HPCS, 2016)

Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect". - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2017)

Predicting Software Defects Based on Cognitive Error Theories. - Fuqun Huang; Lorenzo Strigini (ISSRE Workshops, 2018)

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2018)

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. - Xingyu Zhao 001; Valentin Robu; David Flynn; Kizito Salako; Lorenzo Strigini (ISSRE, 2019)

Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards. - Lorenzo Strigini; Marwa Gadala (HEALTHINF, 2020)

Assessing safety-critical systems from operational testing: A study on autonomous vehicles. - Xingyu Zhao 001; Kizito Salako; Lorenzo Strigini; Valentin Robu; David Flynn (Inf. Softw. Technol., 2020)

On reliability assessment when a software-based system is replaced by a thought-to-be-better one. - Bev Littlewood; Kizito Salako; Lorenzo Strigini; Xingyu Zhao 001 (Reliab. Eng. Syst. Saf., 2020)

Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. - Kizito Salako; Lorenzo Strigini; Xingyu Zhao 001 (DSN, 2021)

Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics. - Marwa Gadala; Lorenzo Strigini; Peter Ayton (CoRR, 2021)

HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms. - Fuqun Huang; Lorenzo Strigini (CoRR, 2021)

Bootstrapping confidence in future safety based on past safe operation. - Peter Bishop 001; Andrey Povyakalo; Lorenzo Strigini (CoRR, 2021)

Authentication for Operators of Critical Medical Devices: A Contribution to Analysis of Design Trade-offs. - Marwa Gadala; Lorenzo Strigini; Radek Fujdiak (ARES, 2022)

Bootstrapping confidence in future safety from past safe operation. - Peter Bishop 001; Andrey Povyakalo; Lorenzo Strigini (ISSRE, 2022)

Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. - Robab Aghazadeh Chakherlou; Kizito Salako; Lorenzo Strigini (ISSRE Workshops, 2022)

Modelling road hazards and the effect on AV safety of hazardous failures. - Cornelius Bürkle; Fabian Oboril; Michael Paulitsch; Peter T. Popov; Lorenzo Strigini (ITSC, 2022)

Impact of Machine Learning on Safety Monitors. - Francesco Terrosi; Lorenzo Strigini; Andrea Bondavalli (SAFECOMP, 2022)

HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms. - Fuqun Huang; Lorenzo Strigini (IEEE Access, 2023)

Editorial: Software Reliability and Dependability Engineering. - Zheng Zheng 001; Lorenzo Strigini; Nuno Antunes; Kishor S. Trivedi (IEEE Trans. Dependable Secur. Comput., 2023)

Impact of Prior Beliefs on Dependability Prediction for a Changed System Using Pre-change Operational Evidence. - Robab Aghazadeh Chakherlou; Lorenzo Strigini (QRS, 2024)

Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It? - Peter Bishop 001; Andrey Povyakalo; Lorenzo Strigini (SAFECOMP (Workshops), 2025)

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles. - Xingyu Zhao 001; Robab Aghazadeh Chakherlou; Chih-Hong Cheng; Peter T. Popov; Lorenzo Strigini (CoRR, 2025)

Stochastic Modeling of Road Hazards on Intersections and their Effect on Safety of Autonomous Vehicles. - Peter T. Popov; Lorenzo Strigini; Cornelius Bürkle; Fabian Oboril; Michael Paulitsch (CoRR, 2025)