| 2025 | ICTAC | Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems. | Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li |
| 2022 | ICASSP | Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. | Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li |
| 2021 | DAC | Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. | Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li |
| 2020 | ICRA | Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. | Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng |
| 2019 | ICSE | Global optimization of numerical programs via prioritized stochastic algebraic transformations. | Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li |
| 2017 | APSEC | A Framework for Array Invariants Synthesis in Induction-Loop Programs. | Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao |
| 2010 | ISSTA | Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. | Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su |
| 2005 | ICNC | An Incremental Learning Method Based on SVM for Online Sketchy Shape Recognition. | Zhengxing Sun, Lisha Zhang, Enyi Tang |