Renjue Li

24 papers A* 3C 1Misc 2Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models.
AAAI
Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin
2026 J jnl
Revisiting Transferable Adversarial Images: Systemization, Evaluation, and New Insights.
IEEE Trans. Pattern Anal. Mach. Intell.
Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Qian Wang, Chao Shen
2025 J jnl
BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models.
CoRR
Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin
2025 J jnl
Eidos revisited: Expanding Efficient, imperceptible adversarial attacks on 3D point clouds.
J. Syst. Archit.
Luo Cheng, Hanwei Zhang, Qisong He, Wei Huang, Renjue Li, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2025 A* conf
Patch Synthesis for Property Repair of Deep Neural Networks.
ICSE
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang
2025 J jnl
QuantiVA: quantitative verification of autonomous driving.
Res. Dir. Cyber Phys. Syst.
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
2024 J jnl
ADVREPAIR: Provable Repair of Adversarial Attack.
CoRR
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
2024 Misc conf
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.
SETTA
Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2024 J jnl
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.
CoRR
Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2024 Misc conf
ISS-Scenario: Scenario-Based Testing in CARLA.
TASE
Renjue Li, Tianhang Qin, Cas Widdershoven
2024 J jnl
ISS-Scenario: Scenario-based Testing in CARLA.
CoRR
Renjue Li, Tianhang Qin, Cas Widdershoven
2024 — conf
Out-of-Bounding-Box Triggers: A Stealthy Approach to Cheat Object Detectors.
ECCV (66)
Tao Lin, Lijia Yu, Gaojie Jin, Renjue Li, Peng Wu, Lijun Zhang
2024 J jnl
Out-of-Bounding-Box Triggers: A Stealthy Approach to Cheat Object Detectors.
CoRR
Tao Lin, Lijia Yu, Gaojie Jin, Renjue Li, Peng Wu, Lijun Zhang
2023 J jnl
Revisiting Transferable Adversarial Image Examples: Attack Categorization, Evaluation Guidelines, and New Insights.
CoRR
Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Chao Shen
2022 J jnl
Safety Analysis of Autonomous Driving Systems Based on Model Learning.
CoRR
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
2022 J jnl
Towards Good Practices in Evaluating Transfer Adversarial Attacks.
CoRR
Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes
2022 A* conf
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
ICSE
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
2021 J jnl
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Formal Aspects Comput.
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2021 J jnl
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.
CoRR
Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang
2021 — conf
Improving Neural Network Verification through Spurious Region Guided Refinement.
TACAS (1)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2021 J jnl
Probabilistic Robustness Analysis for DNNs based on PAC Learning.
CoRR
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
2021 C conf
Reach-avoid Analysis for Stochastic Discrete-time Systems.
ACC
Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
2020 J jnl
Improving Neural Network Verification through Spurious Region Guided Refinement.
CoRR
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2020 — conf
PRODeep: a platform for robustness verification of deep neural networks.
ESEC/SIGSOFT FSE
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns