Kizito Salako

According to our database, Kizito Salako authored at least 22 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach.

Kizito Salako, Xingyu Zhao

Qual. Reliab. Eng. Int., April, 2024

Derivative-based regularization for regression.

Enrico Lopedoto, Maksim Shekhunov, Vitaly Aksenov, Kizito Salako, Tillman Weyde

CoRR, 2024

DATE: Derivative Alignment Training for Extrapolation with Neural Networks.

Enrico Lopedoto, Tillman Weyde, Kizito Salako

Proceedings of the Artificial Intelligence XLI, 2024

2023

The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.

Kizito Salako, Xingyu Zhao

IEEE Trans. Software Eng., April, 2023

2022

Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions.

Kizito Salako, Xingyu Zhao

CoRR, 2022

Arguing safety of an improved autonomous vehicle from safe operation before the change: new results.

Robab Aghazadeh Chakherlou, Kizito Salako, Lorenzo Strigini

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.

Kizito Salako, Lorenzo Strigini, Xingyu Zhao

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

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

Reliab. Eng. Syst. Saf., 2020

Assessing safety-critical systems from operational testing: A study on autonomous vehicles.

Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn

Inf. Softw. Technol., 2020

Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers.

Kizito Salako

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

2019

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.

Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures.

Oleksandr Netkachov, Peter T. Popov, Kizito Salako

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017

Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment.

Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright

Reliab. Eng. Syst. Saf., 2017

2015

Stochastic Modeling for Performance Evaluation of Database Replication Protocols.

Peter T. Popov, Kizito Salako, Vladimir Stankovic

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2014

When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling.

Kizito Salako, Lorenzo Strigini

IEEE Trans. Dependable Secur. Comput., 2014

Quantification of the Impact of Cyber Attack in Critical Infrastructures.

Oleksandr Netkachov, Peter T. Popov, Kizito Salako

Proceedings of the Computer Safety, Reliability, and Security, 2014

Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks.

Oleksandr Netkachov, Peter T. Popov, Kizito Salako

Proceedings of the Critical Information Infrastructures Security, 2014

2013

Modeling Security Policy and the Effect for End-Users.

Kevin D. Jones, Kizito Salako

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2013

2012

Extension to models of coincident failure in multiversion software.

Kizito Oluwaseun Salako

PhD thesis, 2012

2009

Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK.

Robin E. Bloomfield, Nick Chozos, Kizito Salako

Proceedings of the Critical Information Infrastructures Security, 2009

Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.

Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright

Proceedings of the Critical Information Infrastructures Security, 2009

2007

Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.

Kizito Salako

Proceedings of the Computer Safety, 2007