Items where Author is "Zhao, X."
Article
Salako, K. 
ORCID: 0000-0003-0394-7833 & Zhao, X. (2023).
Demonstrating Software Reliability using Possibly Correlated Tests: Insights from a Conservative Bayesian Approach.
Quality and Reliability Engineering International, 40(3),
pp. 1197-1220.
doi: 10.1002/qre.3460
Saincher, S., Sriram, V., Ravindar, R. , Yan, S. ORCID: 0000-0001-8968-6616, Stagonas, D., Schimmels, S., Xie, Z., Benoit, M., Benguigui, W., Teles, M., Robaux, F., Peyrard, C., Asiikkis, A., Frantzis, C., Vakis, A., Grigoriadis, D., Li, Q., Ma, Q. ORCID: 0000-0001-5579-6454, Zhang, N., Zheng, K., Zhao, X., Hu, X., Chen, S., Chen, S., Meng, Q., Zhao, W. & Wan, D. (2023).
Comparative Study on Breaking Waves Interaction with Vertical Wall Retrofitted with Recurved Parapet in Small and Large Scale.
International Journal of Offshore and Polar Engineering, 33(2),
pp. 113-122.
doi: 10.17736/ijope.2023.jc890
Salako, K. ORCID: 0000-0003-0394-7833 & Zhao, X. (2023).
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
IEEE Transactions on Software Engineering, 49(4),
pp. 2829-2838.
doi: 10.1109/TSE.2022.3233802
Zhao, X., Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 , Robu, V. & Flynn, D. (2020).
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles.
Information and Software Technology, 128,
article number 106393.
doi: 10.1016/j.infsof.2020.106393
Littlewood, B. ORCID: 0000-0002-6397-8685, Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. & Zhao, X. (2020).
On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One.
Reliability Engineering & System Safety, 197,
article number 106752.
doi: 10.1016/j.ress.2019.106752
Zhao, X. ORCID: 0000-0002-3474-349X, Littlewood, B., Povyakalo, A. A. , Strigini, L. & Wright, D. (2018).
Conservative Claims for the Probability of Perfection of a Software-based System Using Operational Experience of Previous Similar Systems.
Reliability Engineering and System Safety, 175,
pp. 265-282.
doi: 10.1016/j.ress.2018.03.032
Del Bino, L., Silver, J., Woodley, M. , Stebbings, S., Zhao, X. & Del’Haye, P. (2018). Microresonator isolators and circulators based on the intrinsic nonreciprocity of the Kerr effect. Optica, 5(3), pp. 279-282. doi: 10.1364/optica.5.000279
Zhao, X., Littlewood, B., Povyakalo, A. A. , Strigini, L. & Wright, D. (2017). Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”. Reliability Engineering & System Safety, 158, pp. 230-245. doi: 10.1016/j.ress.2016.09.002
Conference or Workshop Item
Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021).
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.
In:
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
The 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 21-24 Jun 2021, Taipei, Taiwan.
doi: 10.1109/DSN48987.2021.00055
Zhao, X., Robu, V., Flynn, D. , Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L. (2020).
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.
In:
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
ISSRE 2019 - the 20th International Symposium on Software Reliability Engineering, 28 - 31 October 2019, Berlin, Germany.
doi: 10.1109/ISSRE.2019.00012
Zhao, X., Littlewood, B., Povyakalo, A. A. & Wright, D. (2015). Conservative Claims about the Probability of Perfection of Software-based Systems. Paper presented at the The 26th IEEE International Symposium on Software Reliability Engineering, 02-11-2015 - 05-11-2015, Washington DC, USA.
Report
Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021).
Proofs of Conservative Confidence Bounds on PFD,
Using Claims of Improved Reliability.
London, UK: Centre for Software Reliability, City, University of London.
Thesis
Zhao, X. (2016). On the probability of perfection of Software-Based systems. (Unpublished Doctoral thesis, School of Mathematics, Computer Science & Engineering)