Wenjie Zhong

According to our database, Wenjie Zhong authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net.

Wenjie Zhong, Jiantao Zhou, Tao Sun, Xiaoyu Song, Zonghui Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., July, 2024

A Discontinuity-Guided Two-Dimensional Phase Unwrapping Method for SAR Interferograms.

Wenjie Zhong, Jia Li, Xin Li, Juanjuan Feng, Lei Guo, Zhiqiang Li, Junhui Wu, Lingshuai Kong

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024

A TCPN Automatically Modeling Method for Java Parallel Programs Oriented to Performance Analysis.

Yefan Zhang, Tao Sun, Wenjie Zhong, Jiaqi Wang, Ziyu Wang

Proceedings of the 27th International Conference on Computer Supported Cooperative Work in Design, 2024

Simplification Method of CPN Model Based on Data Abstraction.

Ziyu Wang, Tao Sun, Wenjie Zhong, Yefan Zhang, Jiaqi Wang

Proceedings of the 27th International Conference on Computer Supported Cooperative Work in Design, 2024

Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis.

Jiaqi Wang, Tao Sun, Wenjie Zhong, Ziyu Wang, Yefan Zhang

Proceedings of the 27th International Conference on Computer Supported Cooperative Work in Design, 2024

Who Said What: Formalization and Benchmarks for the Task of Quote Attribution.

Wenjie Zhong, Jason Naradowsky, Hiroya Takamura, Ichiro Kobayashi, Yusuke Miyao

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2023

Concurrent software fine-coarse-grained automatic modelling by Coloured Petri Nets for model checking.

Wenjie Zhong, Jian-Tao Zhou, Tao Sun

IET Softw., February, 2023

Comprehensive Solution Program Centric Pretraining for Table-and-Text Hybrid Numerical Reasoning.

Qianying Liu, Dongsheng Yang, Wenjie Zhong, Fei Cheng, Sadao Kurohashi

CoRR, 2023

Fiction-Writing Mode: An Effective Control for Human-Machine Collaborative Writing.

Wenjie Zhong, Jason Naradowsky, Hiroya Takamura, Ichiro Kobayashi, Yusuke Miyao

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

2022

An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking.

Tao Sun, Kangshuai Zuo, Wenjie Zhong

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking.

Tao Sun, Xiaoyu Qi, Wenjie Zhong

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

2020

CPN Model Checking Method of Concurrent Software Based on State Space Pruning.

Tao Sun, Jing Yang, Wenjie Zhong

Proceedings of the 19th IEEE International Conference on Trust, 2020

2019

Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection.

Tao Sun, Jing Zhang, Wenjie Zhong

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors.

Tao Sun, Xiaoyun Wan, Wenjie Zhong, Xin Guo, Ting Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

2018

A Data Related Behaviors Automatic Detection Method for Parallel Software Testing.

Tao Sun, Wenjie Zhong

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018