A QoS ontology cooperated with feature models for non-functional requirements elicitation. - Ting Wang 004; Yuanjie Si; Xiao Xuan; Xinyu Wang 001; Xiaohu Yang 001; Shanping Li; Aleksander J. Kavs (Internetware, 2010)

More Anti-chain Based Refinement Checking. - Ting Wang 004; Songzheng Song; Jun Sun 001; Yang Liu 003; Jin Song Dong; Xinyu Wang 001; Shanping Li (ICFEM, 2012)

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. - Yuanjie Si; Jun Sun 001; Yang Liu 003; Ting Wang 004 (ICFEM, 2013)

Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. - Ting Wang 004; Jun Sun 001; Yang Liu 003; Xinyu Wang 001; Shanping Li (TACAS, 2014)

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. - Ting Wang 004; Jun Sun 001; Xinyu Wang 001; Yang Liu 003; Yuanjie Si; Jin Song Dong; Xiaohu Yang 001; Xiaohong Li 001 (IEEE Trans. Software Eng., 2015)

Using Workflow Patterns to Model and Validate Service Requirements. - Ye Wang; Bo Jiang; Ting Wang 004 (RE Workshops, 2016)

Formal Analysis of Security Properties of Cyber-Physical System Based on Timed Automata. - Ting Wang 004; Qi Su; Tieming Chen (DSC, 2017)

Language Inclusion Checking of Timed Automata with Non-Zenoness. - Xinyu Wang 001; Jun Sun 001; Ting Wang 004; Shengchao Qin (IEEE Trans. Software Eng., 2017)

Anti-chain based algorithms for timed/probabilistic refinement checking. - Ting Wang 004; Tieming Chen; Yang Liu 003; Ye Wang (Sci. China Inf. Sci., 2018)

Duplicate Pull Request Detection: When Time Matters. - Qingye Wang; Bowen Xu; Xin Xia 001; Ting Wang 004; Shanping Li (Internetware, 2019)

Map matching based on Cell-ID localization for mobile phone users. - Feng Lin; Mingqi Lv; Ting Wang 004; Tieming Chen (Clust. Comput., 2019)

A Collaborative Deep and Shallow Semisupervised Learning Framework for Mobile App Classification. - Mingqi Lv; Chao Huang; Tieming Chen; Ting Wang 004 (Mob. Inf. Syst., 2020)

APTSHIELD: A Stable, Efficient and Real-time APT Detection System for Linux Hosts. - Tiantian Zhu; Jinkai Yu; Tieming Chen; Jiayu Wang; Jie Ying; Ye Tian; Mingqi Lv; Yan Chen 004; Yuan Fan; Ting Wang 004 (CoRR, 2021)

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 004; Ting Wang 004; Yuan Fan (IEEE Trans. Dependable Secur. Comput., 2023)

A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. - Guangke Chen; Yedi Zhang; Fu Song; Ting Wang 004; Xiaoning Du 001; Yang Liu 003 (CoRR, 2024)

TrapCog: An Anti-Noise, Transferable, and Privacy-Preserving Real-Time Mobile User Authentication System With High Accuracy. - Jie Ying; Tiantian Zhu; Qiang Liu 034; Chunlin Xiong; Zhengqiu Weng; Tieming Chen; Lei Fu; Mingqi Lv; Han Wu; Ting Wang 004; Yan Chen 004 (IEEE Trans. Mob. Comput., 2024)

MVD-HG: multigranularity smart contract vulnerability detection method based on heterogeneous graphs. - Jingjie Xu; Ting Wang 004; Mingqi Lv; Tieming Chen; Tiantian Zhu; Baiyang Ji (Cybersecur., 2024)

SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers. - Guangke Chen; Yedi Zhang; Fu Song; Ting Wang 004; Xiaoning Du 001; Yang Liu 003 (NDSS, 2025)