Follow
Zhang Yueling
Zhang Yueling
Verified email at sei.ecnu.edu.cn
Title
Cited by
Cited by
Year
SAT-based explicit LTLf satisfiability checking
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier
Artificial Intelligence 289, 103369, 2020
462020
Syntax-guided termination analysis
G Fedyukovich, Y Zhang, A Gupta
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
312018
Efficient white-box fairness testing through gradient search
L Zhang, Y Zhang, M Zhang
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
242021
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
202017
Programmable logic controllers past linear temporal logic for monitoring applications in industrial control systems
X Mao, X Li, Y Huang, J Shi, Y Zhang
IEEE Transactions on Industrial Informatics 18 (7), 4393-4405, 2021
92021
Optimizing backbone filtering
Y Zhang, M Zhang, G Pu
Science of Computer Programming 187, 102374, 2020
92020
Accelerating All-SAT computation with short blocking clauses
Y Zhang, G Pu, J Sun
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
82020
A refinement development approach for enhancing the safety of PLC programs with Event-B
X Mao, Y Zhang, J Shi, Y Huang, Q Li
Science of Computer Programming 215, 102763, 2022
52022
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
52018
Generating adversarial examples for DNN using pooling layers
Y Zhang, G Pu, M Zhang
Journal of Intelligent & Fuzzy Systems 37 (4), 4615-4620, 2019
42019
SMTBCF: Efficient Backbone Computing for SMT Formulas
Y Zhang, G Pu, M Zhang
Formal Methods and Software Engineering: 21st International Conference on …, 2019
32019
Approximated masked global context network for skin lesion segmentation
C Jiang, Y Zhang, J Wang, W Chen
Artificial Neural Networks and Machine Learning–ICANN 2021: 30th …, 2021
22021
Generating Adversarial Examples by Distributed Upsampling
S Zhou, Y Zhang, G Cao, J Wang
Neural Information Processing: 28th International Conference, ICONIP 2021 …, 2021
12021
SAT-based explicit LTLf satisfiability checking
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
Artif. Intell., 2020
2020
EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps
B Xia, Y Zhang, W Chen, X Wang, J Wang
Artificial Neural Networks and Machine Learning–ICANN 2020: 29th …, 2020
2020
Optimizing backbone filtering
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
TASE, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–16