Kizito Salako

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 14

Top Topics

Confidence Bounds

Software Reliability

Database Replication

Autonomous Vehicles

Top Venues

Reliab. Eng. Syst. Saf.

Inf. Softw. Technol.

Publications

Enrico Lopedoto, Maksim Shekhunov, Vitaly Aksenov, Kizito Salako, Tillman Weyde
Derivative-based regularization for regression. CoRR (2024)
Kizito Salako, Xingyu Zhao
Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach. Qual. Reliab. Eng. Int. 40 (3) (2024)
Kizito Salako, Xingyu Zhao
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Trans. Software Eng. 49 (4) (2023)
Kizito Salako, Xingyu Zhao
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. CoRR (2022)
Kizito Salako, Xingyu Zhao
Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions. CoRR (2022)
Robab Aghazadeh Chakherlou, Kizito Salako, Lorenzo Strigini
Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. ISSRE Workshops (2022)
Kizito Salako, Lorenzo Strigini, Xingyu Zhao
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. DSN (2021)
Kizito Salako
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers. QEST (2020)
Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao
On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliab. Eng. Syst. Saf. 197 (2020)
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. CoRR (2020)
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Assessing safety-critical systems from operational testing: A study on autonomous vehicles. Inf. Softw. Technol. 128 (2020)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. CoRR (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. ISSRE (2019)
Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliab. Eng. Syst. Saf. 167 (2017)
Peter T. Popov, Kizito Salako, Vladimir Stankovic
Stochastic Modeling for Performance Evaluation of Database Replication Protocols. QEST (2015)
Oleksandr Netkachov, Peter T. Popov, Kizito Salako
Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks. CRITIS (2014)
Oleksandr Netkachov, Peter T. Popov, Kizito Salako
Quantification of the Impact of Cyber Attack in Critical Infrastructures. SAFECOMP Workshops (2014)
Kizito Salako, Lorenzo Strigini
When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling. IEEE Trans. Dependable Secur. Comput. 11 (2) (2014)
Kevin D. Jones, Kizito Salako
Modeling Security Policy and the Effect for End-Users. HCI (27) (2013)
Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. CRITIS (2009)
Robin E. Bloomfield, Nick Chozos, Kizito Salako
Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK. CRITIS (2009)
Kizito Salako
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. SAFECOMP (2007)