Kizito Salako

28 papers A 2B 2C 3Misc 1Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Conservative Software Reliability Assessments Using Collections of Bayesian Inference Problems.
CoRR
Kizito Salako, Rabiu Tsoho Muhammad
2025 B conf
Data Driven Derivative-based Regularization for Regression.
IJCNN
Enrico Lopedoto, Kizito Salako, Maksim Shekhunov, Vitaly Aksenov, Tillman Weyde
2025 Misc conf
Explaining Black-Box Malware Detectors: A Machine Learning Approach for Behaviour Analysis.
EDCC
Attila Brozik, Ilir Gashi, Kizito Salako
2025 J jnl
Performance Comparisons of Reinforcement Learning Algorithms for Sequential Experimental Design.
CoRR
Yasir Zubayr Barlas, Kizito Salako
2024 — conf
DATE: Derivative Alignment Training for Extrapolation with Neural Networks.
SGAI Conf. (1)
Enrico Lopedoto, Tillman Weyde, Kizito Salako
2024 J jnl
Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach.
Qual. Reliab. Eng. Int.
Kizito Salako, Xingyu Zhao
2024 J jnl
Derivative-based regularization for regression.
CoRR
Enrico Lopedoto, Maksim Shekhunov, Vitaly Aksenov, Kizito Salako, Tillman Weyde
2023 J jnl
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
IEEE Trans. Software Eng.
Kizito Salako, Xingyu Zhao
2022 — conf
Arguing safety of an improved autonomous vehicle from safe operation before the change: new results.
ISSRE Workshops
Robab Aghazadeh Chakherlou, Kizito Salako, Lorenzo Strigini
2022 J jnl
Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions.
CoRR
Kizito Salako, Xingyu Zhao
2022 J jnl
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
CoRR
Kizito Salako, Xingyu Zhao
2021 A conf
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.
DSN
Kizito Salako, Lorenzo Strigini, Xingyu Zhao
2020 J jnl
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles.
CoRR
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
2020 J jnl
Assessing safety-critical systems from operational testing: A study on autonomous vehicles.
Inf. Softw. Technol.
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
2020 — conf
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers.
QEST
Kizito Salako
2020 J jnl
On reliability assessment when a software-based system is replaced by a thought-to-be-better one.
Reliab. Eng. Syst. Saf.
Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao
2019 A conf
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.
ISSRE
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
2019 J jnl
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.
CoRR
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
2019 — ch.
Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures.
Resilience of Cyber-Physical Systems
Oleksandr Netkachov, Peter T. Popov, Kizito Salako
2017 J jnl
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment.
Reliab. Eng. Syst. Saf.
Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright
2015 — conf
Stochastic Modeling for Performance Evaluation of Database Replication Protocols.
QEST
Peter T. Popov, Kizito Salako, Vladimir Stankovic
2014 C conf
Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks.
CRITIS
Oleksandr Netkachov, Peter T. Popov, Kizito Salako
2014 — conf
Quantification of the Impact of Cyber Attack in Critical Infrastructures.
SAFECOMP Workshops
Oleksandr Netkachov, Peter T. Popov, Kizito Salako
2014 J jnl
When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling.
IEEE Trans. Dependable Secur. Comput.
Kizito Salako, Lorenzo Strigini
2013 — conf
Modeling Security Policy and the Effect for End-Users.
HCI (27)
Kevin D. Jones, Kizito Salako
2009 C conf
Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK.
CRITIS
Robin E. Bloomfield, Nick Chozos, Kizito Salako
2009 C conf
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
CRITIS
Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright
2007 B conf
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.
SAFECOMP
Kizito Salako