Xingyu Zhao

According to our database, Xingyu Zhao authored at least 58 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A survey of safety and trustworthiness of large language models through the lens of verification and validation.

Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa

Artif. Intell. Rev., July, 2024

Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach.

Kizito Salako, Xingyu Zhao

Qual. Reliab. Eng. Int., April, 2024

Hierarchical Distribution-aware Testing of Deep Learning.

Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang

ACM Trans. Softw. Eng. Methodol., February, 2024

Bridging formal methods and machine learning with model checking and global optimisation.

Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao

J. Log. Algebraic Methods Program., February, 2024

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.

Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang

IEEE Robotics Autom. Lett., 2024

SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model.

Zhenglin Huang, Jinwei Hu, Xiangtai Li, Yiwei He, Xingyu Zhao, Bei Peng, Baoyuan Wu, Xiaowei Huang, Guangliang Cheng

CoRR, 2024

Robust RL with LLM-Driven Data Synthesis and Policy Adaptation for Autonomous Driving.

Sihao Wu, Jiaxu Liu, Xiangyu Yin, Guangliang Cheng, Xingyu Zhao, Meng Fang, Xinping Yi, Xiaowei Huang

CoRR, 2024

Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey.

Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao

CoRR, 2024

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs.

Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem

CoRR, 2024

Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration.

Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao

CoRR, 2024

Building Guardrails for Large Language Models.

Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang

CoRR, 2024

Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems.

Yun Tang, Antonio Anastasio Bruto da Costa, Patrick Irvine, Tudor Dodoiu, Yi Zhang, Xingyu Zhao, Siddartha Khastgir, Paul A. Jennings

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases.

Yun Tang, Dhanush Raj, Xingyu Zhao, Xizhe Zhang, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Position: Building Guardrails for Large Language Models Requires Systematic Design.

Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang

Proceedings of the Forty-first International Conference on Machine Learning, 2024

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation.

Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao

Proceedings of the Computer Vision - ECCV 2024, 2024

Is Difficulty Calibration All We Need? Towards More Practical Membership Inference Attacks.

Yu He, Boheng Li, Yao Wang, Mengda Yang, Juan Wang, Hongxin Hu, Xingyu Zhao

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Representation-Based Robustness in Goal-Conditioned Reinforcement Learning.

Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.

Kizito Salako, Xingyu Zhao

IEEE Trans. Software Eng., April, 2023

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.

Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang

ACM Trans. Embed. Comput. Syst., 2023

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.

Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan

CoRR, 2023

Risk Controlled Image Retrieval.

Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang

CoRR, 2023

Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT.

Yi Qi, Xingyu Zhao, Xiaowei Huang

CoRR, 2023

Bayesian Learning for the Robust Verification of Autonomous Robots.

Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

CoRR, 2023

STPA for Learning-Enabled Systems: A Survey and A New Method.

Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang

CoRR, 2023

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.

Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao

Proceedings of the Bridging the Gap Between AI and Reality, 2023

STPA for Learning-Enabled Systems: A Survey and A New Practice.

Yi Qi, Yi Dong, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao, Xiaowei Huang

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Short-term Load Forecasting with Distributed Long Short-Term Memory.

Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang

Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2023

SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability.

Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.

Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Coverage-Guided Testing for Recurrent Neural Networks.

Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang

IEEE Trans. Reliab., 2022

Embedding and extraction of knowledge in tree ensemble classifiers.

Wei Huang, Xingyu Zhao, Xiaowei Huang

Mach. Learn., 2022

Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions.

Kizito Salako, Xingyu Zhao

CoRR, 2022

Dependable learning-enabled multiagent systems.

Xiaowei Huang, Bei Peng, Xingyu Zhao

AI Commun., 2022

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.

Yi Dong, Xingyu Zhao, Xiaowei Huang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems.

Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang

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

Bridging Formal Methods and Machine Learning with Global Optimisation.

Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao

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.

Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang

CoRR, 2021

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.

Yi Dong, Xingyu Zhao, Xiaowei Huang

CoRR, 2021

BayLIME: Bayesian local interpretable model-agnostic explanations.

Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn

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.

Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang

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.

Kizito Salako, Lorenzo Strigini, Xingyu Zhao

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Detecting Operational Adversarial Examples for Reliable Deep Learning.

Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang

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.

Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao

Reliab. Eng. Syst. Saf., 2020

Assessing safety-critical systems from operational testing: A study on autonomous vehicles.

Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn

Inf. Softw. Technol., 2020

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations.

Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn

CoRR, 2020

Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers.

Wei Huang, Xingyu Zhao, Xiaowei Huang

CoRR, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.

Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang

Proceedings of the Computer Safety, Reliability, and Security, 2020

Interval Change-Point Detection for Runtime Probabilistic Model Checking.

Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn

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.

Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.

Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini

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.

Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, Valentin Robu, David Flynn, John Perry

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

Probabilistic Model Checking of Robots Deployed in Extreme Environments.

Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster

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.

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2018

Verifiable Self-Certifying Autonomous Systems.

Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao

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".

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright

Reliab. Eng. Syst. Saf., 2017

2016

On the probability of perfection of software-based systems.

Xingyu Zhao

PhD thesis, 2016

2015

Conservative claims about the probability of perfection of software-based systems.

Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2012

A New Approach to Assessment of Confidence in Assurance Cases.

Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng

Proceedings of the Computer Safety, Reliability, and Security, 2012