![]() | Up a level |
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. (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. (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. (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
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
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. (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. (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
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.
Salako, K. ORCID: 0000-0003-0394-7833, Stankovic, V. & Popov, P. T. (2015).
Stochastic model for performance evaluation of database replication protocols
Salako, K. ORCID: 0000-0003-0394-7833 (2012).
Extension to models of coincident failure in multiversion software.
(Unpublished Doctoral thesis, City University London)