Ting Wang

18 papers A* 1A 1C 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers.
NDSS
Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
2024 J jnl
A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion.
CoRR
Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
2024 J jnl
MVD-HG: multigranularity smart contract vulnerability detection method based on heterogeneous graphs.
Cybersecur.
Jingjie Xu, Ting Wang, Mingqi Lv, Tieming Chen, Tiantian Zhu, Baiyang Ji
2024 J jnl
TrapCog: An Anti-Noise, Transferable, and Privacy-Preserving Real-Time Mobile User Authentication System With High Accuracy.
IEEE Trans. Mob. Comput.
Jie Ying, Tiantian Zhu, Qiang Liu, Chunlin Xiong, Zhengqiu Weng, Tieming Chen, Lei Fu, Mingqi Lv, Han Wu, Ting Wang, Yan Chen
2023 J jnl
APTSHIELD: A Stable, Efficient and Real-Time APT Detection System for Linux Hosts.
IEEE Trans. Dependable Secur. Comput.
Tiantian Zhu, Jinkai Yu, Chunlin Xiong, Wenrui Cheng, Qixuan Yuan, Jie Ying, Tieming Chen, Jiabo Zhang, Mingqi Lv, Yan Chen, Ting Wang, Yuan Fan
2021 J jnl
APTSHIELD: A Stable, Efficient and Real-time APT Detection System for Linux Hosts.
CoRR
Tiantian Zhu, Jinkai Yu, Tieming Chen, Jiayu Wang, Jie Ying, Ye Tian, Mingqi Lv, Yan Chen, Yuan Fan, Ting Wang
2020 J jnl
A Collaborative Deep and Shallow Semisupervised Learning Framework for Mobile App Classification.
Mob. Inf. Syst.
Mingqi Lv, Chao Huang, Tieming Chen, Ting Wang
2019 — conf
Duplicate Pull Request Detection: When Time Matters.
Internetware
Qingye Wang, Bowen Xu, Xin Xia, Ting Wang, Shanping Li
2019 J jnl
Map matching based on Cell-ID localization for mobile phone users.
Clust. Comput.
Feng Lin, Mingqi Lv, Ting Wang, Tieming Chen
2018 J jnl
Anti-chain based algorithms for timed/probabilistic refinement checking.
Sci. China Inf. Sci.
Ting Wang, Tieming Chen, Yang Liu, Ye Wang
2017 — conf
Formal Analysis of Security Properties of Cyber-Physical System Based on Timed Automata.
DSC
Ting Wang, Qi Su, Tieming Chen
2017 J jnl
Language Inclusion Checking of Timed Automata with Non-Zenoness.
IEEE Trans. Software Eng.
Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin
2016 — conf
Using Workflow Patterns to Model and Validate Service Requirements.
RE Workshops
Ye Wang, Bo Jiang, Ting Wang
2015 J jnl
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.
IEEE Trans. Software Eng.
Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
2014 A conf
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.
TACAS
Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li
2013 C conf
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.
ICFEM
Yuanjie Si, Jun Sun, Yang Liu, Ting Wang
2012 C conf
More Anti-chain Based Refinement Checking.
ICFEM
Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li
2010 — conf
A QoS ontology cooperated with feature models for non-functional requirements elicitation.
Internetware
Ting Wang, Yuanjie Si, Xiao Xuan, Xinyu Wang, Xiaohu Yang, Shanping Li, Aleksander J. Kavs