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)

Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. - Robin E. Bloomfield; Ilir Gashi; Andrey Povyakalo; Vladimir Stankovic 002 (ISSRE, 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)

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. - Peter G. Bishop; Robin E. Bloomfield; Bev Littlewood; Andrey Povyakalo; David Wright 001 (IEEE Trans. Software Eng., 2011)

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

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". - Bev Littlewood; Andrey Povyakalo (IEEE Trans. Software Eng., 2013)

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". - Bev Littlewood; Andrey Povyakalo (IEEE Trans. Software Eng., 2013)

Software Diversity as a Measure for Reducing Development Risk. - Peter T. Popov; Andrey Povyakalo; Vladimir Stankovic 002; Lorenzo Strigini (EDCC, 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)

Conservative claims about the probability of perfection of software-based systems. - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; David Wright 001 (ISSRE, 2015)

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

Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. - Peter G. Bishop; Andrey Povyakalo (Reliab. Eng. Syst. Saf., 2017)

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)

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)

A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. - Peter Bishop 001; Andrey Povyakalo (Reliab. Eng. Syst. Saf., 2020)

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

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

Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. - Peter Bishop 001; Andrey Povyakalo (SAFECOMP, 2022)

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)