Xingyu Zhao - RankMe

104 papers A* 11A 6B 3C 2Journal 64Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Reinforcement Learning Method for UAV Delivery Scheduling Under Dynamic Pricing. IEEE Trans. Cogn. Commun. Netw. Ziyi Hu, Yue Cao, Kai Jiang, Minho Jo, Lixia Xiao, Xingyu Zhao
2026	A*	`conf`	Fragile by Design: On the Limits of Adversarial Defenses in Personalized DreamBooth Generation. AAAI Zhen Chen, Yi Zhang, Xiangyu Yin, Chengxuan Qin, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2026	J	`jnl`	Trustworthy text-to-image diffusion models: A timely and focused survey. Inf. Fusion Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao
2025	J	`jnl`	A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0. CoRR Shufeng Chen, Mariat James Elizebeth, Robab Aghazadeh Chakherlou, Xingyu Zhao, Eric Barbier, Siddartha Khastgir, Paul A. Jennings
2025	J	`jnl`	Fragile by Design: On the Limits of Adversarial Defenses in Personalized Generation. CoRR Zhen Chen, Yi Zhang, Xiangyu Yin, Chengxuan Qin, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2025	J	`jnl`	HIP-LLM: A Hierarchical Imprecise Probability Approach to Reliability Assessment of Large Language Models. CoRR Robab Aghazadeh Chakherlou, Qing Guo, Siddartha Khastgir, Peter T. Popov, Xiaoge Zhang, Xingyu Zhao
2025	—	`conf`	Interpreting Safety: A LLM and STPA Approach. PRICAI (4) Yi Qi, Shufeng Chen, Xiangyu Yin, Wenjie Ruan, Siddartha Khastgir, Ji Ruan, Xingyu Zhao, Xiaowei Huang
2025	—	`conf`	Introducing OASISS: ODD-Based AI Safety in AutonomouS Systems. ITSC Jerein Jeyachandran, Siddartha Khastgir, Xingyu Zhao, Eric Barbier, Paul A. Jennings
2025	J	`jnl`	Non-Parametric Probabilistic Robustness: A Conservative Metric with Optimized Perturbation Distributions. CoRR Zheng Wang, Yi Zhang, Siddartha Khastgir, Carsten Maple, Xingyu Zhao
2025	—	`conf`	On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles. ITSC Xingyu Zhao, Robab Aghazadeh Chakherlou, Chih-Hong Cheng, Peter T. Popov, Lorenzo Strigini
2025	J	`jnl`	On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles. CoRR Xingyu Zhao, Robab Aghazadeh Chakherlou, Chih-Hong Cheng, Peter T. Popov, Lorenzo Strigini
2025	J	`jnl`	Probabilistic Robustness for Free? Revisiting Training via a Benchmark. CoRR Yi Zhang, Zheng Wang, Chen Zhen, Wenjie Ruan, Qing Guo, Siddartha Khastgir, Carsten Maple, Xingyu Zhao
2025	J	`jnl`	Probabilistic Robustness in Deep Learning: A Concise yet Comprehensive Guide. CoRR Xingyu Zhao
2025	J	`jnl`	Quantifying and Bridging the Fidelity Gap: A Decisive-Feature Approach to Comparing Synthetic and Real Imagery. CoRR Danial Safaei, Siddartha Khastgir, Mohsen Alirezaei, Jeroen Ploeg, Son Tong, Xingyu Zhao
2025	A*	`conf`	Risk Controlled Image Retrieval. AAAI Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Wei Huang, Xiaowei Huang
2025	B	`conf`	Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. RV Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess
2025	A*	`conf`	SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model. CVPR Zhenglin Huang, Jinwei Hu, Xiangtai Li, Yiwei He, Xingyu Zhao, Bei Peng, Baoyuan Wu, Xiaowei Huang, Guangliang Cheng
2025	J	`jnl`	TAIJI: Textual Anchoring for Immunizing Jailbreak Images in Vision Language Models. CoRR Xiangyu Yin, Yi Qi, Jinwei Hu, Zhen Chen, Yi Dong, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2025	—	`conf`	The Impact of Live Polling Quizzes on Student Engagement and Performance in Computer Science Lectures: A Post-COVID19 Study. CSEDU (1) Xingyu Zhao
2025	J	`jnl`	Uncertainty-Aware Measurement of Scenario Suite Representativeness for Autonomous Systems. CoRR Robab Aghazadeh Chakherlou, Siddartha Khastgir, Xingyu Zhao, Jerein Jeyachandran, Shufeng Chen
2025	J	`jnl`	Uncertainty-oriented dynamic topology optimization for cross-scale concurrent design considering improved size-controlling strategy. Reliab. Eng. Syst. Saf. Xingyu Zhao, Lei Wang, Yaru Liu
2024	J	`jnl`	A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 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
2024	C	`conf`	Augmenting Scenario Description Languages for Intelligence Testing of Automated Driving Systems. IV Yun Tang, Antonio Anastasio Bruto da Costa, Patrick Irvine, Tudor Dodoiu, Yi Zhang, Xingyu Zhao, Siddartha Khastgir, Paul A. Jennings
2024	J	`jnl`	Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
2024	J	`jnl`	Building Guardrails for Large Language Models. CoRR Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang
2024	—	`conf`	Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory. ICONIP (4) Sihao Wu, Xingyu Zhao, Xiaowei Huang
2024	J	`jnl`	Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory. CoRR Sihao Wu, Xingyu Zhao, Xiaowei Huang
2024	J	`jnl`	Demonstrating software reliability using possibly correlated tests: Insights from a conservative Bayesian approach. Qual. Reliab. Eng. Int. Kizito Salako, Xingyu Zhao
2024	J	`jnl`	Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
2024	J	`jnl`	Hierarchical Distribution-aware Testing of Deep Learning. ACM Trans. Softw. Eng. Methodol. Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
2024	J	`jnl`	Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration. CoRR Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao
2024	—	`conf`	Instance-Level Safety-Aware Fidelity of Synthetic Data and its Calibration. ITSC Chih-Hong Cheng, Paul Stöckel, Xingyu Zhao
2024	A*	`conf`	Is Difficulty Calibration All We Need? Towards More Practical Membership Inference Attacks. CCS Yu He, Boheng Li, Yao Wang, Mengda Yang, Juan Wang, Hongxin Hu, Xingyu Zhao
2024	J	`jnl`	Is Difficulty Calibration All We Need? Towards More Practical Membership Inference Attacks. CoRR Yu He, Boheng Li, Yao Wang, Mengda Yang, Juan Wang, Hongxin Hu, Xingyu Zhao
2024	A*	`conf`	ODD-based Query-time Scenario Mutation Framework for Autonomous Driving Scenario databases. ICRA Yun Tang, Dhanush Raj, Xingyu Zhao, Xizhe Zhang, Antonio Anastasio Bruto da Costa, Siddartha Khastgir, Paul A. Jennings
2024	A*	`conf`	Position: Building Guardrails for Large Language Models Requires Systematic Design. ICML Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang
2024	—	`conf`	ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation. ECCV (32) Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao
2024	J	`jnl`	ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation. CoRR Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao
2024	J	`jnl`	Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. IEEE Robotics Autom. Lett. Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
2024	A*	`conf`	Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. AAAI Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2024	J	`jnl`	Robust RL with LLM-Driven Data Synthesis and Policy Adaptation for Autonomous Driving. CoRR Sihao Wu, Jiaxu Liu, Xiangyu Yin, Guangliang Cheng, Xingyu Zhao, Meng Fang, Xinping Yi, Xiaowei Huang
2024	J	`jnl`	SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model. CoRR Zhenglin Huang, Jinwei Hu, Xiangtai Li, Yiwei He, Xingyu Zhao, Bei Peng, Baoyuan Wu, Xiaowei Huang, Guangliang Cheng
2024	A*	`conf`	TARP-VP: Towards Evaluation of Transferred Adversarial Robustness and Privacy on Label Mapping Visual Prompting Models. NeurIPS Zhen Chen, Yi Zhang, Fu Wang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2024	J	`jnl`	Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey. CoRR Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao
2023	J	`jnl`	A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR 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
2023	J	`jnl`	Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
2023	—	`conf`	Cycle-Consistent Generative Adversarial Network Architectures for Audio Visual Speech Recognition. ICSPCC Yibo He, Kah Phooi Seng, Li-Minn Ang, Xingyu Zhao
2023	A	`conf`	Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. AAMAS Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
2023	J	`jnl`	Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. CoRR Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
2023	J	`jnl`	ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning. CoRR Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2023	J	`jnl`	Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
2023	J	`jnl`	Risk Controlled Image Retrieval. CoRR Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang
2023	A*	`conf`	SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. ICCV Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
2023	J	`jnl`	STPA for Learning-Enabled Systems: A Survey and A New Method. CoRR Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang
2023	—	`conf`	STPA for Learning-Enabled Systems: A Survey and A New Practice. ITSC Yi Qi, Yi Dong, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao, Xiaowei Huang
2023	J	`jnl`	Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT. CoRR Yi Qi, Xingyu Zhao, Xiaowei Huang
2023	—	`conf`	Short-term Load Forecasting with Distributed Long Short-Term Memory. ISGT Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
2023	J	`jnl`	The Impact of Live Polling Quizzes on Student Engagement and Performance in Computer Science Lectures. CoRR Xingyu Zhao
2023	J	`jnl`	The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Trans. Software Eng. Kizito Salako, Xingyu Zhao
2023	J	`jnl`	What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2023	—	`conf`	What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2022	—	`conf`	A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
2022	J	`jnl`	A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CoRR Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
2022	C	`conf`	Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao
2022	J	`jnl`	Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions. CoRR Kizito Salako, Xingyu Zhao
2022	J	`jnl`	Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
2022	A	`conf`	Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. IROS Yi Dong, Xingyu Zhao, Xiaowei Huang
2022	J	`jnl`	Dependable learning-enabled multiagent systems. AI Commun. Xiaowei Huang, Bei Peng, Xingyu Zhao
2022	J	`jnl`	Embedding and extraction of knowledge in tree ensemble classifiers. Mach. Learn. Wei Huang, Xingyu Zhao, Xiaowei Huang
2022	J	`jnl`	Hierarchical Distribution-Aware Testing of Deep Learning. CoRR Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
2022	J	`jnl`	Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. CoRR Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
2022	J	`jnl`	SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. CoRR Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
2022	J	`jnl`	Short-term Load Forecasting with Distributed Long Short-Term Memory. CoRR Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
2022	J	`jnl`	Size-controlled cross-scale robust topology optimization based on adaptive subinterval dimension-wise method considering interval uncertainties. Eng. Comput. Lei Wang, Xingyu Zhao, Dongliang Liu
2022	J	`jnl`	The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. CoRR Kizito Salako, Xingyu Zhao
2021	—	`conf`	Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021	J	`jnl`	Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021	A	`conf`	BayLIME: Bayesian local interpretable model-agnostic explanations. UAI Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn
2021	A	`conf`	Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. DSN Kizito Salako, Lorenzo Strigini, Xingyu Zhao
2021	J	`jnl`	Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems. CoRR Yi Dong, Xingyu Zhao, Xiaowei Huang
2021	—	`conf`	Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
2021	J	`jnl`	Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
2021	J	`jnl`	Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
2020	B	`conf`	A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020	J	`jnl`	A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020	J	`jnl`	Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. CoRR Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
2020	J	`jnl`	Assessing safety-critical systems from operational testing: A study on autonomous vehicles. Inf. Softw. Technol. Xingyu Zhao, Kizito Salako, Lorenzo Strigini, Valentin Robu, David Flynn
2020	J	`jnl`	BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations. CoRR Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn
2020	J	`jnl`	Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers. CoRR Wei Huang, Xingyu Zhao, Xiaowei Huang
2020	A*	`conf`	Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn
2020	J	`jnl`	On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliab. Eng. Syst. Saf. Bev Littlewood, Kizito Salako, Lorenzo Strigini, Xingyu Zhao
2019	A	`conf`	Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. ISSRE Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
2019	J	`jnl`	Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. CoRR Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini
2019	A*	`conf`	Probabilistic Model Checking of Robots Deployed in Extreme Environments. AAAI Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
2019	B	`conf`	Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019	J	`jnl`	Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019	—	`conf`	UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS. ICSRS Matthew Osborne, Jennifer Lantair, Zain Shafiq, Xingyu Zhao, Valentin Robu, David Flynn, John Perry
2018	J	`jnl`	Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
2018	J	`jnl`	Probabilistic Model Checking of Robots Deployed in Extreme Environments. CoRR Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster
2018	—	`conf`	Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops 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
2017	J	`jnl`	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. Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, Lorenzo Strigini, David Wright
2016	—	`—`	On the probability of perfection of software-based systems. Xingyu Zhao
2015	A	`conf`	Conservative claims about the probability of perfection of software-based systems. ISSRE Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright
2012	—	`conf`	A New Approach to Assessment of Confidence in Assurance Cases. SAFECOMP Workshops Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng