Renjue Li

According to our database, Renjue Li authored at least 11 papers between 2020 and 2024.

Collaborative distances:

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

2024

ADVREPAIR: Provable Repair of Adversarial Attack.

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

CoRR, 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