Distribution-Based Bisimulation for Labelled Markov Processes. - Pengfei Yang 002; David N. Jansen; Lijun Zhang 001 (FORMATS, 2017)

Probabilistic bisimulation for realistic schedulers. - Lijun Zhang 001; Pengfei Yang 002; Lei Song 001; Holger Hermanns; Christian Eisentraut; David N. Jansen; Jens Chr. Godskesen (Acta Informatica, 2018)

An Initial Study on the Relationship Between Meta Features of Dataset and the Initialization of NNRW. - Weipeng Cao; Muhammed J. A. Patwary; Pengfei Yang 002; Xizhao Wang; Zhong Ming 001 (IJCNN, 2019)

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. - Jianlin Li; Jiangchao Liu; Pengfei Yang 002; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (SAS, 2019)

An Improved Fuzziness based Random Vector Functional Link Network for Liver Disease Detection. - Weipeng Cao; Pengfei Yang 002; Zhong Ming 001; Shubin Cai; Jiyong Zhang (BigDataSecurity/HPSC/IDS, 2020)

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. - David N. Jansen; Jan Friso Groote; Ferry Timmers; Pengfei Yang 002 (CONCUR, 2020)

PRODeep: a platform for robustness verification of deep neural networks. - Renjue Li; Jianlin Li; Cheng-Chao Huang; Pengfei Yang 002; Xiaowei Huang 001; Lijun Zhang 001; Bai Xue 001; Holger Hermanns (ESEC/SIGSOFT FSE, 2020)

Improving Neural Network Verification through Spurious Region Guided Refinement. - Pengfei Yang 002; Renjue Li; Jianlin Li; Cheng-Chao Huang; Jingyi Wang 004; Jun Sun 001; Bai Xue 001; Lijun Zhang 001 (TACAS (1), 2021)

Probabilistic Robustness Analysis for DNNs based on PAC Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Bai Xue 001; Lijun Zhang 001 (CoRR, 2021)

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. - Renjue Li; Hanwei Zhang 001; Pengfei Yang 002; Cheng-Chao Huang; Aimin Zhou; Bai Xue 001; Lijun Zhang 001 (CoRR, 2021)

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. - Pengfei Yang 002; Jianlin Li; Jiangchao Liu; Cheng-Chao Huang; Renjue Li; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (Formal Aspects Comput., 2021)

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Bai Xue 001; Lijun Zhang 001 (ICSE, 2022)

Defensive Design of Saturating Counters Based on Differential Privacy. - Depeng Liu; Lutan Zhao; Pengfei Yang 002; Bow-Yaw Wang; Rui Hou 001; Lijun Zhang 001; Naijun Zhan (CoRR, 2022)

Safety Analysis of Autonomous Driving Systems Based on Model Learning. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (CoRR, 2022)

Weight Expansion: A New Perspective on Dropout and Generalization. - Gaojie Jin; Xinping Yi; Pengfei Yang 002; Lijun Zhang 001; Sven Schewe; Xiaowei Huang 001 (Trans. Mach. Learn. Res., 2022)

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. - Liang Zhang; Nathaniel Xu; Pengfei Yang 002; Gaojie Jin; Cheng-Chao Huang; Lijun Zhang 001 (ICCV, 2023)

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. - Pengfei Yang 002; Zhiming Chi; Zongxin Liu 001; Mengyu Zhao; Cheng-Chao Huang; Shaowei Cai 001; Lijun Zhang 001 (CoRR, 2023)

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. - Jianan Ma; Pengfei Yang 002; Jingyi Wang 004; Youcheng Sun; Cheng-Chao Huang; Zhen Wang 013 (ICSE, 2024)

DeepCDCL: A CDCL-based Neural Network Verification Framework. - Zongxin Liu 001; Pengfei Yang 002; Lijun Zhang 001; Xiaowei Huang 001 (TASE, 2024)

DeepCDCL: An CDCL-based Neural Network Verification Framework. - Zongxin Liu 001; Pengfei Yang 002; Lijun Zhang 001; Xiaowei Huang 001 (CoRR, 2024)

ADVREPAIR: Provable Repair of Adversarial Attack. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Xiaowei Huang 001; Lijun Zhang 001 (CoRR, 2024)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. - Zongxin Liu 001; Zhe Zhao 007; Fu Song; Jun Sun 001; Pengfei Yang 002; Xiaowei Huang 001; Lijun Zhang 001 (AAAI, 2025)

Patch Synthesis for Property Repair of Deep Neural Networks. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Jingyi Wang 004; Xiaowei Huang 001; Lijun Zhang 001 (ICSE, 2025)

QuantiVA: quantitative verification of autonomous driving. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (Res. Dir. Cyber Phys. Syst., 2025)