| A decision procedure for propositional projection temporal logic with infinite models Z Duan, C Tian, L Zhang Acta Informatica 45 (1), 43-78, 2008 | 176 | 2008 |
| A unified model checking approach with projection temporal logic Z Duan, C Tian International Conference on Formal Engineering Methods, 167-186, 2008 | 89 | 2008 |
| A practical decision procedure for propositional projection temporal logic with infinite models Z Duan, C Tian Theoretical Computer Science 554, 169-190, 2014 | 52 | 2014 |
| Expressiveness of propositional projection temporal logic with star C Tian, Z Duan Theoretical Computer Science 412 (18), 1729-1744, 2011 | 52 | 2011 |
| Complexity of propositional projection temporal logic with star C Tian, Z Duan Mathematical Structures in Computer Science 19 (1), 73-100, 2009 | 49 | 2009 |
| How Android app developers manage power consumption? An empirical study by mining power management commits L Bao, D Lo, X Xia, X Wang, C Tian Proceedings of the 13th International Conference on Mining Software …, 2016 | 47 | 2016 |
| Propositional Projection Temporal Logic, B chi Automata and ω-Regular Expressions C Tian, Z Duan International Conference on Theory and Applications of Models of Computation …, 2008 | 43 | 2008 |
| Model checking propositional projection temporal logic based on SPIN C Tian, Z Duan Formal Methods and Software Engineering: 9th International Conference on …, 2007 | 43 | 2007 |
| A canonical form based decision procedure and model checking approach for propositional projection temporal logic Z Duan, C Tian, N Zhang Theoretical Computer Science 609, 544-560, 2016 | 35 | 2016 |
| Model checking concurrent systems with MSVL N Zhang, Z Duan, C Tian Science China. Information Sciences 59 (11), 118101, 2016 | 33 | 2016 |
| Making CEGAR more efficient in software model checking C Tian, Z Duan, Z Duan IEEE Transactions on Software Engineering 40 (12), 1206-1223, 2014 | 33 | 2014 |
| Differential testing of certificate validation in SSL/TLS implementations: An RFC-guided approach C Tian, C Chen, Z Duan, L Zhao ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (4), 1-37, 2019 | 31 | 2019 |
| MSVL: a typed language for temporal logic programming X Wang, C Tian, Z Duan, L Zhao Frontiers of Computer Science 11, 762-785, 2017 | 30 | 2017 |
| A mechanism of function calls in MSVL N Zhang, Z Duan, C Tian Theoretical Computer Science 654, 11-25, 2016 | 28 | 2016 |
| Towards more accurate content categorization of API discussions B Zhou, X Xia, D Lo, C Tian, X Wang Proceedings of the 22nd International Conference on Program Comprehension …, 2014 | 27 | 2014 |
| A compiler for MSVL and its applications K Yang, Z Duan, C Tian, N Zhang Theoretical Computer Science 749, 2-16, 2018 | 26 | 2018 |
| Intelligent program synthesis framework and key scientific problems for embedded software M Yang, B Gu, Z Duan, Z Jin, N Zhan, Y Dong, C Tian, G Li, X Dong, X Li Chinese Space Science and Technology 42 (4), 1-7, 2022 | 25 | 2022 |
| RFC-directed differential testing of certificate validation in SSL/TLS implementations C Chen, C Tian, Z Duan, L Zhao Proceedings of the 40th International Conference on Software Engineering …, 2018 | 25 | 2018 |
| Enchanting program specification synthesis by large language models using static analysis and program verification C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian International Conference on Computer Aided Verification, 302-328, 2024 | 24 | 2024 |
| A novel approach to modeling and verifying real-time systems for high reliability J Cui, Z Duan, C Tian, H Du IEEE Transactions on Reliability 67 (2), 481-493, 2018 | 24 | 2018 |