City Research Online

Items where Author is "Zhao, X."

Up a level
Group by: Type | No Grouping
Number of items: 14.

Walsh, T. S., Parker, R. A., Aitken, L. M. ORCID: 0000-0001-5722-9090 (2025). Dexmedetomidine- or Clonidine-Based Sedation Compared With Propofol in Critically Ill Patients. JAMA, doi: 10.1001/jama.2025.7200

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. (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

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

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.

Zhao, X., Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 (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. (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., Robu, V., Flynn, D. (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. ORCID: 0000-0002-3474-349X, Littlewood, B., Povyakalo, A. A. (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. (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. (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

Zhao, X. (2016). On the probability of perfection of Software-Based systems. (Unpublished Doctoral thesis, School of Mathematics, Computer Science & Engineering)

Zhao, X., Littlewood, B., Povyakalo, A. A. (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.

This list was generated on Sat Jun 21 02:50:11 2025 UTC.