Xingyu Zhao
Orcid: 0000-0002-3474-349XAffiliations:
- University of Liverpool, UK
- Heriot-Watt University, Edinburgh, UK (former)
- City University, London, UK (former)
According to our database1,
Xingyu Zhao
authored at least 51 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach.
Qual. Reliab. Eng. Int., April, 2024
ACM Trans. Softw. Eng. Methodol., February, 2024
Bridging formal methods and machine learning with model checking and global optimisation.
J. Log. Algebraic Methods Program., February, 2024
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.
IEEE Robotics Autom. Lett., 2024
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation.
CoRR, 2024
CoRR, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
IEEE Trans. Software Eng., April, 2023
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.
ACM Trans. Embed. Comput. Syst., 2023
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.
CoRR, 2023
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.
CoRR, 2023
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT.
CoRR, 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2023
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Mach. Learn., 2022
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.
CoRR, 2022
Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions.
CoRR, 2022
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022
Proceedings of the Formal Methods and Software Engineering, 2022
2021
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.
CoRR, 2021
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.
CoRR, 2021
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
2020
On reliability assessment when a software-based system is replaced by a thought-to-be-better one.
Reliab. Eng. Syst. Saf., 2020
Assessing safety-critical systems from operational testing: A study on autonomous vehicles.
Inf. Softw. Technol., 2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems.
Reliab. Eng. Syst. Saf., 2018
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018
2017
Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect".
Reliab. Eng. Syst. Saf., 2017
2016
2015
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015
2012
Proceedings of the Computer Safety, Reliability, and Security, 2012