| 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 | 9 | 2019 |
| Syntax-guided termination analysis G Fedyukovich, Y Zhang, A Gupta International Conference on Computer Aided Verification, 124-143, 2018 | 9 | 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 | 6 | 2017 |
| Optimizing backbone filtering Y Zhang, M Zhang, G Pu Science of Computer Programming 187, 102374, 2020 | 3 | 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 | 1 | 2019 |
| SMTBCF: Efficient Backbone Computing for SMT Formulas Y Zhang, G Pu, M Zhang International Conference on Formal Engineering Methods, 36-51, 2019 | | 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 | | 2018 |
