Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. - Kizito Salako (SAFECOMP, 2007)

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. - Robin E. Bloomfield; Lubos Buzna; Peter T. Popov; Kizito Salako; David Wright 001 (CRITIS, 2009)

Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK. - Robin E. Bloomfield; Nick Chozos; Kizito Salako (CRITIS, 2009)

Extension to models of coincident failure in multiversion software. - Kizito Oluwaseun Salako (2012)

Modeling Security Policy and the Effect for End-Users. - Kevin D. Jones; Kizito Salako (HCI (27), 2013)

Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks. - Oleksandr Netkachov; Peter T. Popov; Kizito Salako (CRITIS, 2014)

Quantification of the Impact of Cyber Attack in Critical Infrastructures. - Oleksandr Netkachov; Peter T. Popov; Kizito Salako (SAFECOMP Workshops, 2014)

When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling. - Kizito Salako; Lorenzo Strigini (IEEE Trans. Dependable Secur. Comput., 2014)

Stochastic Modeling for Performance Evaluation of Database Replication Protocols. - Peter T. Popov; Kizito Salako; Vladimir Stankovic 002 (QEST, 2015)

Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. - Robin E. Bloomfield; Peter T. Popov; Kizito Salako; Vladimir Stankovic 002; David Wright 001 (Reliab. Eng. Syst. Saf., 2017)

Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. - Oleksandr Netkachov; Peter T. Popov; Kizito Salako (Resilience of Cyber-Physical Systems, 2019)

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. - Xingyu Zhao 001; Valentin Robu; David Flynn; Kizito Salako; Lorenzo Strigini (ISSRE, 2019)

Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers. - Kizito Salako (QEST, 2020)

Assessing safety-critical systems from operational testing: A study on autonomous vehicles. - Xingyu Zhao 001; Kizito Salako; Lorenzo Strigini; Valentin Robu; David Flynn (Inf. Softw. Technol., 2020)

On reliability assessment when a software-based system is replaced by a thought-to-be-better one. - Bev Littlewood; Kizito Salako; Lorenzo Strigini; Xingyu Zhao 001 (Reliab. Eng. Syst. Saf., 2020)

Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. - Kizito Salako; Lorenzo Strigini; Xingyu Zhao 001 (DSN, 2021)

Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. - Robab Aghazadeh Chakherlou; Kizito Salako; Lorenzo Strigini (ISSRE Workshops, 2022)

Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions. - Kizito Salako; Xingyu Zhao 001 (CoRR, 2022)

The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. - Kizito Salako; Xingyu Zhao 001 (IEEE Trans. Software Eng., 2023)

DATE: Derivative Alignment Training for Extrapolation with Neural Networks. - Enrico Lopedoto; Tillman Weyde; Kizito Salako (SGAI Conf. (1), 2024)

Derivative-based regularization for regression. - Enrico Lopedoto; Maksim Shekhunov; Vitaly Aksenov; Kizito Salako; Tillman Weyde (CoRR, 2024)

Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach. - Kizito Salako; Xingyu Zhao 001 (Qual. Reliab. Eng. Int., 2024)

Explaining Black-Box Malware Detectors: A Machine Learning Approach for Behaviour Analysis. - Attila Brozik; Ilir Gashi; Kizito Salako (EDCC, 2025)

Data Driven Derivative-based Regularization for Regression. - Enrico Lopedoto; Kizito Salako; Maksim Shekhunov; Vitaly Aksenov; Tillman Weyde (IJCNN, 2025)

Performance Comparisons of Reinforcement Learning Algorithms for Sequential Experimental Design. - Yasir Zubayr Barlas; Kizito Salako (CoRR, 2025)