Andrey Povyakalo

St George's, University of London — United Kingdom

Computer Science · Physical Sciences

12h-index550citations30works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(18), Safety Systems Engineering in Autonomy(14), Risk and Safety Analysis(11), Reliability and Maintenance Optimization(5), AI in cancer detection(4)

Publications30 total

Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?
Lecture notes in computer science·2025
Bootstrapping confidence in future safety from past safe operation
2022· 6 cited
Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components
arXiv (Cornell University)·2022Open Access
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components
Lecture notes in computer science·2022
Bootstrapping confidence in future safety based on past safe operation
City Research Online (City University London)·2021Open Access
A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components
Reliability Engineering & System Safety·2020· 6 cited
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems
Reliability Engineering & System Safety·2018· 15 cited
Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”
Reliability Engineering & System Safety·2016· 18 cited
Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks
2016· 9 cited
Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles
Reliability Engineering & System Safety·2016· 18 citedOpen Access
Conservative claims about the probability of perfection of software-based systems
2015· 11 cited
Software Diversity as a Measure for Reducing Development Risk
2014· 7 cited
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
Reliability Engineering & System Safety·2014· 7 cited
Diversity for Safety and Security in Embedded Systems
City Research Online (City University London)·2014· 14 citedOpen Access
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 Transactions on Software Engineering·2013· 7 cited
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 Transactions on Software Engineering·2013· 10 cited
How to Discriminate between Computer-Aided and Computer-Hindered Decisions
Medical Decision Making·2013· 73 citedOpen Access
Software Fault-Freeness and Reliability Predictions
Lecture notes in computer science·2013· 38 cited
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems
IEEE Transactions on Software Engineering·2010· 48 cited
Computer Aided Detection: Risks and benefits for radiologists' decisions
2009· 3 cited
page 1 of 2Next →

Frequent Co-authors

Lorenzo Strigini(20), Eugenio Alberdi(9), Peter Bishop(9), Peter Ayton(8), Bev Littlewood(7), Robin Bloomfield(4), David Wright(4), Xingyu Zhao(3), Ilir Gashi(3), Peter Popov(3), Vladimir Stanković(2), Bev Littlewood(1), Mark Hartswood(1), Rob Procter(1), Rebecca Slack(1), Rosalind Given-Wilson(1), Martin Matschnig(1), T Hinterstoisser(1), Benjamin B. Fischer(1), А. И. Перегуда(1)