| SAT-based explicit LTLf satisfiability checking J Li, G Pu, Y Zhang, MY Vardi, KY Rozier Artificial Intelligence 289, 103369, 2020 | 48 | 2020 |
| Syntax-guided termination analysis G Fedyukovich, Y Zhang, A Gupta Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 32 | 2018 |
| 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 | 27 | 2021 |
| 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 | 20 | 2017 |
| 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 | 10 | 2021 |
| Optimizing backbone filtering Y Zhang, M Zhang, G Pu Science of Computer Programming 187, 102374, 2020 | 9 | 2020 |
| 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 | 8 | 2020 |
| 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 | 5 | 2022 |
| 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 | 5 | 2018 |
| Generating adversarial examples for DNN using pooling layers Y Zhang, G Pu, M Zhang Journal of Intelligent & Fuzzy Systems 37 (4), 4615-4620, 2019 | 4 | 2019 |
| SMTBCF: Efficient Backbone Computing for SMT Formulas Y Zhang, G Pu, M Zhang Formal Methods and Software Engineering: 21st International Conference on …, 2019 | 3 | 2019 |
| 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 | 2 | 2021 |
| Generating Adversarial Examples by Distributed Upsampling S Zhou, Y Zhang, G Cao, J Wang Neural Information Processing: 28th International Conference, ICONIP 2021 …, 2021 | 1 | 2021 |
| 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 |
