People
  1. Academic experts
  2. Research students
  3. Students
  4. Alumni
  5. Senior people at City
  6. Non-academic staff
  7. Honorary graduates
People

Contact Information

Contact

Postal Address

City, University of London
Northampton Square
London
EC1V 0HB
United Kingdom

About

Overview

Xingyu Zhao received his BSc and Master degree from Beihang University, Beijing. He joined the Centre for Software Reliability (CSR), City, University of London as a PhD student in 2013 and obtained a Doctor degree in Computer Science in 2016.

He is now a Post-doc Research Associate at CSR and has been actively involved in the research projects DIverse Software Project (DISPO) and Diversity and Defence in Depth for Security - A Probabilistic Approach (D3S).

His current research interests include:
Exploring the limits of what can be claimed rigorously for system reliability;
Assessment of "possible perfection" with respect to software faults;
Application of Bayesian inference and statistics to systems dependability;
Formal quantitative modelling of confidence in claims of assurance cases;
Extending software reliability growth models to security;

Qualifications

  1. PhD, City, University of London, United Kingdom, Sep 2013 – Nov 2016
  2. MSc, Beihang University, China, Sep 2010 – Jul 2012
  3. BEng, Beihang University, China, Sep 2006 – Jul 2010

Employment

  1. Postdoc Research Associate, City, University of London, Nov 2016 – May 2018

Publications

  1. Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2015). Conservative Claims about the Probability of Perfection of Software-based Systems. IEEE International Symposium on Software Reliability Engineering 2-5 November, Washington DC, USA.
  2. Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and 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 and System Safety, 158, pp. 230–245. doi:10.1016/j.ress.2016.09.002.

Conference papers and proceedings (3)

  1. Zhao, X., Littlewood, B., Povyakalo, A. and Wright, D. (2015). Conservative Claims about the Probability of Perfection of Software-based Systems. IEEE International Symposium on Software Reliability Engineering 2-5 November, Washington DC, USA.
  2. Zhao, X., Zhang, D., Lu, M. and Zeng, F. (2012). A new approach to assessment of confidence in assurance cases. International Conference on Computer Safety, Reliability, and Security 25-28 September, Magdeburg, Germany.
  3. Zhao, X., Yang, S. and Lu, M. (2011). Variance Analysis Based Software Fault Localization. International Conference on Measurement and Control Engineering San Juan, Puerto Rico, USA.

Journal articles (3)

  1. Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and 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.
  2. Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and 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 and System Safety, 158, pp. 230–245. doi:10.1016/j.ress.2016.09.002.
  3. Zhang, D.J., Lu, M.Y. and Zhao, X.Y. (2014). A dependability case construction approach based on dependability deviation analysis. Applied Mechanics and Materials, 543-547, pp. 3682–3687. doi:10.4028/www.scientific.net/AMM.543-547.3682.