Ting Wang

According to our database, Ting Wang authored at least 12 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

TrapCog: An Anti-Noise, Transferable, and Privacy-Preserving Real-Time Mobile User Authentication System With High Accuracy.

Jie Ying, Tiantian Zhu, Qiang Liu, Chunlin Xiong, Zhengqiu Weng, Tieming Chen, Lei Fu, Mingqi Lv, Han Wu, Ting Wang, Yan Chen

IEEE Trans. Mob. Comput., April, 2024

2023

APTSHIELD: A Stable, Efficient and Real-Time APT Detection System for Linux Hosts.

Tiantian Zhu, Jinkai Yu, Chunlin Xiong, Wenrui Cheng, Qixuan Yuan, Jie Ying, Tieming Chen, Jiabo Zhang, Mingqi Lv, Yan Chen, Ting Wang, Yuan Fan

IEEE Trans. Dependable Secur. Comput., 2023

2019

Duplicate Pull Request Detection: When Time Matters.

Qingye Wang, Bowen Xu, Xin Xia, Ting Wang, Shanping Li

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

2018

Anti-chain based algorithms for timed/probabilistic refinement checking.

Ting Wang, Tieming Chen, Yang Liu, Ye Wang

Sci. China Inf. Sci., 2018

2017

Language Inclusion Checking of Timed Automata with Non-Zenoness.

Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin

IEEE Trans. Software Eng., 2017

Formal Analysis of Security Properties of Cyber-Physical System Based on Timed Automata.

Ting Wang, Qi Su, Tieming Chen

Proceedings of the Second IEEE International Conference on Data Science in Cyberspace, 2017

2016

Using Workflow Patterns to Model and Validate Service Requirements.

Ye Wang, Bo Jiang, Ting Wang

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2015

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.

Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li

IEEE Trans. Software Eng., 2015

2014

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.

Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.

Yuanjie Si, Jun Sun, Yang Liu, Ting Wang

Proceedings of the Formal Methods and Software Engineering, 2013

2012

More Anti-chain Based Refinement Checking.

Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li

Proceedings of the Formal Methods and Software Engineering, 2012

2010

A QoS ontology cooperated with feature models for non-functional requirements elicitation.

Ting Wang, Yuanjie Si, Xiao Xuan, Xinyu Wang, Xiaohu Yang, Shanping Li, Aleksander J. Kavs

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010