Tao Qin

Statistics

Publications

Citations

H-Index

Active since

2004

Affiliations

Macau University of Science and Technology(Current)

Tao Qin is an author at Macau University of Science and Technology specializing in software engineering, call graph construction, and behavioral analysis.

ORCID

Publications per year

2004–2025

Publications

Discovering use cases from source code using the branch-reserving call graph

Tao Qin, Lu Zhang, Zhou Zhiying et al. · 2004 · 26 citations

Computing, Computer Science, Programming Languages +13

Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses

Tao Qin, Li Yin, Naiqi Wu et al. · IEEE Transactions on Automation Science and Engineering · 2023 · 13 citations

Computing, Computer Engineering, Computer Science +13

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets

Tao Qin, Li Yin, Gaiyun Liu et al. · IEEE/CAA Journal of Automatica Sinica · 2025 · 12 citations

Computing, Computer Science, Computer Systems +14

1–3 of 3