返回主页
  1. Duan Zhenhua, Tian Cong, Zhang Nan, Ma Qian, Du Hongwei, Index Set Expressions Can Represent Temporal Logic Formulas, Theoretical Computer Science, 788: 21~38, 2019.

  2. Zhenhua Duan, Cong Tian, Nan Zhang, A Canonical Form Based Decision Procedure and Model Checking Approach for Propositional Projection Temporal Logic, Theoretical Computer Science, 609: 544~566, 2016.

  3. Zhenhua Duan, Jin Liu, Jie Li, Cong Tian, Improved Even Order Magic Square Construction Algorithms and Their Applications in Multi-user Shared Electronic Accounts, Theoretical Computer Science, 607: 391~410, 2015.

  4. Dekui Wang, Zhenhua Duan, Cong Tian, Bohu huang, Nan Zhang, ParRA: A Shared Memory Parallel FPGA Router using Hybrid Partitioning Approach, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, DOI: 10.1109/TCAD.2019.2901243.

  5. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution, IEEE Transactions on Reliability, 68(3): 1101-1116, 2019.

  6. Wang Meng, Tian Cong, Zhang Nan, Duan Zhenhua, Du Hongwei, Verifying A Scheduling Protocol of Safety-Critical Systems, Journal of Combinatorial Optimization, 37(4): 1191-1215, 2019.

  7. Tian Cong, Duan Zhenhua, Model Checking Open Systems with Alternating Projection Temporal Logic, Theoretical Computer Science, 774: 65~81, 2019.

  8. Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao, Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach, ACM Transactions on Software Engineering and Methodology, 28(4): 24:1-24:37, 2019.

  9. Cui Jin, Tian Cong, Zhang Nan, Duan Zhenhua, Du Hongwei, Verifying Schedulability of Tasks in ROS-Based Systems, Journal of Combinatorial Optimization, 37(3): 901-920, 2019.

  10. 王小兵, 郭文轩, 段振华, 消息传递的MSVL通信机制及其实现, 软件学报, 29(06): 1607-1621, 2017.

  11. Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang, A Runtime Optimization Approach for FPGA Routing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(8): 1706-1710, 2018.

  12. Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang, Verifying Temporal Properties of Programs A Parallel Approach, Journal of Parallel and Distributed Computing, 118: 89-99, 2018.

  13. 王海洋, 段振华, 田聪, APTL公式的可满足性检查工具, 软件学报, 29(06): 1635-1646, 2018.

  14. Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du, A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability, IEEE Transactions on Reliability, 67(2): 481~493, 2018.

  15. Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du, Planning with Spatio-Temporal Search Control Knowledge, IEEE Transactions on Knowledge & Data Engineering, 30(10): 1915-1928, 2018.

  16. 崔进, 段振华, 田聪, 张南, 一种嵌套中断系统的建模和分析方法, 软件学报, 29(6): 1670-1680, 2017.

  17. Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang, A Compiler for MSVL and Its Applications, Theoretical Computer Science, 749: 2-16, 2017.

  18. Haiyang Wang, Zhenhua Duan, Cong Tian, Model Checking Multi-agent Systems with APTL, Ad Hoc & Sensor Wireless Networks, 37(1-4):35-52, 2017.

  19. Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du, Verify Heaps via Unified Model Checking, Theoretical Computer Science, DOI: 10.1016/j.tcs.2017.09.025.

  20. Nan Zhang, Zhenhua Duan, Cong Tian, A Complete Axiom System for Propositional Projection Temporal Logic with Cylinder Computation Model, Theoretical Computer Science, 609(3): 639-657, 2016.

  21. Nan Zhang, Zhenhua Duan, Cong Tian, A Mechanism of Function Calls in MSVL, Theoretical Computer Science, 654: 11-25, 2016.

  22. Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou, Model Checking Petri Nets with MSVL, Information Sciences, 363: 274-291, 2016.

  23. Man Zhang, Zhenhua Duan, Qingshan Li, Hua Chu, Transformation from Business Process Models to BPEL with Overlapped Patterns Involved, IJHPCN, 9(1/2): 82-92, 2016.

  24. Nan Zhang, Zhenhua Duan, Cong Tian, Model Checking Concurrent Systems with MSVL, Science China (Information Sciences), 363: 274-291, 2016.

  25. 刘尧, 段振华, 田聪, NuTL2PFG: vTL公式的可满足性检查, 软件学报, 28(4):898~906, 2016.

  26. Liang Zhao, Xiaobing Wang, Zhenhua Duan, Model Checking of Pushdown Systems for Projection Temporal Logic, Theoretical Computer Science(CCF B类期刊), 774(25): 82-94, 2019.

  27. 段钊, 田聪, 段振华, 基于CEGAR的C程序空指针解引用检测, 计算机研究与发展, 53(1): 155-164, 2016.

  28. 陆旭, 段振华, 田聪, 二维逻辑PPTLSL的可满足性检查, 软件学报, 27(3): 670-681, 2016.

  29. Xinfeng Shu, Zhenhua Duan, Hongwei Du, A Decision Procedure and Complete Axiomatization for Projection Temporal Logic, Theoretical Computer Science, DOI: 10.1016/j.tcs.2017.09.026.

  30. 王海洋, 段振华, 田聪, 用于验证多智能体系统的 APTL 模型检测器, 软件学报, 30(2): 231-243, 2008.

  31. Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian, On General Threshold and General Cascade Models of Social Influence, Journal of Combinatorial Optimization, 35(1): 209-215, 2017.

  32. Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao, MSVL A Typed Language for Temporal Logic Programming, Frontiers of Computer Science, 11(5): 762-785, 2017.

  33. Cong Tian, Zhenhua Duan, Zhao Duan, Making CEGAR More Efficient in Software Model Checking, IEEE Transactions on Software Engineering, 40(12): 1206-1223, 2014.

  34. Xu Lu, Cong Tian, Zhenhua Duan, Temporalising Separation Logic for Planning with Search Control Knowledge, The 26th International Joint Conference on Artificial Intelligence, 2017.8.19-2017.8.25.

  35. Yao Liu, Zhenhua Duan, Cong Tian, A Decision Procedure for a Fragment of Linear Time Mu-Calculus, 25th International Joint Conference on Artificial Intelligence IJCAI-16, New York, 2016.07.09-2016.07.15.

  36. Zhenhua Duan, Yujiang Hui, Cong Tian, A Self-Organizing Trust Model Based on HP2P, 11th International conference on Mobile Ad-hoc and Sensor Networks (IEEE MSN 2015), Shenzhen, 2015.12.16-2015.12.18.

  37. Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang, Model Checking MSVL Programs Based on Dynamic Symbolic Execution, International Computing and Combinatorics Conference, 2015.8.4-2015.8.6.

  38. Jie Zhang, Cong Tian, Zhenhua Duan, FastDroid Efficient Taint Analysis for Android Applications, IEEE/ACM 41st International Conference on Software Engineering, 2019.5.25-2019.5.31.

  39. Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao, RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations, The 40th International Conference on Software Engineering (ICSE 2018), 2018.5.27-2018.6.3.

  40. Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, A Novel Approach to Verifying Context Free Properties of Programs, Runtime verification; Model checking Temporal logic; Automata, 2018.12.3-2018.12.4.

  41. Cong Tian, Zhao Duan, Zhenhua Duan, Accelerating Counterexample Detection in Software Model Checking, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018.5.27-2018.6.3.

  42. Cong Tian, Congli Xia, Zhenhua Duan, Android Inter-Component Communication Analysis with Intent Revision, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018.5.27-2018.6.3.

  43. Meng Wang, Cong Tian, Zhenhua Duan, Full Regular Temporal Property Verification as Dynamic Program Execution, International Conference on Software Engineering (ICSE 2017), Buenos Aires, 2017.5.20-2017.5.28.

  44. Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong, More Effective Interpolations in Software Model Checking, The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), 2017.10.30-2017.11.3.

  45. Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui, Implementing MapReduce with MSVL, SOFL+MSVL 2017, Xi’an, 2017.11.16-2017.11.16.

  46. Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian, A Proof System for MSVL Programs in Coq, SOFL+MSVL 2016, Tokyo, 2016.11.14-2016.11.18.

  47. Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui, Satisfiability of Linear Time Mu-Calculus on Finite Traces, The 22nd International Computing and Combinatorics Conference (COCOON 2016), Ho Chi Minh city, 2016.08.02-2016.08.04.

  48. Xu Lu, Zhenhua Duan, Cong Tian, Using Unified Model Checking to Verify Heaps, The 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2016), Hong Kong, 2016.12.16-2016.12.18.

  49. Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang, Verification of A Real Time Scheduling Protocol of Safety-Critical Systems, 2015 19th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD 2015), Calabria, 2015.5.6-2015.5.8.

  50. Haiyang Wang, Zhenhua Duan, Cong Tian, Symbolic Model Checking for Alternating Projection Temporal Logic, COCOA 2015, Texas, 2015.12.18-2015.12.20.

  51. Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou, Model Checking μC/OS-III Multi-task System with TMSVL, The 17th International Conference on Formal Engineering Methods, 巴黎, 2015.11.3-2015.11.6.

  52. Xinfeng Shu, Zhenhua Duan, Extending MSVL with Semaphore, COCOON 2016, Ho Chi Minh city, 2016.8.2-2016.8.4.

  53. Quanrun Fan, Zhenhua Duan, Hongwei Du, Clustering and Partition Based Divide and Conquer for SAT Solving, 10th International Conference on Mobile Ad-hoc and Sensor Networks (MSN2014), Hawaii, 2014.12.19-2014.12.21.

  54. Zhao Duan, Cong Tian, Zhenhua Duan, Luke Ong, InterpChecker: Reducing State Space via Interpolations, The 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Thessaloniki, 2018.4.14-2018.4.16.

  55. Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao, Reducing Extension Edges of Concurrent Programs for Reachability Analysis, International Conference on Combinatorial Optimization and Applications, 2018.12.15-2018.12.17.

  56. Zhao Duan, Cong Tian, Zhenhua Duan, Verifying Temporal Properties of C Programs via Lazy Abstraction, The 19th International Conference on Formal Engineering Methods (ICFEM 2017), Xi’an, 2017.11.13-2017.11.17.