| On-the-fly synthesis for LTL over finite traces S Xiao, J Li, S Zhu, Y Shi, G Pu, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6530-6537, 2021 | 17 | 2021 |
| Ltlf synthesis as AND-OR graph search: Knowledge compilation at work G De Giacomo, M Favorito, J Li, MY Vardi, S Xiao, S Zhu IJCAI, 2022 | 13 | 2022 |
| Sat-based automata construction for LTL over finite traces Y Shi, S Xiao, J Li, J Guo, G Pu 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 1-10, 2020 | 11 | 2020 |
| Accelerate safety model checking based on complementary approximate reachability X Zhang, S Xiao, Y Xia, J Li, M Chen, G Pu IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 1 | 2023 |
| Identifying boundary conditions with the syntax and semantic information of goals Y Xia, J Li, S Xiao, W Miao, G Pu arXiv preprint arXiv:2203.12903, 2022 | 1 | 2022 |
| Model-Guided Synthesis for LTL over Finite Traces S Xiao, Y Li, X Huang, Y Xu, J Li, G Pu, O Strichman, MY Vardi International Conference on Verification, Model Checking, and Abstract …, 2023 | | 2023 |
| Computing minimal unsatisfiable core for LTL over finite traces T Niu, S Xiao, X Zhang, J Li, Y Huang, J Shi Journal of Logic and Computation, exad049, 2023 | | 2023 |
| FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format S Xiao, C Zhang, J Li, G Pu International Conference on Tools and Algorithms for the Construction and …, 2023 | | 2023 |
| Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding X Zhang, S Xiao, J Li, G Pu, O Strichman Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | | 2022 |
| LTLf Satisfiability Checking via Formula Progression T Niu, Y Xu, S Xiao, L Xiao, Y Huang, J Li | | |
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
