Pengfei Yang
Cited by
Cited by
Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification
J Li, J Liu, P Yang, L Chen, X Huang, L Zhang
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
Improving neural network verification through spurious region guided refinement
P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang
International Conference on Tools and Algorithms for the Construction and …, 2021
An initial study on the relationship between meta features of dataset and the initialization of NNRW
W Cao, MJA Patwary, P Yang, X Wang, Z Ming
2019 international joint conference on neural networks (IJCNN), 1-8, 2019
PRODeep: a platform for robustness verification of deep neural networks
R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Enhancing robustness verification for deep neural networks via symbolic propagation
P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang
Formal Aspects of Computing 33 (3), 407-435, 2021
An improved fuzziness based random vector functional link network for liver disease detection
W Cao, P Yang, Z Ming, S Cai, J Zhang
2020 IEEE 6th Intl Conference on Big Data Security on Cloud (BigDataSecurity …, 2020
Towards practical robustness analysis for DNNs based on PAC-model learning
R Li, P Yang, CC Huang, Y Sun, B Xue, L Zhang
Proceedings of the 44th International Conference on Software Engineering …, 2022
Distribution-based bisimulation for labelled markov processes
P Yang, DN Jansen, L Zhang
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
Weight expansion: A new perspective on dropout and generalization
G Jin, X Yi, P Yang, L Zhang, S Schewe, X Huang
arXiv preprint arXiv:2201.09209, 2022
Ensemble defense with data diversity: Weak correlation implies strong robustness
R Li, H Zhang, P Yang, CC Huang, A Zhou, B Xue, L Zhang
arXiv preprint arXiv:2106.02867, 2021
A near-linear-time algorithm for weak bisimilarity on Markov chains
DN Jansen, JF Groote, F Timmers, P Yang
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
Probabilistic bisimulation for realistic schedulers
L Zhang, P Yang, L Song, H Hermanns, C Eisentraut, DN Jansen, ...
Acta Informatica 55, 461-488, 2018
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
P Yang, Z Chi, Z Liu, M Zhao, CC Huang, S Cai, L Zhang
arXiv preprint arXiv:2302.06455, 2023
Probabilistic robustness analysis for DNNs based on PAC learning
R Li, P Yang, CC Huang, B Xue, L Zhang
arXiv preprint arXiv:2101.10102, 2021
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
J Ma, P Yang, J Wang, Y Sun, CC Huang, Z Wang
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
L Zhang, N Xu, P Yang, G Jin, CC Huang, L Zhang
Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2023
Safety Analysis of Autonomous Driving Systems Based on Model Learning
R Li, T Qin, P Yang, CC Huang, Y Sun, L Zhang
arXiv preprint arXiv:2211.12733, 2022
Defensive Design of Saturating Counters Based on Differential Privacy
D Liu, L Zhao, P Yang, BY Wang, R Hou, L Zhang, N Zhan
arXiv preprint arXiv:2206.00279, 2022
The system can't perform the operation now. Try again later.
Articles 1–18