팔로우
Cong Tian
제목
인용
인용
연도
A decision procedure for propositional projection temporal logic with infinite models
Z Duan, C Tian, L Zhang
Acta Informatica 45 (1), 43-78, 2008
1702008
A unified model checking approach with projection temporal logic
Z Duan, C Tian
International Conference on Formal Engineering Methods, 167-186, 2008
912008
A practical decision procedure for propositional projection temporal logic with infinite models
Z Duan, C Tian
Theoretical Computer Science 554, 169-190, 2014
512014
Complexity of propositional projection temporal logic with star
C Tian, Z Duan
Mathematical Structures in Computer Science 19 (1), 73-100, 2009
502009
Expressiveness of propositional projection temporal logic with star
C Tian, Z Duan
Theoretical Computer Science 412 (18), 1729-1744, 2011
452011
Model checking propositional projection temporal logic based on SPIN
C Tian, Z Duan
International Conference on Formal Engineering Methods, 246-265, 2007
432007
Propositional Projection Temporal Logic, Bchi Automata and ω-Regular Expressions
C Tian, Z Duan
International Conference on Theory and Applications of Models of Computation …, 2008
392008
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
2016 IEEE/ACM 13th Working Conference on Mining Software Repositories (MSR …, 2016
342016
Model checking concurrent systems with MSVL
N Zhang, Z Duan, C Tian
Science China Information Sciences 59 (11), 1-3, 2016
272016
Making CEGAR more efficient in software model checking
C Tian, Z Duan, Z Duan
IEEE Transactions on Software Engineering 40 (12), 1206-1223, 2014
272014
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
252014
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
232016
A cylinder computation model for many-core parallel computing
N Zhang, Z Duan, C Tian
Theoretical Computer Science 497, 68-83, 2013
222013
Detecting spurious counterexamples efficiently in abstract model checking
C Tian, Z Duan
2013 35th International Conference on Software Engineering (ICSE), 202-211, 2013
222013
A compiler for MSVL and its applications
K Yang, Z Duan, C Tian, N Zhang
Theoretical Computer Science 749, 2-16, 2018
212018
MSVL: a typed language for temporal logic programming
X Wang, C Tian, Z Duan, L Zhao
Frontiers of Computer Science 11 (5), 762-785, 2017
212017
An efficient approach for abstraction-refinement in model checking
C Tian, Z Duan, N Zhang
Theoretical Computer Science 461, 76-85, 2012
212012
A mechanism of function calls in MSVL
N Zhang, Z Duan, C Tian
Theoretical Computer Science 654, 11-25, 2016
202016
RFC-directed differential testing of certificate validation in SSL/TLS implementations
C Chen, C Tian, Z Duan, L Zhao
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
182018
Verifying temporal properties of programs: a parallel approach
B Yu, Z Duan, C Tian, N Zhang
Journal of Parallel and Distributed Computing 118, 89-99, 2018
162018
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20