期刊论文列表：
[1] Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang:ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. on CAD of Integrated Circuits and Systems 39(4): 830-842 (2020)
[2] Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao:Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. ACM Trans. Softw. Eng. Methodol. 28(4): 24:1-24:37 (2019)
[3] Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang: A Runtime Optimization Approach for FPGA Routing. IEEE Trans. on CAD of Integrated Circuits and Systems 37(8): 1706-1710 (2018)
[4] Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du: Planning with Spatio-Temporal Search Control Knowledge. IEEE Trans. Knowl. Data Eng. 30(10): 1915-1928 (2018)
[5] Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong: More effective interpolations in software model checking. ASE 2017: 183-193
[6] Nan Zhang, Zhenhua Duan, Cong Tian: Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11): 118101 (2016)
[7] Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou: Model checking Petri nets with MSVL. Inf. Sci. 363: 274-291 (2016)
A类会议论文列表：
[1] Cong Tian, Wensheng Wang, Zhenhua Duan: Making Streett Determinization Tight. LICS 2020: 859-872
[2] Jie Zhang, Cong Tian, Zhenhua Duan: FastDroid: efficient taint analysis for Android applications. ICSE (Companion Volume) 2019: 236-237
[3] Cong Tian, Zhao Duan, Zhenhua Duan: Accelerating counterexample detection in software model checking. ICSE (Companion Volume) 2018: 250-251
[4] Cong Tian, Congli Xia, Zhenhua Duan:Android inter-component communication analysis with intent revision. ICSE (Companion Volume) 2018: 254-255
[5] Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao: RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE 2018: 859-870
[6] Meng Wang, Cong Tian, Zhenhua Duan:Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) 2017: 226-228
[7] Xu Lu, Cong Tian, Zhenhua Duan:Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI 2017: 1167-1173
[8] Yao Liu, Zhenhua Duan, Cong Tian: A Decision Procedure for a Fragment of Linear Time Mu-Calculus. IJCAI 2016: 1195-1201
