| 2025 | SETTA | Risk-Averse Certification of Bayesian Neural Networks. | Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska |
| 2024 | TACAS | Provable Preimage Under-Approximation for Neural Networks. | Xiyue Zhang, Benjie Wang, Marta Kwiatkowska |
| 2023 | FedCSIS | When to Trust AI: Advances and Challenges for Certification of Neural Networks. | Marta Kwiatkowska, Xiyue Zhang |
| 2023 | SEKE | Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). | Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun |
| 2022 | ICFEM | Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. | Zeming Wei, Xiyue Zhang, Meng Sun |
| 2022 | ICTAC | Towards a Unifying Logical Framework for Neural Networks. | Xiyue Zhang, Xiaohong Chen, Meng Sun |
| 2021 | AAAI | Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation. | Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Xiyue Zhang, Hongsheng Yang, Jian Pei, Liefeng Bo |
| 2021 | AAAI | Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. | Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun |
| 2021 | AAAI | Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network. | Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia, Peng Dai, Liefeng Bo, Junbo Zhang, Yu Zheng |
| 2021 | IJCAI | Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning. | Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Liefeng Bo, Xiyue Zhang, Tianyi Chen |
| 2021 | SEKE | Using LSTM to Predict Tactics in Coq. | Xiaokun Luan, Xiyue Zhang, Meng Sun |
| 2021 | SETTA | DeepGlobal: A Global Robustness Verifiable FNN Framework. | Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun |
| 2020 | CIKM | Spatial-Temporal Convolutional Graph Attention Networks for Citywide Traffic Flow Forecasting. | Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia |
| 2020 | Coordination | Towards a Formally Verified EVM in Production Environment. | Xiyue Zhang, Yi Li, Meng Sun |
| 2020 | ICSE | Uncertainty-guided testing and robustness enhancement for deep learning systems. | Xiyue Zhang |
| 2020 | ICSE | Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. | Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun |
| 2019 | ICECCS | Safe Inputs Approximation for Black-Box Systems. | Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie |
| 2019 | TASE | Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. | Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun |
| 2018 | ICFEM | Modeling and Verification of Component Connectors. | Xiyue Zhang |
| 2018 | SEKE | Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). | Xiyue Zhang, Meng Sun |
| 2017 | SEFM | Using Coq for Formal Modeling and Verification of Timed Connectors. | Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun |
| 2010 | ICARCV | Liver cancer identification based on PSO-SVM model. | Huiyan Jiang, Fengzhen Tang, Xiyue Zhang |