| 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 | 133 | 2019 |
| 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 | 25 | 2012 |
| 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 | 16 | 2019 |
| 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 | 15 | 2017 |
| 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 | 13 | 2018 |
| 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 | 11 | 2019 |
| 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 | 10 | 2015 |
| 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 | 8 | 2018 |
| 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 | 6 | 2019 |
| 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 | 5 | 2020 |
| 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 | 3 | 2020 |
| 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 | 3 | 2020 |
| 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 | 3 | 2019 |
| 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 | 3 | 2019 |
| On the probability of perfection of software-based systems X Zhao School of Mathematics, Computer Science & Engineering, 2016 | 3 | 2016 |
| 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 | 2 | 2019 |
| 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 | 1 | 2020 |
| BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations X Zhao, X Huang, V Robu, D Flynn arXiv preprint arXiv:2012.03058, 2020 | | 2020 |
| Embedding and Extraction of Knowledge in Tree Ensemble Classifiers W Huang, X Zhao, X Huang arXiv preprint arXiv:2010.08281, 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 |
Valentin RobuAssociate Professor, Co-Director of the Smart Systems Group, Heriot-Watt University, EdinburghGeverifieerd e-mailadres voor mit.edu
