Lorenzo Strigini

97 papers A* 5A 12B 15C 2Misc 4Journal 37Unranked 20

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