Lorenzo Strigini

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 22

Top Topics

Confidence Bounds

Partial Knowledge

Software Defect

Top Venues

Reliab. Eng. Syst. Saf.

ISSRE Workshops

Publications

Fuqun Huang, Lorenzo Strigini
HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms. IEEE Access 11 (2023)
Zheng Zheng, Lorenzo Strigini, Nuno Antunes, Kishor S. Trivedi
Editorial: Software Reliability and Dependability Engineering. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli
Impact of Machine Learning on Safety Monitors. SAFECOMP (2022)
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
Bootstrapping confidence in future safety from past safe operation. ISSRE (2022)
Marwa Gadala, Lorenzo Strigini, Radek Fujdiak
Authentication for Operators of Critical Medical Devices: A Contribution to Analysis of Design Trade-offs. ARES (2022)
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)
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)
Fuqun Huang, Lorenzo Strigini
HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms. CoRR (2021)
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
Bootstrapping confidence in future safety based on past safe operation. CoRR (2021)
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 (2021)
Kizito Salako, Lorenzo Strigini, Xingyu Zhao
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. DSN (2021)
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 (2020)
Lorenzo Strigini, Marwa Gadala
Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards. HEALTHINF (2020)
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. CoRR (2020)
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Assessing safety-critical systems from operational testing: A study on autonomous vehicles. Inf. Softw. Technol. 128 (2020)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. CoRR (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. ISSRE (2019)
Fuqun Huang, Lorenzo Strigini
Predicting Software Defects Based on Cognitive Error Theories. ISSRE Workshops (2018)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175 (2018)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
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 (2017)
Vassil N. Alexandrov, Thomas Ropars, Lorenzo Strigini
Panels: Panel session I: Resiliency in extreme scale high performance computing systems and applications. HPCS (2016)
Ilir Gashi, Andrey Povyakalo, Lorenzo Strigini
Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. EDCC (2016)
Lorenzo Strigini
Assessment Techniques, Certification and [What Else We Need for] Confidence in Software. ISSRE Workshops (2014)
Peter T. Popov, Andrey Povyakalo, Vladimir Stankovic, Lorenzo Strigini
Software Diversity as a Measure for Reducing Development Risk. EDCC (2014)
John Rushby, Bev Littlewood, Lorenzo Strigini
Evaluating the Assessment of Software Fault-Freeness. CoRR (2014)
Kizito Salako, Lorenzo Strigini
When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling. IEEE Trans. Dependable Secur. Comput. 11 (2) (2014)
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini
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 (2014)
Peter G. Bishop, Lorenzo Strigini
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. SAFECOMP (2014)
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 (2014)
Lorenzo Strigini, Andrey Povyakalo
Software Fault-Freeness and Reliability Predictions. SAFECOMP (2013)
Lorenzo Strigini
Resilience: What Is It, and How Much Do We Want? IEEE Secur. Priv. 10 (3) (2012)
Michael Paulitsch, Rupert Reiger, Lorenzo Strigini, Robin E. Bloomfield
Evidence-Based Security in Aerospace: From Safety to Security and Back Again. ISSRE Workshops (2012)
Peter T. Popov, Vladimir Stankovic, Lorenzo Strigini
An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs. ISSRE (2012)
Peter T. Popov, Lorenzo Strigini
Assessing Asymmetric Fault-Tolerant Software. ISSRE (2010)
Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton
Why Are People's Decisions Sometimes Worse with Computer Support?. SAFECOMP (2009)
Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton, Rosalind M. Given-Wilson
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) (2008)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. Formal Methods and Testing (2008)
Ilir Gashi, Peter T. Popov, Lorenzo Strigini
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. IEEE Trans. Dependable Secur. Comput. 4 (4) (2007)
Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini
E-voting: Dependability Requirements and Design for Dependability. ARES (2006)
Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson
Protective Wrapping of Off-the-Shelf Components. ICCBSS (2005)
Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla
On the Effectiveness of Run-Time Checks. SAFECOMP (2005)
Michael D. Harrison, Lorenzo Strigini
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN (2004)
Ilir Gashi, Peter T. Popov, Lorenzo Strigini
Fault Diversity among Off-The-Shelf SQL Database Servers. DSN (2004)
Peter T. Popov, Lorenzo Strigini, A. Kostov, V. Mollov, D. Selensky
Software Fault-Tolerance with Off-the-Shelf SQL Servers. ICCBSS (2004)
Bev Littlewood, Lorenzo Strigini
Redundancy and Diversity in Security. ESORICS (2004)
Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. DSN (2003)
Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton
Does incorrect computer prompting affect human decision making? A case study in mammography. CARS (2003)
Ilir Gashi, Peter T. Popov, Vladimir Stankovic, Lorenzo Strigini
On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. WADS (2003)
Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball
Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng. 29 (4) (2003)
Peter T. Popov, Lorenzo Strigini
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. DSN (2001)
Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky
On Systematic Design of Protectors for Employing OTS Items. EUROMICRO (2001)
Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby
Combination of qualitative and quantitative sources of knowledge for risk assessment. EUSFLAT Conf. (2001)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
Modeling software design diversity. ACM Comput. Surv. 33 (2) (2001)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. SAFECOMP (2000)
Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini
The meaning and role of value in scheduling flexible real-time systems. J. Syst. Archit. 46 (4) (2000)
Bev Littlewood, Lorenzo Strigini
Software reliability and dependability: a roadmap. ICSE - Future of SE Track (2000)
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) (2000)
Peter T. Popov, Lorenzo Strigini, Bev Littlewood
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. PDPTA (2000)
Bev Littlewood, Lorenzo Strigini
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. ICSE (2000)
Bev Littlewood, Lorenzo Strigini
Software reliability (tutorial session): basic concepts and assessment methods. ICSE (2000)
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) (1999)
Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. SAFECOMP (1999)
Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini
A Holistic View on the Dependability of Software-Intensive Systems. SAFECOMP (1998)
Michele Pizza, Lorenzo Strigini
Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality. ISSRE (1998)
Michele Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico
Optimal Discrimination between Transient and Permanent Faults. HASE (1998)
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) (1998)
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) (1998)
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng. 24 (8) (1998)
Peter T. Popov, Lorenzo Strigini
Conceptual Models for the Reliability of Diverse Systems - New Results. FTCS (1998)
Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky
Coordinated backward between client processes and data servers. IEE Proc. Softw. Eng. 144 (2) (1997)
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
Choosing a Testing Method to Deliver Reliability. ICSE (1997)
Antonia Bertolino, Lorenzo Strigini
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. SAFECOMP (1996)
Lorenzo Strigini
On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures. Softw. Test. Verification Reliab. 6 (1) (1996)
Lorenzo Strigini
Limiting the Dangers of Intuitive Decision Making. IEEE Softw. 13 (1) (1996)
Antonia Bertolino, Lorenzo Strigini
On the Use of Testability Measures for Dependability Assessment. IEEE Trans. Software Eng. 22 (2) (1996)
Antonia Bertolino, Lorenzo Strigini
Using Testability Measures for Dependability Assessment. ICSE (1995)
Alexander B. Romanovsky, Lorenzo Strigini
Backward error recovery via conversations in Ada. Softw. Eng. J. 10 (6) (1995)
Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini
On Performability Modeling and Evaluation of Software Fault Tolerant Structures. EDCC (1994)
Bev Littlewood, Lorenzo Strigini
Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM 36 (11) (1993)
Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS (1992)
Andrea Bondavalli, Lorenzo Strigini, Matteo Sereno
Destination Stripping Dual Ring: A New Protocol for MANs. Comput. Networks ISDN Syst. 24 (1) (1992)
Felicita Di Giandomenico, Lorenzo Strigini
Implementations and Extensions of the Conversation Concept. Fault-Tolerant Computing Systems (1991)
Andrea Bondavalli, Lorenzo Strigini
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. INFOCOM (1991)
Lorenzo Strigini, Felicita Di Giandomenico
Flexible Schemes for Application-Level Fault Tolerance. SRDS (1991)
Felicita Di Giandomenico, Lorenzo Strigini
Adjudicators for Diverse-Redundant Components. SRDS (1990)
Andrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. Comput. Networks ISDN Syst. 18 (2) (1989)
Andres Albanese, Lorenzo Strigini, Luigi Fratta
A routing strategy for interconnecting high-speed metropolitan area networks. ICCC (1988)
Paolo Corsini, Luca Simoncini, Lorenzo Strigini
The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme (1984)
Paolo Corsini, Lanfranco Lopriore, Lorenzo Strigini
Fail-safeness in a multiprocessor system. a distributed strategy based on backward error recovery. Softw. Microsystems 2 (6) (1983)
G. Barigazzi, Augusto Ciuffoletti, Lorenzo Strigini
A Distributed algorithm for post-failure load redistribution. ICDCS (1982)