A Data Related Behaviors Automatic Detection Method for Parallel Software Testing. - Tao Sun 002; Wenjie Zhong (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors. - Tao Sun 002; Xiaoyun Wan; Wenjie Zhong; Xin Guo; Ting Zhang (ICA3PP (2), 2019)

Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection. - Tao Sun 002; Jing Zhang; Wenjie Zhong (ICA3PP (2), 2019)

CPN Model Checking Method of Concurrent Software Based on State Space Pruning. - Tao Sun 002; Jing Yang; Wenjie Zhong (TrustCom, 2020)

An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking. - Tao Sun 002; Xiaoyu Qi; Wenjie Zhong (ISPA/BDCloud/SocialCom/SustainCom, 2022)

An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. - Tao Sun 002; Kangshuai Zuo; Wenjie Zhong (ISPA/BDCloud/SocialCom/SustainCom, 2022)

Fiction-Writing Mode: An Effective Control for Human-Machine Collaborative Writing. - Wenjie Zhong; Jason Naradowsky; Hiroya Takamura; Ichiro Kobayashi; Yusuke Miyao (EACL, 2023)

Comprehensive Solution Program Centric Pretraining for Table-and-Text Hybrid Numerical Reasoning. - Qianying Liu; Dongsheng Yang 009; Wenjie Zhong; Fei Cheng 002; Sadao Kurohashi (CoRR, 2023)

Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking. - Wenjie Zhong; Jian-Tao Zhou 002; Tao Sun 002 (IET Softw., 2023)

Who Said What: Formalization and Benchmarks for the Task of Quote Attribution. - Wenjie Zhong; Jason Naradowsky; Hiroya Takamura; Ichiro Kobayashi; Yusuke Miyao (LREC/COLING, 2024)

Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis. - Jiaqi Wang; Tao Sun 002; Wenjie Zhong; Ziyu Wang; Yefan Zhang (CSCWD, 2024)

Simplification Method of CPN Model Based on Data Abstraction. - Ziyu Wang; Tao Sun; Wenjie Zhong; Yefan Zhang; Jiaqi Wang (CSCWD, 2024)

A TCPN Automatically Modeling Method for Java Parallel Programs Oriented to Performance Analysis. - Yefan Zhang; Tao Sun; Wenjie Zhong; Jiaqi Wang; Ziyu Wang (CSCWD, 2024)

ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space. - Jing Li; Tao Sun 002; Wenjie Zhong (TrustCom, 2024)

A Discontinuity-Guided Two-Dimensional Phase Unwrapping Method for SAR Interferograms. - Wenjie Zhong; Jia Li; Xin Li 029; Juanjuan Feng; Lei Guo 026; Zhiqiang Li; Junhui Wu; Lingshuai Kong (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net. - Wenjie Zhong; Jiantao Zhou 002; Tao Sun 002; Xiaoyu Song; Zonghui Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Research on CPN Automatic Modeling Method of STM32 Program. - Boyu Zhang; Tao Sun; Wenjie Zhong (CSCWD, 2025)

A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model. - Wenjie Zhong; Tao Sun 002; Jiantao Zhou 002; Zhuowei Wang 001; Xiaoyu Song (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)