Xingyu Zhao

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 65

Top Topics

Statistically Independent

Reinforcement Learning

Reliability Assessment

Top Venues

Reliab. Eng. Syst. Saf.

Publications

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
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57 (7) (2024)
Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. IEEE Robotics Autom. Lett. 9 (4) (2024)
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
Hierarchical Distribution-aware Testing of Deep Learning. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. AAAI (2024)
Yun Tang, Dhanush Raj, Xingyu Zhao, Xizhe Zhang, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings
ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases. ICRA (2024)
Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao
Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration. CoRR (2024)
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137 (2024)
Kizito Salako, Xingyu Zhao
Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach. Qual. Reliab. Eng. Int. 40 (3) (2024)
Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang
Building Guardrails for Large Language Models. CoRR (2024)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR (2024)
Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation. CoRR (2024)
Yi Qi, Xingyu Zhao, Xiaowei Huang
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT. CoRR (2023)
Kizito Salako, Xingyu Zhao
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Trans. Software Eng. 49 (4) (2023)
Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
Short-term Load Forecasting with Distributed Long Short-Term Memory. ISGT (2023)
Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang
Risk Controlled Image Retrieval. CoRR (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR (2023)
Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning. CoRR (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA (2023)
Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang
STPA for Learning-Enabled Systems: A Survey and A New Method. CoRR (2023)
Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Yi Qi, Yi Dong, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao, Xiaowei Huang
STPA for Learning-Enabled Systems: A Survey and A New Practice. ITSC (2023)
Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. AAMAS (2023)
Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. CoRR (2023)
Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR (2023)
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
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR (2023)
Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. ICCV (2023)
Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. CoRR (2022)
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
Hierarchical Distribution-Aware Testing of Deep Learning. CoRR (2022)
Wei Huang, Xingyu Zhao, Xiaowei Huang
Embedding and extraction of knowledge in tree ensemble classifiers. Mach. Learn. 111 (5) (2022)
Yi Dong, Xingyu Zhao, Xiaowei Huang
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. IROS (2022)
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. 71 (3) (2022)
Kizito Salako, Xingyu Zhao
The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. CoRR (2022)
Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. CoRR (2022)
Kizito Salako, Xingyu Zhao
Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions. CoRR (2022)
Xiaowei Huang, Bei Peng, Xingyu Zhao
Dependable learning-enabled multiagent systems. AI Commun. 35 (4) (2022)
Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
Short-term Load Forecasting with Distributed Long Short-Term Memory. CoRR (2022)
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CoRR (2022)
Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM (2022)
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI (2022)
Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn
BayLIME: Bayesian local interpretable model-agnostic explanations. UAI (2021)
Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI (2021)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) (2021)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR (2021)
Yi Dong, Xingyu Zhao, Xiaowei Huang
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems. CoRR (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR (2021)
Kizito Salako, Lorenzo Strigini, Xingyu Zhao
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. DSN (2021)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR (2020)
Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao
On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliab. Eng. Syst. Saf. 197 (2020)
Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE (2020)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP (2020)
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. CoRR (2020)
Wei Huang, Xingyu Zhao, Xiaowei Huang
Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers. CoRR (2020)
Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
Assessing safety-critical systems from operational testing: A study on autonomous vehicles. Inf. Softw. Technol. 128 (2020)
Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations. CoRR (2020)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. CoRR (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI (2019)
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM (2019)
Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, Valentin Robu, David Flynn, John Perry
UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS. ICSRS (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. ISSRE (2019)
Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR (2018)
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
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops (2018)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175 (2018)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
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. 158 (2017)
Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright
Conservative claims about the probability of perfection of software-based systems. ISSRE (2015)
Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng
A New Approach to Assessment of Confidence in Assurance Cases. SAFECOMP Workshops (2012)