A New Approach to Assessment of Confidence in Assurance Cases. - Xingyu Zhao 001; Dajian Zhang; Minyan Lu; Fuping Zeng (SAFECOMP Workshops, 2012)

Conservative claims about the probability of perfection of software-based systems. - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; David Wright 001 (ISSRE, 2015)

On the probability of perfection of software-based systems. - Xingyu Zhao 001 (2016)

Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect". - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2017)

Verifiable Self-Certifying Autonomous Systems. - Michael Fisher 001; Emily C. Collins 001; Louise A. Dennis; Matt Luckcuck; Matt Webster; Mike Jump; Vincent Pagé; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao 001 (ISSRE Workshops, 2018)

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. - Xingyu Zhao 001; Bev Littlewood; Andrey Povyakalo; Lorenzo Strigini; David Wright 001 (Reliab. Eng. Syst. Saf., 2018)

Probabilistic Model Checking of Robots Deployed in Extreme Environments. - Xingyu Zhao 001; Valentin Robu; David Flynn; Fateme Dinmohammadi; Michael Fisher 001; Matt Webster (AAAI, 2019)

UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS. - Matthew Osborne; Jennifer Lantair; Zain Shafiq; Xingyu Zhao 001; Valentin Robu; David Flynn; John Perry (ICSRS, 2019)

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. - Xingyu Zhao 001; Valentin Robu; David Flynn; Kizito Salako; Lorenzo Strigini (ISSRE, 2019)

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. - Xingyu Zhao 001; Matthew Osborne; Jenny Lantair; Valentin Robu; David Flynn; Xiaowei Huang 001; Michael Fisher 001; Fabio Papacchini; Angelo Ferrando 001 (SEFM, 2019)

Interval Change-Point Detection for Runtime Probabilistic Model Checking. - Xingyu Zhao 001; Radu Calinescu; Simos Gerasimou; Valentin Robu; David Flynn (ASE, 2020)

A Safety Framework for Critical Systems Utilising Deep Neural Networks. - Xingyu Zhao 001; Alec Banks; James Sharp; Valentin Robu; David Flynn; Michael Fisher 001; Xiaowei Huang 001 (SAFECOMP, 2020)

Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers. - Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2020)

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations. - Xingyu Zhao 001; Xiaowei Huang 001; Valentin Robu; David Flynn (CoRR, 2020)

Assessing safety-critical systems from operational testing: A study on autonomous vehicles. - Xingyu Zhao 001; Kizito Salako; Lorenzo Strigini; Valentin Robu; David Flynn (Inf. Softw. Technol., 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 001 (Reliab. Eng. Syst. Saf., 2020)

Detecting Operational Adversarial Examples for Reliable Deep Learning. - Xingyu Zhao 001; Wei Huang 035; Sven Schewe; Yi Dong 002; Xiaowei Huang 001 (DSN (Supplements), 2021)

Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. - Kizito Salako; Lorenzo Strigini; Xingyu Zhao 001 (DSN, 2021)

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. - Xingyu Zhao 001; Wei Huang 035; Alec Banks; Victoria Cox; David Flynn; Sven Schewe; Xiaowei Huang 001 (AISafety@IJCAI, 2021)

BayLIME: Bayesian local interpretable model-agnostic explanations. - Xingyu Zhao 001; Wei Huang 035; Xiaowei Huang 001; Valentin Robu; David Flynn (UAI, 2021)

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems. - Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2021)

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. - Xingyu Zhao 001; Wei Huang 035; Vibhav Bharti; Yi Dong 002; Victoria Cox; Alec Banks; Sen Wang 002; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

Bridging Formal Methods and Machine Learning with Global Optimisation. - Xiaowei Huang 001; Wenjie Ruan; Qiyi Tang 001; Xingyu Zhao 001 (ICFEM, 2022)

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. - Yi Qi; Philippa Ryan Conmy; Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (AISafety@IJCAI, 2022)

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. - Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001 (IROS, 2022)

Dependable learning-enabled multiagent systems. - Xiaowei Huang 001; Bei Peng 001; Xingyu Zhao 001 (AI Commun., 2022)

Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions. - Kizito Salako; Xingyu Zhao 001 (CoRR, 2022)

Embedding and extraction of knowledge in tree ensemble classifiers. - Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (Mach. Learn., 2022)

Coverage-Guided Testing for Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; Xingyu Zhao 001; James Sharp; Wenjie Ruan; Jie Meng; Xiaowei Huang 001 (IEEE Trans. Reliab., 2022)

Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. - Yi Dong 002; Zhongguo Li; Xingyu Zhao 001; Zhengtao Ding; Xiaowei Huang 001 (AAMAS, 2023)

SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. - Wei Huang 035; Xingyu Zhao 001; Gaojie Jin; Xiaowei Huang 001 (ICCV, 2023)

Short-term Load Forecasting with Distributed Long Short-Term Memory. - Yi Dong 002; Yang Chen; Xingyu Zhao 001; Xiaowei Huang 001 (ISGT, 2023)

STPA for Learning-Enabled Systems: A Survey and A New Practice. - Yi Qi; Yi Dong 002; Siddartha Khastgir; Paul A. Jennings; Xingyu Zhao 001; Xiaowei Huang 001 (ITSC, 2023)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. - Saddek Bensalem; Chih-Hong Cheng; Wei Huang 035; Xiaowei Huang 001; Changshun Wu; Xingyu Zhao 001 (AISoLA, 2023)

