Items where Author is "Zhao, Xingyu"

Journal Article

Zhang, Yi and Chen, Zhen and Cheng, Chih-Hong and Ruan, Wenjie and Huang, Xiaowei and Zhao, Dezong and Flynn, David and Khastgir, Siddartha and Zhao, Xingyu (2026) Trustworthy text-to-image diffusion models : A timely and focused survey. Information Fusion, 133: 104264. ISSN 1566-2535

Huang, Wei and Sun, Youcheng and Zhao, Xingyu and Sharp, James and Ruan, Wenjie and Meng, Jie and Huang, Xiaowei (2022) Coverage-Guided Testing for Recurrent Neural Networks. IEEE Transactions on Reliability, 71 (3): 3. pp. 1191-1206. ISSN 0018-9529

Contribution in Book/Report/Proceedings

Zhao, Xingyu and Osborne, Matt and Lantair, Jenny and Robu, Valentin and Flynn, David and Huang, Xiaowei and Fisher, Michael and Papacchini, Fabio and Ferrando, Angelo (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings :. UNSPECIFIED.