Sign in
Renjue Li
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 11
Top Topics
Safety Analysis
Strong Robustness
Pac Learning
Fuzzy Artmap
Top Venues
CoRR
Formal Aspects Comput.
ACC
TACAS (1)
</>
Publications
</>
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)