| 2026 | COMPSAC | Coarse-Fine-Grained Automatic Modeling Method for Rust Features Based on HCPN. | Lei Shi, Tao Sun, Wenjie Zhong |
| 2026 | SIGCOMM | An Automatic HCPN Modeling Method for Microservice-Orchestrated Network Operation Workflows. | Guoshuai Li, Tao Sun, Wenjie Zhong |
| 2025 | CSCWD | Research on CPN Automatic Modeling Method of STM32 Program. | Boyu Zhang, Tao Sun, Wenjie Zhong |
| 2025 | Interspeech | A Simple-Yet-Effective Data Augmentation Method for Speaker Identification in Novels. | Wenjie Zhong, Jason Naradowsky, Yusuke Miyao |
| 2024 | COLING | Who Said What: Formalization and Benchmarks for the Task of Quote Attribution. | Wenjie Zhong, Jason Naradowsky, Hiroya Takamura, Ichiro Kobayashi, Yusuke Miyao |
| 2024 | CSCWD | Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis. | Jiaqi Wang, Tao Sun, Wenjie Zhong, Ziyu Wang, Yefan Zhang |
| 2024 | CSCWD | Simplification Method of CPN Model Based on Data Abstraction. | Ziyu Wang, Tao Sun, Wenjie Zhong, Yefan Zhang, Jiaqi Wang |
| 2024 | CSCWD | A TCPN Automatically Modeling Method for Java Parallel Programs Oriented to Performance Analysis. | Yefan Zhang, Tao Sun, Wenjie Zhong, Jiaqi Wang, Ziyu Wang |
| 2024 | TrustCom | ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space. | Jing Li, Tao Sun, Wenjie Zhong |
| 2023 | EACL | Fiction-Writing Mode: An Effective Control for Human-Machine Collaborative Writing. | Wenjie Zhong, Jason Naradowsky, Hiroya Takamura, Ichiro Kobayashi, Yusuke Miyao |
| 2022 | ISPA | An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking. | Tao Sun, Xiaoyu Qi, Wenjie Zhong |
| 2022 | ISPA | An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. | Tao Sun, Kangshuai Zuo, Wenjie Zhong |
| 2020 | TrustCom | CPN Model Checking Method of Concurrent Software Based on State Space Pruning. | Tao Sun, Jing Yang, Wenjie Zhong |
| 2019 | ICA3PP | Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors. | Tao Sun, Xiaoyun Wan, Wenjie Zhong, Xin Guo, Ting Zhang |
| 2019 | ICA3PP | Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection. | Tao Sun, Jing Zhang, Wenjie Zhong |
| 2018 | ISPA | A Data Related Behaviors Automatic Detection Method for Parallel Software Testing. | Tao Sun, Wenjie Zhong |