C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tao Sun
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 8
Top Topics
Modeling Method
Model Checking
Epistemic Logic
Business Processes
Top Venues
ICA3PP (2)
ISPA/BDCloud/SocialCom/SustainCom
ISPA/IUCC/BDCloud/SocialCom/SustainCom
IET Softw.
</>
Publications
</>
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) (2023)
Tao Sun
,
Kangshuai Zuo
,
Wenjie Zhong
An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking.
ISPA/BDCloud/SocialCom/SustainCom
(2022)
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)
Tao Sun
,
Jing Yang
,
Wenjie Zhong
CPN Model Checking Method of Concurrent Software Based on State Space Pruning.
TrustCom
(2020)
Tao Sun
,
Jing Zhang
,
Wenjie Zhong
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection.
ICA3PP (2)
(2019)
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)
Tao Sun
,
Wenjie Zhong
A Data Related Behaviors Automatic Detection Method for Parallel Software Testing.
ISPA/IUCC/BDCloud/SocialCom/SustainCom
(2018)
Tao Sun
,
Linjing Zhang
,
Huiping Ma
An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors.
SpaCCS Workshops
(2017)
Tao Sun
,
Xinming Ye
A Model Reduction Method for Parallel Software Testing.
J. Appl. Math.
2013 (2013)
Tao Sun
,
Xinming Ye
,
Hongji Yang
,
Jing Liu
Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach.
COMPSAC Workshops
(2012)
Tao Sun
,
Xinming Ye
,
Jing Liu
A Test Generation Method Based on Model Reduction for Parallel Software.
PDCAT
(2012)
Tao Sun
,
Xinming Ye
,
Jing Liu
A Test Sequence Selection Method for Parallel Software Systems.
PAAP
(2011)