Andrey Povyakalo

According to our database, Andrey Povyakalo authored at least 20 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components.

Peter Bishop, Andrey Povyakalo

Proceedings of the Computer Safety, Reliability, and Security, 2022

Bootstrapping confidence in future safety from past safe operation.

Peter Bishop, Andrey Povyakalo, Lorenzo Strigini

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

Bootstrapping confidence in future safety based on past safe operation.

Peter Bishop, Andrey Povyakalo, Lorenzo Strigini

CoRR, 2021

2020

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, Andrey Povyakalo

Reliab. Eng. Syst. Saf., 2020

2018

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems.

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2018

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, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2017

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

2016

Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks.

Ilir Gashi, Andrey Povyakalo, Lorenzo Strigini

Proceedings of the 12th European Dependable Computing Conference, 2016

2015

Conservative claims about the probability of perfection of software-based systems.

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

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

Software Diversity as a Measure for Reducing Development Risk.

Peter T. Popov, Andrey Povyakalo, Vladimir Stankovic, Lorenzo Strigini

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

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

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

Software Fault-Freeness and Reliability Predictions.

Lorenzo Strigini, Andrey Povyakalo

Proceedings of the Computer Safety, Reliability, and Security, 2013

2011

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

IEEE Trans. Software Eng., 2011

2009

Why Are People's Decisions Sometimes Worse with Computer Support?.

Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton

Proceedings of the Computer Safety, 2009

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

Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network.

Robin E. Bloomfield, Ilir Gashi, Andrey Povyakalo, Vladimir Stankovic

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2003

Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study.

Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Does incorrect computer prompting affect human decision making? A case study in mammography.

Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton

Proceedings of the CARS 2003. Computer Assisted Radiology and Surgery. Proceedings of the 17th International Congress and Exhibition, 2003