STPA for Learning-Enabled Systems: A Survey and A New Method. - Yi Qi; Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2023)

Bayesian Learning for the Robust Verification of Autonomous Robots. - Xingyu Zhao 001; Simos Gerasimou; Radu Calinescu; Calum Imrie; Valentin Robu; David Flynn (CoRR, 2023)

Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT. - Yi Qi; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2023)

Risk Controlled Image Retrieval. - Kaiwen Cai; Chris Xiaoxuan Lu; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2023)

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning. - Xiangyu Yin 001; Sihao Wu; Jiaxu Liu 001; Meng Fang; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (CoRR, 2023)

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. - Yi Dong 002; Wei Huang 035; Vibhav Bharti; Victoria Cox; Alec Banks; Sen Wang 002; Xingyu Zhao 001; Sven Schewe; Xiaowei Huang 001 (ACM Trans. Embed. Comput. Syst., 2023)

The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. - Kizito Salako; Xingyu Zhao 001 (IEEE Trans. Software Eng., 2023)

Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. - Xiangyu Yin 001; Sihao Wu; Jiaxu Liu 001; Meng Fang; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (AAAI, 2024)

Is Difficulty Calibration All We Need? Towards More Practical Membership Inference Attacks. - Yu He; Boheng Li; Yao Wang; Mengda Yang; Juan Wang 006; Hongxin Hu; Xingyu Zhao 001 (CCS, 2024)

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation. - Yi Zhang 141; Yun Tang 003; Wenjie Ruan; Xiaowei Huang 001; Siddartha Khastgir; Paul A. Jennings; Xingyu Zhao 001 (ECCV (32), 2024)

Position: Building Guardrails for Large Language Models Requires Systematic Design. - Yi Dong 002; Ronghui Mu; Gaojie Jin; Yi Qi; Jinwei Hu; Xingyu Zhao 001; Jie Meng; Wenjie Ruan; Xiaowei Huang 001 (ICML, 2024)

Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory. - Sihao Wu; Xingyu Zhao 001; Xiaowei Huang 001 (ICONIP (4), 2024)

ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases. - Yun Tang 003; Dhanush Raj; Xingyu Zhao 001; Xizhe Zhang; Antonio Anastasio Bruto da Costa; Siddartha Khastgir; Paul A. Jennings (ICRA, 2024)

Instance-Level Safety-Aware Fidelity of Synthetic Data and its Calibration. - Chih-Hong Cheng; Paul Stöckel; Xingyu Zhao 001 (ITSC, 2024)

Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems. - Yun Tang 003; Antonio Anastasio Bruto da Costa; Patrick Irvine; Tudor Dodoiu; Yi Zhang 141; Xingyu Zhao 001; Siddartha Khastgir; Paul A. Jennings (IV, 2024)

TARP-VP: Towards Evaluation of Transferred Adversarial Robustness and Privacy on Label Mapping Visual Prompting Models. - Zhen Chen; Yi Zhang 141; Fu Wang; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (NeurIPS, 2024)

Building Guardrails for Large Language Models. - Yi Dong 002; Ronghui Mu; Gaojie Jin; Yi Qi; Jinwei Hu; Xingyu Zhao 001; Jie Meng; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2024)

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Xingyu Zhao 001; Saddek Bensalem (CoRR, 2024)

Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey. - Yi Zhang 141; Zhen Chen; Chih-Hong Cheng; Wenjie Ruan; Xiaowei Huang 001; Dezong Zhao; David Flynn; Siddartha Khastgir; Xingyu Zhao 001 (CoRR, 2024)

Robust RL with LLM-Driven Data Synthesis and Policy Adaptation for Autonomous Driving. - Sihao Wu; Jiaxu Liu 001; Xiangyu Yin 001; Guangliang Cheng; Xingyu Zhao 001; Meng Fang; Xinping Yi; Xiaowei Huang 001 (CoRR, 2024)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. - Yi Dong 002; Xingyu Zhao 001; Sen Wang 002; Xiaowei Huang 001 (IEEE Robotics Autom. Lett., 2024)

Bridging formal methods and machine learning with model checking and global optimisation. - Saddek Bensalem; Xiaowei Huang 001; Wenjie Ruan; Qiyi Tang 001; Changshun Wu; Xingyu Zhao 001 (J. Log. Algebraic Methods Program., 2024)

Hierarchical Distribution-aware Testing of Deep Learning. - Wei Huang 035; Xingyu Zhao 001; Alec Banks; Victoria Cox; Xiaowei Huang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach. - Kizito Salako; Xingyu Zhao 001 (Qual. Reliab. Eng. Int., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)

Risk Controlled Image Retrieval. - Kaiwen Cai; Chris Xiaoxuan Lu; Xingyu Zhao 001; Wei Huang 035; Xiaowei Huang 001 (AAAI, 2025)

SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model. - Zhenglin Huang; Jinwei Hu; Xiangtai Li; Yiwei He; Xingyu Zhao 001; Bei Peng 001; Baoyuan Wu; Xiaowei Huang 001; Guangliang Cheng (CVPR, 2025)

TAIJI: Textual Anchoring for Immunizing Jailbreak Images in Vision Language Models. - Xiangyu Yin 001; Yi Qi; Jinwei Hu; Zhen Chen; Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (CoRR, 2025)

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles. - Xingyu Zhao 001; Robab Aghazadeh Chakherlou; Chih-Hong Cheng; Peter T. Popov; Lorenzo Strigini (CoRR, 2025)