Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment RE Bloomfield, P Popov, K Salako, V Stankovic, D Wright Reliability Engineering & System Safety 167, 198-217, 2017 | 74 | 2017 |
Assessing the safety and reliability of autonomous vehicles from road testing X Zhao, V Robu, D Flynn, K Salako, L Strigini 2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019 | 54 | 2019 |
Stochastic modelling of the effects of interdependencies between critical infrastructure R Bloomfield, L Buzna, P Popov, K Salako, D Wright Critical Information Infrastructures Security: 4th International Workshop …, 2010 | 33 | 2010 |
Assessing safety-critical systems from operational testing: A study on autonomous vehicles X Zhao, K Salako, L Strigini, V Robu, D Flynn Information and Software Technology 128, 106393, 2020 | 32 | 2020 |
When Does" Diversity"'in Development Reduce Common Failures? Insights from Probabilistic Modeling K Salako, L Strigini IEEE Transactions on dependable and secure computing 11 (2), 193-206, 2013 | 22 | 2013 |
On reliability assessment when a software-based system is replaced by a thought-to-be-better one B Littlewood, K Salako, L Strigini, X Zhao Reliability Engineering & System Safety 197, 106752, 2020 | 17 | 2020 |
Quantification of the impact of cyber attack in critical infrastructures O Netkachov, P Popov, K Salako Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014 | 12 | 2014 |
Model-based evaluation of the resilience of critical infrastructures under cyber attacks O Netkachov, P Popov, K Salako Critical Information Infrastructures Security: 9th International Conference …, 2016 | 9 | 2016 |
Conservative confidence bounds in safety, from generalised claims of improvement & statistical evidence K Salako, L Strigini, X Zhao 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 7 | 2021 |
Current capabilities, requirements and a proposed strategy for interdependency analysis in the UK R Bloomfield, N Chozos, K Salako Critical Information Infrastructures Security: 4th International Workshop …, 2010 | 6 | 2010 |
Analysis of critical infrastructure dependence-an IRRIIS perspective R Bloomfield, P Popov, K Salako, D Wright, L Buzna, E Ciancamerla, ... Proc. IRRIIS Workshop at CRITIS, 2008 | 6 | 2008 |
Loss-size and reliability trade-offs amongst diverse redundant binary classifiers K Salako Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020 | 4 | 2020 |
Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures O Netkachov, P Popov, K Salako Resilience of Cyber-Physical Systems: From Risk Modelling to Threat …, 2019 | 3 | 2019 |
The unnecessity of assuming statistically independent tests in bayesian software reliability assessments K Salako, X Zhao IEEE Transactions on Software Engineering, 2023 | 2 | 2023 |
Proofs of conservative confidence bounds on pfd, using claims of improved reliability K Salako, L Strigini, X Zhao Centre for Software Reliability, City, University of London, 2021 | 2 | 2021 |
Arguing safety of an improved autonomous vehicle from safe operation before the change: new results RA Chakherlou, K Salako, L Strigini 2022 IEEE International Symposium on Software Reliability Engineering …, 2022 | 1 | 2022 |
Critical Information Infrastructures Security R Bloomfield, N Chozos, K Salako Springer-Verlag Berlin Heidelberg, 2010 | 1 | 2010 |
Bounds on the reliability of fault-tolerant software built by forcing diversity K Salako International Conference on Computer Safety, Reliability, and Security, 411-416, 2007 | 1 | 2007 |
Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach K Salako, X Zhao Quality and Reliability Engineering International 40 (3), 1197-1220, 2024 | | 2024 |
Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions K Salako, X Zhao arXiv preprint arXiv:2208.07935, 2022 | | 2022 |