Wenjie Zhong

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Modeling Method

Business Processes

Top Venues

ISPA/BDCloud/SocialCom/SustainCom

Publications

Jiaqi Wang, Tao Sun, Wenjie Zhong, Ziyu Wang, Yefan Zhang
Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis. CSCWD (2024)
Wenjie Zhong, Jia Li, Xin Li, Juanjuan Feng, Lei Guo, Zhiqiang Li, Junhui Wu, Lingshuai Kong
A Discontinuity-Guided Two-Dimensional Phase Unwrapping Method for SAR Interferograms. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17 (2024)
Yefan Zhang, Tao Sun, Wenjie Zhong, Jiaqi Wang, Ziyu Wang
A TCPN Automatically Modeling Method for Java Parallel Programs Oriented to Performance Analysis. CSCWD (2024)
Wenjie Zhong, Jason Naradowsky, Hiroya Takamura, Ichiro Kobayashi, Yusuke Miyao
Who Said What: Formalization and Benchmarks for the Task of Quote Attribution. LREC/COLING (2024)
Wenjie Zhong, Jiantao Zhou, Tao Sun, Xiaoyu Song, Zonghui Li
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (7) (2024)
Ziyu Wang, Tao Sun, Wenjie Zhong, Yefan Zhang, Jiaqi Wang
Simplification Method of CPN Model Based on Data Abstraction. CSCWD (2024)
Wenjie Zhong, Jason Naradowsky, Hiroya Takamura, Ichiro Kobayashi, Yusuke Miyao
Fiction-Writing Mode: An Effective Control for Human-Machine Collaborative Writing. EACL (2023)
Wenjie Zhong, Jian-Tao Zhou, Tao Sun
Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking. IET Softw. 17 (1) (2023)
Qianying Liu, Dongsheng Yang, Wenjie Zhong, Fei Cheng, Sadao Kurohashi
Comprehensive Solution Program Centric Pretraining for Table-and-Text Hybrid Numerical Reasoning. CoRR (2023)
Tao Sun, Kangshuai Zuo, Wenjie Zhong
An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. ISPA/BDCloud/SocialCom/SustainCom (2022)
Tao Sun, Xiaoyu Qi, Wenjie Zhong
An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking. ISPA/BDCloud/SocialCom/SustainCom (2022)
Tao Sun, Jing Yang, Wenjie Zhong
CPN Model Checking Method of Concurrent Software Based on State Space Pruning. TrustCom (2020)
Tao Sun, Jing Zhang, Wenjie Zhong
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection. ICA3PP (2) (2019)
Tao Sun, Xiaoyun Wan, Wenjie Zhong, Xin Guo, Ting Zhang
Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors. ICA3PP (2) (2019)
Tao Sun, Wenjie Zhong
A Data Related Behaviors Automatic Detection Method for Parallel Software Testing. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)