Research Output per year
Personal profile
Research interests
- Probabilistic verification of autonomous systems.
- Exploring the limits of what can be claimed rigorously for system reliability.
- Modelling of software design diversity for fault tolerance.
Biography
Xingyu Zhao received his BEng in Software Engineering and MSc in Control Science and Engineering from Beihang University, Beijing. He joined the Centre for Software Reliability (CSR), City, University of London as a PhD student in September 2013 and obtained a Doctor degree in Computer Science in November 2016. He then worked as a Post-doc Research Associate at CSR, where he was actively involved in the research projects DIverse Software Project (DISPO) and Diversity and Defence in Depth for Security - A Probabilistic Approach (D3S). Since May, 2018, he joined the Smart System Group at Heriot-Watt University and doing research on developing practical self-certification methods for robot and autonomous systems. In 2019, he is also a Programme Fellow of the Assuring Autonomy International Programme at the University of York.
Fingerprint Dive into the research topics where Xingyu Zhao is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 3 Similar Profiles
Co Author Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
Zhao, X., Robu, V., Flynn, D., Salako, K. & Strigini, L., 20 Jul 2019, (Accepted/In press) The 30th International Symposium on Software Reliability Engineering.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Machine learning methods for wind turbine condition monitoring: A review
Stetco, A., Dinmohammadi, F., Zhao, X., Robu, V., Flynn, D., Barnes, M., Keane, J. & Nenadic, G., Apr 2019, In : Renewable Energy. 133, p. 620-635 16 p.Research output: Contribution to journal › Article
Open Access
File
On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One
Littlewood, B., Salako, K., Strigini, L. & Zhao, X., 12 Nov 2019, In : Reliability Engineering and System Safety. 197, 106752.Research output: Contribution to journal › Article
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M. & Webster, M., 17 Jul 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. AAAI Press, p. 8066-8074 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
The Application of Machine Learning and Low Frequency Sonar for Subsea Power Cable Integrity Evaluation
Tang, W., Flynn, D., Brown, K. E., Robu, V. & Zhao, X., 12 Jul 2019, (Accepted/In press) OCEANS 2019 Seattle Online Proceedings. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Prizes
Best Paper Award Finalist, The 30th International Symposium on Software Reliability Engineering (ISSRE 2019)
Xingyu Zhao (Recipient), Valentin Robu (Recipient), David Flynn (Recipient), Kizito Salako (Recipient) & Lorenzo Strigini (Recipient), 28 Oct 2019
Prize: Prize (including medals and awards)