City Research Online

Items where Author is "Salako, K."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Number of items: 15.

Article

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

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

Bloomfield, R. E., Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833, Stankovic, V. and 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. and 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. and 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 and 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 and 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. ISBN 978-3-319-95597-1

Conference or Workshop Item

Salako, K. ORCID: 0000-0003-0394-7833 (2020). Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers. Paper presented at the 17th International Conference on the Quantitative Evaluation of SysTems (QEST 2020), 31 Aug - 3 Sep 2020, Online.

Zhao, X., Robu, V., Flynn, D., Salako, K. ORCID: 0000-0003-0394-7833 and 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. doi: 10.1109/ISSRE.2019.00012 ISSN 2332-6549

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

Jones, K. and Salako, K. ORCID: 0000-0003-0394-7833 (2013). Modeling Security Policy and the Effect for End-Users. In: Marinos, L. and 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

Bloomfield, R. E., Buzna, L., Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833 and 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. and 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.

Software

Salako, K. ORCID: 0000-0003-0394-7833, Stankovic, V. and 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)

This list was generated on Tue Oct 27 04:47:17 2020 UTC.