PRODeep: a platform for robustness verification of deep neural networks. - Renjue Li; Jianlin Li; Cheng-Chao Huang; Pengfei Yang 002; Xiaowei Huang 001; Lijun Zhang 001; Bai Xue 001; Holger Hermanns (ESEC/SIGSOFT FSE, 2020)

Reach-avoid Analysis for Stochastic Discrete-time Systems. - Bai Xue 001; Renjue Li; Naijun Zhan; Martin Fränzle (ACC, 2021)

Improving Neural Network Verification through Spurious Region Guided Refinement. - Pengfei Yang 002; Renjue Li; Jianlin Li; Cheng-Chao Huang; Jingyi Wang 004; Jun Sun 001; Bai Xue 001; Lijun Zhang 001 (TACAS (1), 2021)

Probabilistic Robustness Analysis for DNNs based on PAC Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Bai Xue 001; Lijun Zhang 001 (CoRR, 2021)

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. - Renjue Li; Hanwei Zhang 001; Pengfei Yang 002; Cheng-Chao Huang; Aimin Zhou; Bai Xue 001; Lijun Zhang 001 (CoRR, 2021)

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. - Pengfei Yang 002; Jianlin Li; Jiangchao Liu; Cheng-Chao Huang; Renjue Li; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (Formal Aspects Comput., 2021)

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Bai Xue 001; Lijun Zhang 001 (ICSE, 2022)

Towards Good Practices in Evaluating Transfer Adversarial Attacks. - Zhengyu Zhao 001; Hanwei Zhang 001; Renjue Li; Ronan Sicre; Laurent Amsaleg; Michael Backes 001 (CoRR, 2022)

Safety Analysis of Autonomous Driving Systems Based on Model Learning. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (CoRR, 2022)

Revisiting Transferable Adversarial Image Examples: Attack Categorization, Evaluation Guidelines, and New Insights. - Zhengyu Zhao 001; Hanwei Zhang 001; Renjue Li; Ronan Sicre; Laurent Amsaleg; Michael Backes 001; Qi Li 002; Chao Shen 001 (CoRR, 2023)

Out-of-Bounding-Box Triggers: A Stealthy Approach to Cheat Object Detectors. - Tao Lin; Lijia Yu; Gaojie Jin; Renjue Li; Peng Wu; Lijun Zhang 001 (ECCV (66), 2024)

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. - Hanwei Zhang 001; Luo Cheng; Qisong He; Wei Huang 035; Renjue Li; Ronan Sicre; Xiaowei Huang 001; Holger Hermanns; Lijun Zhang 001 (SETTA, 2024)

ISS-Scenario: Scenario-Based Testing in CARLA. - Renjue Li; Tianhang Qin; Cas Widdershoven (TASE, 2024)

ADVREPAIR: Provable Repair of Adversarial Attack. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Xiaowei Huang 001; Lijun Zhang 001 (CoRR, 2024)

Patch Synthesis for Property Repair of Deep Neural Networks. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Jingyi Wang 004; Xiaowei Huang 001; Lijun Zhang 001 (ICSE, 2025)

QuantiVA: quantitative verification of autonomous driving. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (Res. Dir. Cyber Phys. Syst., 2025)