Renjue Li

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Safety Analysis

Strong Robustness

Top Venues

Formal Aspects Comput.

Publications

Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. CoRR (2024)
Renjue Li, Tianhang Qin, Cas Widdershoven
ISS-Scenario: Scenario-Based Testing in CARLA. TASE (2024)
Renjue Li, Tianhang Qin, Cas Widdershoven
ISS-Scenario: Scenario-based Testing in CARLA. CoRR (2024)
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
ADVREPAIR: Provable Repair of Adversarial Attack. CoRR (2024)
Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Chao Shen
Revisiting Transferable Adversarial Image Examples: Attack Categorization, Evaluation Guidelines, and New Insights. CoRR (2023)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. ICSE (2022)
Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes
Towards Good Practices in Evaluating Transfer Adversarial Attacks. CoRR (2022)
Renjue Li, Tianhang Qin, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Lijun Zhang
Safety Analysis of Autonomous Driving Systems Based on Model Learning. CoRR (2022)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC (2021)
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
Probabilistic Robustness Analysis for DNNs based on PAC Learning. CoRR (2021)
Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. CoRR (2021)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) (2021)
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE (2020)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR (2020)