Renjue Li

According to our database, Renjue Li authored at least 19 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Revisiting Transferable Adversarial Images: Systemization, Evaluation, and New Insights.

Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Qian Wang, Chao Shen

IEEE Trans. Pattern Anal. Mach. Intell., January, 2026

BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models.

Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

QuantiVA: quantitative verification of autonomous driving.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang

Res. Dir. Cyber Phys. Syst., 2025

Eidos revisited: Expanding Efficient, imperceptible adversarial attacks on 3D point clouds.

Luo Cheng, Hanwei Zhang, Qisong He, Wei Huang, Renjue Li, Xiaowei Huang, Holger Hermanns, Lijun Zhang

J. Syst. Archit., 2025

Patch Synthesis for Property Repair of Deep Neural Networks.

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

ADVREPAIR: Provable Repair of Adversarial Attack.

Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang

CoRR, 2024

ISS-Scenario: Scenario-Based Testing in CARLA.

Renjue Li, Tianhang Qin, Cas Widdershoven

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.

Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Out-of-Bounding-Box Triggers: A Stealthy Approach to Cheat Object Detectors.

Tao Lin, Lijia Yu, Gaojie Jin, Renjue Li, Peng Wu, Lijun Zhang

Proceedings of the Computer Vision - ECCV 2024, 2024

2023

Revisiting Transferable Adversarial Image Examples: Attack Categorization, Evaluation Guidelines, and New Insights.

Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Chao Shen

CoRR, 2023

2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning.

Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang

CoRR, 2022

Towards Good Practices in Evaluating Transfer Adversarial Attacks.

Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes

CoRR, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.

Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang

CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.

Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang

CoRR, 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Reach-avoid Analysis for Stochastic Discrete-time Systems.

Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle

Proceedings of the 2021 American Control Conference, 2021

2020

PRODeep: a platform for robustness verification of deep neural networks.

Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020