| 2026 | AAAI | Fragile by Design: On the Limits of Adversarial Defenses in Personalized DreamBooth Generation. | Zhen Chen, Yi Zhang, Xiangyu Yin, Chengxuan Qin, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan |
| 2026 | AAAI | Self-Supervised Cross-City Trajectory Representation Learning Based on Meta-Learning. | Yanwei Yu, Hong Xia, Shaoxuan Gu, Xingyu Zhao, Dongliang Chen, Yuan Cao |
| 2026 | AAAI | TrajAgg: Dual-Scale Feature Aggregation with Hybrid Training for Trajectory Similarity Computation in Free Space. | Xiao Zhang, Xingyu Zhao, Yuan Cao, Bin Wang, Guiyuan Jiang, Yanwei Yu |
| 2026 | WCNC | Hybrid Beamforming Design for Finite-Blocklength Covert mmWave ISAC Systems. | Xingyu Zhao, Yanze Han, Min Li, Ming-Min Zhao, Minjian Zhao |
| 2025 | AAAI | Risk Controlled Image Retrieval. | Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Wei Huang, Xiaowei Huang |
| 2025 | AAAI | Correlation-Attention Masked Temporal Transformer for User Identity Linkage Using Heterogeneous Mobility Data. | Ziang Yan, Xingyu Zhao, Hanqing Ma, Wei Chen, Jianpeng Qi, Yanwei Yu, Junyu Dong |
| 2025 | AAAI | Scalable Trajectory-User Linking with Dual-Stream Representation Networks. | Hao Zhang, Wei Chen, Xingyu Zhao, Jianpeng Qi, Guiyuan Jiang, Yanwei Yu |
| 2025 | CSEDU | The Impact of Live Polling Quizzes on Student Engagement and Performance in Computer Science Lectures: A Post-COVID19 Study. | Xingyu Zhao |
| 2025 | CVPR | 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 |
| 2025 | ICCV | Adversarial Training for Probabilistic Robustness. | Yi Zhang, Yuhang Chen, Zhen Chen, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Xingyu Zhao |
| 2025 | PRICAI | Interpreting Safety: A LLM and STPA Approach. | Yi Qi, Shufeng Chen, Xiangyu Yin, Wenjie Ruan, Siddartha Khastgir, Ji Ruan, Xingyu Zhao, Xiaowei Huang |
| 2025 | VTC | Movable Antenna Enhanced Downlink Multi-User Integrated Sensing and Communication System. | Yanze Han, Min Li, Xingyu Zhao, Ming-Min Zhao, Minjian Zhao |
| 2025 | RV | Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. | Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess |
| 2024 | AAAI | Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. | Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan |
| 2024 | CCS | 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 |
| 2024 | ECCV | 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 |
| 2024 | ICML | 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 |
| 2024 | ICONIP | Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory. | Sihao Wu, Xingyu Zhao, Xiaowei Huang |
| 2024 | ICRA | 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 |
| 2023 | AAAI | Imbalanced Label Distribution Learning. | Xingyu Zhao, Yuexuan An, Ning Xu, Jing Wang, Xin Geng |
| 2023 | ICCV | SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. | Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang |
| 2023 | IJCAI | Learning to Learn from Corrupted Data for Few-Shot Learning. | Yuexuan An, Xingyu Zhao, Hui Xue |
| 2023 | VECoS | 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 |
| 2022 | ICFEM | Bridging Formal Methods and Machine Learning with Global Optimisation. | Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao |
| 2022 | IJCAI | Fusion Label Enhancement for Multi-Label Learning. | Xingyu Zhao, Yuexuan An, Ning Xu, Xin Geng |
| 2022 | IJCAI | A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. | Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang |
| 2022 | IROS | Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. | Yi Dong, Xingyu Zhao, Xiaowei Huang |
| 2021 | DSN | Detecting Operational Adversarial Examples for Reliable Deep Learning. | Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang |
| 2021 | DSN | Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. | Kizito Salako, Lorenzo Strigini, Xingyu Zhao |
| 2021 | IJCAI | Conditional Self-Supervised Learning for Few-Shot Classification. | Yuexuan An, Hui Xue, Xingyu Zhao, Lu Zhang |
| 2021 | IJCAI | 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 |
| 2021 | UAI | BayLIME: Bayesian local interpretable model-agnostic explanations. | Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn |
| 2020 | SAFECOMP | A Safety Framework for Critical Systems Utilising Deep Neural Networks. | Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang |
| 2019 | AAAI | Probabilistic Model Checking of Robots Deployed in Extreme Environments. | Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster |
| 2019 | ISSRE | Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. | Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini |
| 2019 | SEFM | 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 |
| 2018 | ISSRE | 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 |
| 2015 | ISSRE | Conservative claims about the probability of perfection of software-based systems. | Xingyu Zhao, Bev Littlewood, Andrey Povyakalo, David Wright |
| 2012 | SAFECOMP | A New Approach to Assessment of Confidence in Assurance Cases. | Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng |
| 2001 | ICRA | Stiffness Estimation of a Tripod-based Parallel Kinematic Machine. | Tian Huang, Jiangping Mei, Xingyu Zhao, Lihua Zhou |