Teng Long, Wenhui Zhang.
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.
Lecture Notes in Computer Science 6252 (ATVA 2010):276-290. Springer-Verlag. 2010.
Bowen Chen, Haihua Shen, Wenhui Zhang.
Formula-Oriented Compositional Minimization in Model Checking.
Proceedings of the 19th IEEE Asian Test Symposium (ATS 2010):81-84. IEEE Computer Society. 2010.
Wenhui Zhang.
Bounded Semantics of CTL and SAT-based Verification.
Lecture Notes in Computer Science 5885 (ICFEM 2009):286-305. Springer-Verlag. 2009.
Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang.
Improved Bounded Model Checking for Universal Fragment of CTL.
Journal of Computer Science and Technology 24(1):96-109. 2009.
Syed Asad Raza Kazmi, Wenhui Zhang.
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus.
Journal of Software (软件学报). 20(8):2026-2036 , 2009.
Wei Chen, Wenhui Zhang.
A Direct Construction of Polynomial-size OBDD Proof of Pigeon Hole Problem.
Information Processing Letters 109(10):472-477. 2009.
Wei Chen, Wenhui Zhang.
Bounded Model Checking of ACTL formulae .
Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009):90-99. 2009.
Syed Asad Raza Kazmi, Wenhui Zhang.
Intuitionistic Linear-time mu-Calculus. Journal of Software (软件学报) 19(12):3122-3133, 2008.
Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li and Kai-Yuan Cai.
A polynomial dynamic system approach to software design for attractivity requirement.
Information Sciences 177(13):2712-2725. Elsevier, 2007.
Fei Pu and Wenhui Zhang.
Combining search space partition and abstraction for LTL model checking.
Science in China, Series F, vol. 50(6):793-810. 2007.
Wenhui Zhang.
Model Checking with SAT-Based Characterization of ACTL Formulas.
Lecture Notes in Computer Science 4789 (ICFEM’07):191-211. Springer-Verlag. 2007.
Jin Yi, Wenhui Zhang.
Enhancing Simulation for Checking Language Containment.
Lecture Notes in Computer Science 4484 (TAMC’07):374-385. Springer-Verlag. 2007.
Jin Yi, Wenhui Zhang. Efficient State Space Reduction for Automata by Fair Simulation.
Lecture Notes in Computer Science 4767 (FSEN’07):380-387. Springer-Verlag. 2007.
Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang.
Evaluation of SAT-based Bounded Model Checking of ACTL Properties.
Proceedings of the 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE'07):339-348. IEEE Computer Society Press. 2007.
Wenhui Zhang.
Verification of ACTL Properties by Bounded Model Checking.
Lecture Notes in Computer Science 4739 (EUROCAST’07):556-563. Springer-Verlag. 2007.
Wenhui Zhang.
SAT-Based Verification of LTL Formulas.
Lecture Notes in Computer Science 4346 (FMICS/PDMC’06):277-292. Springer-Verlag. 2007.
Fei Pu, Wenhui Zhang.
Partition Refinement in Abstract Model Checking.
Proceedings of the 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE'07):209-218. IEEE Computer Society Press. 2007.
王向云、张文辉、王鹏、李永超、蔡开元。
一种基于监控理论的软件设计方法：状态性质变换方法。
控制理论与应用24（2）：187-192.2007。
Zhilin Wu, Wenhui Zhang.
The Complexity of Dual Models Problem of Propositional Linear Temporal Logic.
Journal of Software (软件学报) 18(7):1573-1582. 2007.
Fei Pu, Wenhui Zhang.
LTL Model Checking via Search Space Partition.
Proceedings of the 6th International Conference on Quality Software (QSIC'06):418-428. IEEE Computer Society Press. 2006.
Fei Pu, Wenhui Zhang, Shaochun Wang.
An Improved Case-Based Approach to LTL Model Checking.
Lecture Notes in Computer Science 3943 (RISE’05):190-202. Springer-Verlag. 2006.
易锦，张文辉.
基于迁移的扩展Buchi自动机到Buchi自动机的有效转换.
软件学报17(4)720-728. 2006.
张文辉.
模态逻辑与模型检测.
中国计算机学会通讯 1(2):22-26. 2005.
Bai Su, Wenhui Zhang.
Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity.
Lecture Notes in Computer Science 3299 (ATVA’04):34-48. Springer-Verlag. 2004.
Wenhui Zhang.
Combining static analysis and case-based search space partitioning for reducing peak memory in model checking.
Journal of Computer Science and Technology 18(6):762-770, 2003.
Wenhui Zhang, Zhuo Huang and Jian Zhang.
Parallel execution of stochastic search procedures on reduced SAT instances.
Lecture Notes in Computer Science 2417 (PRICAI’02):108-117. Springer-Verlag. 2002.
Einar B. Johnsen, Wenhui Zhang, Olaf Owe and Demissie B. Aredo.
Combining graphical and formal development of open distributed systems.
Lecture Notes in Computer Science 2335 (ICFEM’02):319-338. Springer-Verlag. 2002.
Weiwen Xu, Wenhui Zhang and Xinda Lu.
Formal analysis and verification of distributed grid directory service.
Proceedings of the 5th International Conference on Algorithms and Architecture for Parallel Processing (ICA3PP'02 Vol II):505-509. IEEE Computer Society Press. 2002.
Wenhui Zhang.
A strategy for improving the efficiency of procedure verification.
Lecture Notes in Computer Science 2434 (SAFECOMP’02):113-126. Springer-Verlag. 2002.
林惠民，张文辉。
模型检测：理论、方法与应用.
电子学报 30(12A):1907-1912. 2002.
Einar B. Johnsen, Wenhui Zhang, Olaf Owe and Demissie B. Aredo.
Specification of Distributed Systems with a Combination of Graphical and Formal Languages.
Proceedings of the 8th Asia-Pacific Software Engineering Conference(APSEC’01):105-108. IEEE Computer Society Press. 2001.
Wenhui Zhang.
Applying SDL specifications and tools to the verification of procedures.
Lecture Notes in Computer Science 2078 (SDL 2001: Meeting UML):421-437. Springer-Verlag. 2001.
Wenhui Zhang, Einar B. Johnsen, Olaf Owe and Demissie B. Aredo.
Integrating UML and OUN for Specification of Open Distributed Systems.
Proceedings of the 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01):122-123. IEEE Computer Society Press. 2001.
Wenhui Zhang.
Validation of control system specifications with abstract plant models.
Lecture Notes in Computer Science 1943 (SAFECOMP’00):53-62. Springer-Verlag. 2000.
Wenhui Zhang.
Principles of Applying Model Checking to Verification of Operator Procedures.
Proceedings of the Norwegian Computer Science Conference (NIK'99):339-350. Tapir Forlag, 1999.
Wenhui Zhang.
Model checking operator procedures.
Lecture Notes in Computer Science 1680 (SPIN’99):200-215. Springer-Verlag. 1999.
Wenhui Zhang.
Analysis trees as a mechanical proof method.
Chinese Journal of Advanced Software Research 4(2):171-179, 1997.
Wenhui Zhang.
Number of models and satisfiability of sets of clauses.
Theoretical Computer Science 155(1):277-288, 1996.
Wenhui Zhang.
Verification of XYZ/SE programs.
Chinese Journal of Advanced Software Research 2(4):364-373, 1995.
张文辉.
XYZ/SE程序的验证。
软件学报6(12)719-727. 1995. (内容同上英文论文)。
Wenhui Zhang.
Depth of proofs, depth of cut-formulas and complexity of cut formulas.
Theoretical Computer Science 129(1):193-206, 1994.
Wenhui Zhang.
Cut formulas in propositional logic.
Theoretical Computer Science 120(1):157-168, 1993.
Renwei Li, Pei He and Wenhui Zhang.
An introduction to INCAPS system.
Journal of Computer Science and Technology 8(1):26-37, 1993.
Pei He, Renwei Li, Wenhui Zhang.
Theory and Practice for XYZ/VERI System.
IFIP Transactions A-19 (Automated Reasoning):239-248, North-Holland, 1992.
Wenhui Zhang.
Cut elimination and automatic proof procedures.
Theoretical Computer Science 91(2):265-284, 1991.