Wenjie Zhong

According to our database, Wenjie Zhong authored at least 9 papers between 2018 and 2023.

Collaborative distances:

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

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