Ting Wang

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 6

Top Topics

Top Venues

IEEE Trans. Software Eng.

IEEE Trans. Mob. Comput.

Sci. China Inf. Sci.

Publications

Jie Ying, Tiantian Zhu, Qiang Liu, Chunlin Xiong, Zhengqiu Weng, Tieming Chen, Lei Fu, Mingqi Lv, Han Wu, Ting Wang, Yan Chen
TrapCog: An Anti-Noise, Transferable, and Privacy-Preserving Real-Time Mobile User Authentication System With High Accuracy. IEEE Trans. Mob. Comput. 23 (4) (2024)
Tiantian Zhu, Jinkai Yu, Chunlin Xiong, Wenrui Cheng, Qixuan Yuan, Jie Ying, Tieming Chen, Jiabo Zhang, Mingqi Lv, Yan Chen, Ting Wang, Yuan Fan
APTSHIELD: A Stable, Efficient and Real-Time APT Detection System for Linux Hosts. IEEE Trans. Dependable Secur. Comput. 20 (6) (2023)
Ting Wang, Tieming Chen, Yang Liu, Ye Wang
Anti-chain based algorithms for timed/probabilistic refinement checking. Sci. China Inf. Sci. 61 (5) (2018)
Ting Wang, Qi Su, Tieming Chen
Formal Analysis of Security Properties of Cyber-Physical System Based on Timed Automata. DSC (2017)
Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin
Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. 43 (11) (2017)
Ye Wang, Bo Jiang, Ting Wang
Using Workflow Patterns to Model and Validate Service Requirements. RE Workshops (2016)
Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41 (1) (2015)
Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS (2014)
Yuanjie Si, Jun Sun, Yang Liu, Ting Wang
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM (2013)
Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li
More Anti-chain Based Refinement Checking. ICFEM (2012)
Ting Wang, Yuanjie Si, Xiao Xuan, Xinyu Wang, Xiaohu Yang, Shanping Li, Aleksander J. Kavs
A QoS ontology cooperated with feature models for non-functional requirements elicitation. Internetware (2010)