Article

Salako, K. ORCID: 0000-0003-0394-7833 & Zhao, X. (2023). The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2022.3233802

Zhao, X., Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 , Robu, V. & Flynn, D.view all authors (2020). Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. Information and Software Technology, 128, 106393. doi: 10.1016/j.infsof.2020.106393

Littlewood, B. ORCID: 0000-0002-6397-8685, Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. & Zhao, X.view all authors (2020). On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One. Reliability Engineering & System Safety, 197, 106752. doi: 10.1016/j.ress.2019.106752

Bloomfield, R. E., Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833 , Stankovic, V. & Wright, D.view all authors (2017). Preliminary Interdependency Analysis: An Approach to Support Critical Infrastructure Risk Assessment. Reliability Engineering and System Safety, 167, pp. 198-217. doi: 10.1016/j.ress.2017.05.030

Popov, P. T., Netkachov, A. & Salako, K. ORCID: 0000-0003-0394-7833 (2014). Quantification of the Impact of Cyber Attack in Critical Infrastructures. Lecture Notes in Computer Science, 8696, pp. 316-327. doi: 10.1007/978-3-319-10557-4_35

Netkachov, O., Popov, P. T. & Salako, K. ORCID: 0000-0003-0394-7833 (2014). Model-based Evaluation of the Resilience of Critical Infrastructures under Cyber Attacks. Lecture Notes in Computer Science, 8985, pp. 231-243. doi: 10.1007/978-3-319-31664-2_24

Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L. (2013). When does "diversity" in development reduce common failures? Insights from probabilistic modelling. IEEE Transactions on Dependable and Secure Computing, 11(2), pp. 193-206. doi: 10.1109/TDSC.2013.32

Book Section

Netkachov, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Salako, K. ORCID: 0000-0003-0394-7833 (2019). Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. In: Resilience of Cyber-Physical Systems. (pp. 89-121). Berlin, Germany: Springer International Publishing. doi: 10.1007/978-3-319-95597-1_5

Conference or Workshop Item

Aghazadeh Chakherlou, R., Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. In: RAIS 2022 2nd International Workshop on Reliability of Autonomous Intelligent Systems. (pp. 307-312). New York, USA: IEEE. ISBN 9781665476805 doi: 10.1109/ISSREW55968.2022.00085

Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021). Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 451-462. ISSN 1530-0889 doi: 10.1109/DSN48987.2021.00055

Zhao, X., Robu, V., Flynn, D. , Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L.view all authors (2020). Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), pp. 13-23. ISSN 2332-6549 doi: 10.1109/ISSRE.2019.00012

Salako, K. ORCID: 0000-0003-0394-7833 (2020). Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers. In: Quantitative Evaluation of Systems 2020. (pp. 96-114). Cham, Switzerland: Springer. ISBN 978-3-030-59854-9 doi: 10.1007/978-3-030-59854-9

Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833 & Stankovic, V. (2015). Stochastic modeling for performance evaluation of database replication protocols. Lecture Notes in Computer Science, 9259(9259), pp. 21-37. ISSN 0302-9743 doi: 10.1007/978-3-319-22264-6_2

Jones, K. & Salako, K. ORCID: 0000-0003-0394-7833 (2013). Modeling Security Policy and the Effect for End-Users. In: Marinos, L. & Askoxylakis, I. (Eds.), Human Aspects of Information Security, Privacy, and Trust. HAS 2013. Lecture Notes in Computer Science. (pp. 256-265). Cham: Springer. ISBN 978-3-642-39345-7 doi: 10.1007/978-3-642-39345-7_27

Bloomfield, R. E., Buzna, L., Popov, P. T. , Salako, K. ORCID: 0000-0003-0394-7833 & Wright, D.view all authors (2010). Stochastic modelling of the effects of interdependencies between critical infrastructure. Paper presented at the 4th International Workshop, CRITIS 2009, 30 September - 2 October 2009, Bonn, Germany.

Bloomfield, R. E., Chozos, N. & Salako, K. ORCID: 0000-0003-0394-7833 (2009). Current capabilities, requirements and a proposed strategy for interdependency analysis in the UK. Paper presented at the 4th International Workshop, CRITIS 2009, 30 September - 2 October 2009, Bonn, Germany. doi: 10.1007/978-3-642-14379-3_16

Report

Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021). Proofs of Conservative Confidence Bounds on PFD, Using Claims of Improved Reliability. London, UK: Centre for Software Reliability, City, University of London.

Software

Salako, K. ORCID: 0000-0003-0394-7833, Stankovic, V. & Popov, P. T. (2015). Stochastic model for performance evaluation of database replication protocols

Thesis

Salako, K. ORCID: 0000-0003-0394-7833 (2012). Extension to models of coincident failure in multiversion software. (Unpublished Doctoral thesis, City University London)