Xingyu Zhao (赵星宇)
Title
Cited by
Cited by
Year
Machine learning methods for wind turbine condition monitoring: A review
A Stetco, F Dinmohammadi, X Zhao, V Robu, D Flynn, M Barnes, J Keane, ...
Renewable energy 133, 620-635, 2019
982019
A New Approach to Assessment of Confidence in Assurance Cases
X Zhao, D Zhang, M Lu, F Zeng
Computer Safety, Reliability, and Security 7613, 79-91, 2012
232012
Probabilistic Model Checking of Robots Deployed in Extreme Environments
X Zhao, V Robu, D Flynn, F Dinmohammadi, M Fisher, M Webster
The 33rd AAAI Conference on Artificial Intelligence 33, 8066-8074, 2019
142019
Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”
X Zhao, B Littlewood, A Povyakalo, L Strigini, D Wright
Reliability Engineering & System Safety 158, 230-245, 2017
142017
Verifiable self-certifying autonomous systems
M Fisher, E Collins, L Dennis, M Luckcuck, M Webster, M Jump, V Page, ...
IEEE International Symposium on Software Reliability Engineering Workshops …, 2018
112018
Conservative Claims about the Probability of Perfection of Software-based Systems
X Zhao, B Littlewood, A Povyakalo, D Wright
IEEE International Symposium on Software Reliability Engineering, 130-140, 2015
92015
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
X Zhao, V Robu, D Flynn, K Salako, L Strigini
2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019
82019
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems
X Zhao, B Littlewood, A Povyakalo, L Strigini, D Wright
Reliability Engineering & System Safety 175, 265-282, 2018
72018
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
X Zhao, M Osborne, J Lantair, V Robu, D Flynn, X Huang, M Fisher, ...
International Conference on Software Engineering and Formal Methods, 105-124, 2019
52019
A Safety Framework for Critical Systems Utilising Deep Neural Networks
X Zhao, A Banks, J Sharp, V Robu, D Flynn, M Fisher, X Huang
Computer Safety, Reliability, and Security 12234, 244-259, 2020
42020
On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One
B Littlewood, K Salako, L Strigini, X Zhao
Reliability Engineering & System Safety 197, 106752, 2020
32020
On the probability of perfection of software-based systems
X Zhao
School of Mathematics, Computer Science & Engineering, 2016
22016
Interval change-point detection for runtime probabilistic model checking
X Zhao, R Calinescu, S Gerasimou, V Robu, D Flynn
35th IEEE/ACM International Conference on Automated Software Engineering, 2020
12020
UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS
M Osborne, J Lantair, Z Shafiq, X Zhao, V Robu, D Flynn, J Perry
4th International Conference on System Reliability and Safety (ICSRS), 203-212, 2019
12019
The Application of Machine Learning and Low Frequency Sonar for Subsea Power Cable Integrity Evaluation
W Tang, D Flynn, K Brown, R Valentin, X Zhao
OCEANS 2019 MTS/IEEE SEATTLE, 1-6, 2019
12019
The design of a fusion prognostic model and health management system for subsea power cables
W Tang, D Flynn, K Brown, R Valentin, X Zhao
OCEANS 2019 MTS/IEEE SEATTLE, 1-6, 2019
12019
Assessing safety-critical systems from operational testing: A study on autonomous vehicles
X Zhao, K Salako, L Strigini, V Robu, D Flynn
Information and Software Technology 128, 106393, 2020
2020
A Dependability Case Construction Approach Based on Dependability Deviation Analysis
D Zhang, M Lu, X Zhao
Applied Mechanics and Materials 543, 3682-3687, 2014
2014
Variance Analysis Based Software Fault Localization
X Zhao, S Yang, M Lu
2nd International Conference on Measurement and Control Engineering, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–19