| 2024 | ICSE | Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation. | Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See |
| 2023 | AAAI | DeepGemini: Verifying Dependency Fairness for Deep Neural Network. | Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma |
| 2022 | IJCAI | Neuro-Symbolic Verification of Deep Neural Networks. | Xuan Xie, Kristian Kersting, Daniel Neider |
| 2021 | ATVA | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2021 | IGARSS | Assessment of a Random Forest Classifier in Urban Local Climate Zone Classification Using Sentinel-2 and PALSAR-2. | Chaomin Chen, Hasi Bagan, Xuan Xie, Luwen Tan, Yoshiki Yamagata |
| 2019 | ICASSP | Active Sampling for Approximately Bandlimited Graph Signals. | Sijie Lin, Xuan Xie, Hui Feng, Bo Hu |
| 2019 | ICSE | Exposing library API misuses via mutation analysis. | Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su |
| 2017 | ICMLC | Design and implementation of smoke early warning system based on video analysis technology. | Xiaofei Ji, Xuan Xie, Xinmeng Zuo, Jiangtao Cao |
| 2016 | IRI | Reuse of WiFi Information for Indoor Monitoring of the Elderly. | Xuan Xie, Hongze Xu, Guang Yang, Zhi-Hong Mao, Wenyan Jia, Mingui Sun |