| Symbolic ltlf synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi arXiv preprint arXiv:1705.08426, 2017 | 146 | 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 | 123 | 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 | 106 | 2020 |
| SAT-based explicit LTLf satisfiability checking J Li, G Pu, Y Zhang, MY Vardi, KY Rozier Artificial Intelligence 289, 103369, 2020 | 71 | 2020 |
| A Symbolic Approach to Safety ltl Synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi Haifa Verification Conference, 147-162, 2017 | 60 | 2017 |
| Satisfiability checking for mission-time LTL J Li, MY Vardi, KY Rozier International Conference on Computer Aided Verification, 3-22, 2019 | 54 | 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 | 45 | 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 | 44 | 2014 |
| LTLf Satisfiability Checking J Li, L Zhang, G Pu, MY Vardi, J He 21st European Conference on Artificial Intelligence, 513-518, 2014 | 41 | 2014 |
| SAT-based explicit LTL reasoning J Li, S Zhu, G Pu, MY Vardi Haifa Verification Conference, 209-224, 2015 | 36 | 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 | 25 | 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 | 24 | 2020 |
| SimpleCAR: an efficient bug-finding tool based on approximate reachability J Li, R Dureja, G Pu, KY Rozier, MY Vardi International Conference on Computer Aided Verification, 37-44, 2018 | 22 | 2018 |
| 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 (2), 164-190, 2019 | 21 | 2019 |
| 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 | 18 | 2020 |
| MLTL benchmark generation via formula progression J Li, KY Rozier International Conference on Runtime Verification, 426-433, 2018 | 18 | 2018 |
| Spardl: A requirement modeling language for periodic control system Z Wang, J Li, Y Zhao, Y Qi, G Pu, J He, B Gu International Symposium On Leveraging Applications of Formal Methods …, 2010 | 16 | 2010 |
| 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 | 13 | 2018 |
| Polsat: A portfolio LTL satisfiability solver J Li, G Pu, L Zhang, Y Yao, MY Vardi arXiv preprint arXiv:1311.1602, 2013 | 11 | 2013 |
| Optimizing backbone filtering Y Zhang, M Zhang, G Pu Science of Computer Programming 187, 102374, 2020 | 10 | 2020 |
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
