Follow
Cong Tian
Title
Cited by
Cited by
Year
A decision procedure for propositional projection temporal logic with infinite models
Z Duan, C Tian, L Zhang
Acta Informatica 45 (1), 43-78, 2008
1782008
A unified model checking approach with projection temporal logic
Z Duan, C Tian
International Conference on Formal Engineering Methods, 167-186, 2008
992008
A practical decision procedure for propositional projection temporal logic with infinite models
Z Duan, C Tian
Theoretical Computer Science 554, 169-190, 2014
572014
Expressiveness of propositional projection temporal logic with star
C Tian, Z Duan
Theoretical Computer Science 412 (18), 1729-1744, 2011
522011
Complexity of propositional projection temporal logic with star
C Tian, Z Duan
Mathematical Structures in Computer Science 19 (1), 73-100, 2009
522009
Model checking propositional projection temporal logic based on SPIN
C Tian, Z Duan
Formal Methods and Software Engineering: 9th International Conference on …, 2007
472007
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
462008
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
432016
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
332016
Making CEGAR more efficient in software model checking
C Tian, Z Duan, Z Duan
IEEE Transactions on Software Engineering 40 (12), 1206-1223, 2014
322014
Model checking concurrent systems with MSVL
N Zhang, Z Duan, C Tian
Science China. Information Sciences 59 (11), 118101, 2016
312016
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
272019
A compiler for MSVL and its applications
K Yang, Z Duan, C Tian, N Zhang
Theoretical Computer Science 749, 2-16, 2018
262018
MSVL: a typed language for temporal logic programming
X Wang, C Tian, Z Duan, L Zhao
Frontiers of Computer Science 11, 762-785, 2017
262017
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
262014
A mechanism of function calls in MSVL
N Zhang, Z Duan, C Tian
Theoretical Computer Science 654, 11-25, 2016
252016
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
242018
Detecting spurious counterexamples efficiently in abstract model checking
C Tian, Z Duan
2013 35th International Conference on Software Engineering (ICSE), 202-211, 2013
242013
A cylinder computation model for many-core parallel computing
N Zhang, Z Duan, C Tian
Theoretical Computer Science 497, 68-83, 2013
232013
An efficient approach for abstraction-refinement in model checking
C Tian, Z Duan, N Zhang
Theoretical Computer Science 461, 76-85, 2012
212012
The system can't perform the operation now. Try again later.
Articles 1–20