Zhang Yueling
Zhang Yueling
Verified email at sei.ecnu.edu.cn
Cited by
Cited by
Sat-based explicit ltlf satisfiability checking
J Li, KY Rozier, G Pu, Y Zhang, MY Vardi
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2946-2953, 2019
Syntax-guided termination analysis
G Fedyukovich, Y Zhang, A Gupta
International Conference on Computer Aided Verification, 124-143, 2018
Safety model checking with complementary approximations
J Li, S Zhu, Y Zhang, G Pu, MY Vardi
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 95-100, 2017
Optimizing backbone filtering
Y Zhang, M Zhang, G Pu
Science of Computer Programming 187, 102374, 2020
Generating adversarial examples for DNN using pooling layers
Y Zhang, G Pu, M Zhang
Journal of Intelligent & Fuzzy Systems 37 (4), 4615-4620, 2019
SMTBCF: Efficient Backbone Computing for SMT Formulas
Y Zhang, G Pu, M Zhang
International Conference on Formal Engineering Methods, 36-51, 2019
Towards backbone computing: A Greedy-Whitening based approach
Y Zhang, M Zhang, G Pu, F Song, J Li
AI Communications 31 (3), 267-280, 2018
The system can't perform the operation now. Try again later.
Articles 1–7