default search action

combined dblp search
author search
venue search
publication search

ask others

Tao Sun 0002

> Home > Persons

Person information

affiliation: Inner Mongolia University, College of Computer Science, Hohhot, China

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhongZSSL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhongZSSL24
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): 2112-2125 (2024)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cscwd/Wang0ZWZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscwd/Wang0ZWZ24
Jiaqi Wang, Tao Sun, Wenjie Zhong, Ziyu Wang, Yefan Zhang:
Research on Java Automatic Simplified Modeling Based on Source Code Dependency Analysis. CSCWD 2024: 2122-2127
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/Li0Z24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/Li0Z24
Jing Li, Tao Sun, Wenjie Zhong:
ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space. TrustCom 2024: 1825-1831
2023
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iet-sen/ZhongZS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-sen/ZhongZS23
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): 55-75 (2023)
2022
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/SunZZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/SunZZ22
Tao Sun, Kangshuai Zuo, Wenjie Zhong:
An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. ISPA/BDCloud/SocialCom/SustainCom 2022: 715-721
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/SunQZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/SunQZ22
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: 830-837
2020
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/SunYZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/SunYZ20
Tao Sun, Jing Yang, Wenjie Zhong:
CPN Model Checking Method of Concurrent Software Based on State Space Pruning. TrustCom 2020: 1390-1394

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ica3pp/SunWZGZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ica3pp/SunWZGZ19
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: 59-67
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ica3pp/SunZZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ica3pp/SunZZ19
Tao Sun, Jing Zhang, Wenjie Zhong:
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection. ICA3PP (2) 2019: 615-623
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/SunZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/SunZ18
Tao Sun, Wenjie Zhong:
A Data Related Behaviors Automatic Detection Method for Parallel Software Testing. ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018: 302-307
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/spaccs/SunZM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaccs/SunZM17
Tao Sun, Linjing Zhang, Huiping Ma:
An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. SpaCCS Workshops 2017: 271-285
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jam/SunY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/SunY13
Tao Sun, Xinming Ye:
A Model Reduction Method for Parallel Software Testing. J. Appl. Math. 2013: 595897:1-595897:13 (2013)
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SunYYL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SunYYL12
Tao Sun, Xinming Ye, Hongji Yang, Jing Liu:
Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. COMPSAC Workshops 2012: 316-321
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pdcat/SunYL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdcat/SunYL12
Tao Sun, Xinming Ye, Jing Liu:
A Test Generation Method Based on Model Reduction for Parallel Software. PDCAT 2012: 777-782
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/paap/SunYL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paap/SunYL11
Tao Sun, Xinming Ye, Jing Liu:
A Test Sequence Selection Method for Parallel Software Systems. PAAP 2011: 163-167

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.