| Symbolic ltlf synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi arXiv preprint arXiv:1705.08426, 2017 | 127 | 2017 |
| Fakelocator: Robust localization of gan-based face manipulations Y Huang, F Juefei-Xu, Q Guo, Y Liu, G Pu IEEE Transactions on Information Forensics and Security 17, 2657-2672, 2022 | 87 | 2022 |
| Fakepolisher: Making deepfakes more detection-evasive by shallow reconstruction Y Huang, F Juefei-Xu, R Wang, Q Guo, L Ma, X Xie, J Li, W Miao, Y Liu, ... Proceedings of the 28th ACM international conference on multimedia, 1217-1226, 2020 | 77 | 2020 |
| SAT-based explicit LTLf satisfiability checking J Li, G Pu, Y Zhang, MY Vardi, KY Rozier Artificial Intelligence 289, 103369, 2020 | 65 | 2020 |
| A Symbolic Approach to Safety ltl Synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 56 | 2017 |
| LTLf Satisfiability Checking J Li, L Zhang, G Pu, MY Vardi, J He 21st European Conference on Artificial Intelligence, 513-518, 2014 | 46 | 2014 |
| Satisfiability checking for mission-time LTL J Li, MY Vardi, KY Rozier Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 44 | 2019 |
| LTL Satisfiability Checking Revisited J Li, L Zhang, G Pu, MY Vardi, J He 20th International Symposium on Temporal Representation and Reasoning, 91-98, 2013 | 43 | 2013 |
| Aalta: an LTL satisfiability checker over Infinite/Finite traces J Li, Y Yao, G Pu, L Zhang, J He Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 38 | 2014 |
| SAT-based explicit LTL reasoning J Li, S Zhu, G Pu, MY Vardi Hardware and Software: Verification and Testing: 11th International Haifa …, 2015 | 35 | 2015 |
| 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 | 24 | 2017 |
| Fakelocator: Robust localization of gan-based face manipulations via semantic segmentation networks with bells and whistles Y Huang, F Juefei-Xu, R Wang, X Xie, L Ma, J Li, W Miao, Y Liu, G Pu Elsevier Limited, 2020 | 22 | 2020 |
| SAT-based explicit LTL reasoning and its application to satisfiability checking J Li, S Zhu, G Pu, L Zhang, MY Vardi Formal Methods in System Design 54, 164-190, 2019 | 22 | 2019 |
| SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability J Li, R Dureja, G Pu, KY Rozier, MY Vardi Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 19 | 2018 |
| MLTL benchmark generation via formula progression J Li, KY Rozier International Conference on Runtime Verification, 426-433, 2018 | 14 | 2018 |
| Spardl: A requirement modeling language for periodic control system Z Wang, J Li, Y Zhao, Y Qi, G Pu, J He, B Gu Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 14 | 2010 |
| FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain J Feng, W Miao, H Zheng, Y Huang, J Li, Z Wang, T Su, B Gu, G Pu, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 13 | 2020 |
| Accelerating LTL satisfiability checking by SAT solvers J Li, G Pu, L Zhang, MY Vardi, J He Journal of Logic and Computation 28 (6), 1011-1030, 2018 | 12 | 2018 |
| Optimizing backbone filtering Y Zhang, M Zhang, G Pu Science of Computer Programming 187, 102374, 2020 | 10 | 2020 |
| Polsat: A portfolio LTL satisfiability solver J Li, G Pu, L Zhang, Y Yao, MY Vardi arXiv preprint arXiv:1311.1602, 2013 | 10 | 2013 |
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
