Pengfei Yang - RankMe

30 papers A* 5B 3Misc 1Journal 17Unranked 4

Year	Rank	Type	Title / Venue / Authors
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
2025	A*	`conf`	Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. AAAI Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, 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`	DeepCDCL: A CDCL-based Neural Network Verification Framework. TASE Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
2024	J	`jnl`	DeepCDCL: An CDCL-based Neural Network Verification Framework. CoRR Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
2024	J	`jnl`	Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. CoRR Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2024	A*	`conf`	VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. ICSE Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang
2023	J	`jnl`	Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
2023	A*	`conf`	TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. ICCV Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
2023	J	`jnl`	TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. CoRR Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
2022	J	`jnl`	Defensive Design of Saturating Counters Based on Differential Privacy. CoRR Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan
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	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
2022	J	`jnl`	Weight Expansion: A New Perspective on Dropout and Generalization. CoRR Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2022	J	`jnl`	Weight Expansion: A New Perspective on Dropout and Generalization. Trans. Mach. Learn. Res. Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
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
2020	B	`conf`	A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. CONCUR David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang
2020	—	`conf`	An Improved Fuzziness based Random Vector Functional Link Network for Liver Disease Detection. BigDataSecurity/HPSC/IDS Weipeng Cao, Pengfei Yang, Zhong Ming, Shubin Cai, Jiyong Zhang
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
2019	B	`conf`	An Initial Study on the Relationship Between Meta Features of Dataset and the Initialization of NNRW. IJCNN Weipeng Cao, Muhammed J. A. Patwary, Pengfei Yang, Xizhao Wang, Zhong Ming
2019	B	`conf`	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019	J	`jnl`	Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2018	J	`jnl`	Probabilistic bisimulation for realistic schedulers. Acta Informatica Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
2017	—	`conf`	Distribution-Based Bisimulation for Labelled Markov Processes. FORMATS Pengfei Yang, David N. Jansen, Lijun Zhang
2017	J	`jnl`	Distribution-based bisimulation for labelled Markov processes. CoRR Pengfei Yang, David N. Jansen, Lijun Zhang