Andrey Povyakalo

22 papers A 4B 3Misc 2Journal 11Unranked 2
YearRankTypeTitle / 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
2022 A conf
Bootstrapping confidence in future safety from past safe operation.
ISSRE
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
2022 B conf
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components.
SAFECOMP
Peter Bishop, Andrey Povyakalo
2022 J jnl
Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components.
CoRR
Peter Bishop, Andrey Povyakalo
2021 J jnl
Bootstrapping confidence in future safety based on past safe operation.
CoRR
Peter Bishop, Andrey Povyakalo, Lorenzo Strigini
2020 J jnl
A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components.
Reliab. Eng. Syst. Saf.
Peter Bishop, Andrey Povyakalo
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
2017 J jnl
Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles.
Reliab. Eng. Syst. Saf.
Peter G. Bishop, Andrey Povyakalo
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
2015 A conf
Conservative claims about the probability of perfection of software-based systems.
ISSRE
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright
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 Misc conf
Software Diversity as a Measure for Reducing Development Risk.
EDCC
Peter T. Popov, Andrey Povyakalo, Vladimir Stankovic, Lorenzo Strigini
2013 J jnl
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".
IEEE Trans. Software Eng.
Bev Littlewood, Andrey Povyakalo
2013 J jnl
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".
IEEE Trans. Software Eng.
Bev Littlewood, Andrey Povyakalo
2013 B conf
Software Fault-Freeness and Reliability Predictions.
SAFECOMP
Lorenzo Strigini, Andrey Povyakalo
2011 J jnl
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
IEEE Trans. Software Eng.
Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright
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 A conf
Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network.
ISSRE
Robin E. Bloomfield, Ilir Gashi, Andrey Povyakalo, Vladimir Stankovic
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 A conf
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study.
DSN
Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi