Get started
Author

Tao Sun

Observed name: Sun, Tao
ORCID: 0000-0003-2609-2153
Observed ORCID: 0000-0003-2609-2153
OpenAlex ID: A5101492561
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
2024 · Wenjie Zhong, Jian-tao Zhou, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 6
Parallel Software Testing Sequence Generation Method Based on State Pruning
2018 · Tao Sun, Ting Zhang, et al. · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 6
A Test Generation Method Based on Model Reduction for Parallel Software
2012 · Tao Sun, Xinming Ye, et al. · International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) · 6
A Test Sequence Selection Method for Parallel Software Systems
2011 · Tao Sun, Xinming Ye, et al. · International Symposium on Parallel Architectures, Algorithms and Programming · 5
Testing Sequence Generation Method Based on Unrelated Behaviors Serializing
2018 · Tao Sun, Xin Guo, et al. · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) · 4
Seed-Coder: Let the Code Model Curate Data for Itself
2025 · Seed, ByteDance, Zhang, Yuyu, et al. · arXiv (Cornell University) · 3
PDF
A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model
2024 · Wenjie Zhong, Tao Sun, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 3
Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets
2010 · Tao Sun, Xinming Ye, et al. · 3
Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
2022 · Wenjie Zhong, Jian‐tao Zhou, et al. · IET Software · 2
CPN Model Checking Method of Concurrent Software Based on State Space Pruning
2020 · Tao Sun, Jing Yang, et al. · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) · 2
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection
2020 · Tao Sun, Jing Zhang, et al. · Lecture notes in computer science · 2
Research on CPN Model Reduction Focus on Parallel Tested Behaviors
2017 · Tao Sun, Wei Zhang, et al. · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 2
An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors
2017 · Tao Sun, Linjing Zhang, et al. · Lecture notes in computer science · 2
Simplification Method of CPN Model Based on Data Abstraction
2024 · Ziyu Wang, Tao Sun, et al. · International Conference on Computer Supported Cooperative Work in Design (CSCWD) · 1
An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking
2022 · Tao Sun, Xiaoyu Qi, et al. · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 1
A method of verification of software based on CPN
2018 · Tao Sun, Haifen Ren, et al. · International Conference on Computer Technology Applications (ICCTA) · 1
A Model Reduction Method for Parallel Software Testing
2013 · Tao Sun, Xinming Ye · Journal of Applied Mathematics · 1
PDF
Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach
2012 · Tao Sun, Xinming Ye, et al. · IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW) · 1
An Automatic HCPN Modeling Method for Microservice-Orchestrated Network Operation Workflows
2026 · Guoshuai Li, Tao Sun, et al. · ACM SIGCOMM Conference (SIGCOMM)
NCCDA: Neuron-wise Class-Conditional Distribution Alignment for Deep Neural Network Repair
2026 · Liming Bao, Yan Wang, et al. · ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)
Coarse-Fine-Grained Automatic Modeling Method for Rust Features Based on HCPN
2026 · Lei Shi, Tao Sun, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC)
Model Reduction of Colored Petri Nets Based on Unrelated Transitions
2025 · Zhen Gao, Tao Sun · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
Meta-Analogy Learning Based on Dynamic Graph Neural Networks for Inductive Knowledge Graph Link Prediction
2025 · Jingyu Wang, Zhijuan Du, et al. · IEEE International Conference on Acoustics Speech and Signal Processing
ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space
2024 · Jing Li, Tao Sun, et al. · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis
2024 · Jiaqi Wang, Tao Sun, et al. · International Conference on Computer Supported Cooperative Work in Design (CSCWD)
Works count: 29
Citation count: 51
H-index: 4
I10-index:
Year
Topic
Type