Supporting Flexible Reification of Design Patterns. - Wuwei Shen; Dae-Kyoo Kim; Jian Liu 008; Chen Zhao (APSEC, 2010)

Efficient Loop-Extended Model Checking of Data Structure Methods. - Qiuping Yi; Jian Liu 008; Wuwei Shen (FGIT-ASEA/DRBC/EL, 2011)

A study of regional cooperative emergency care system for ST-elevation myocardial infarction patients based on the internet of things. - Chen Hao; Dingcheng Xiang; Weiyi Qin; Minwei Zhou; Yan Tian; Jian Liu 008; Mingyu Wang; Ji-Jiang Yang; Qing Wang 003; Haifeng Yang; Xianjun Sun; Haixiao Gao; et al. (Healthcom, 2012)

Remote rehabilitation model based on BAN and cloud computing technology. - Mingyu Wang; Qiang Zeng 001; Weimo Zhu; Ji-Jiang Yang; Qing Wang 003; Weiyi Qin; Dingcheng Xiang; Minwei Zhou; Yan Tian; Hao Chen; Jian Liu 008; Xiaoqian Li; et al. (Healthcom, 2012)

Program structure aware fault localization. - Heng Li; Yuzhen Liu; Zhenyu Zhang 004; Jian Liu 008 (InnoSWDev@SIGSOFT FSE, 2014)

A Synergistic Analysis Method for Explaining Failed Regression Tests. - Qiuping Yi; Zijiang Yang 006; Jian Liu 008; Chen Zhao; Chao Wang 001 (ICSE (1), 2015)

Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (ICST, 2015)

Explaining Software Failures by Cascade Fault Localization. - Qiuping Yi; Zijiang Yang 006; Jian Liu 008; Chen Zhao; Chao Wang 001 (ACM Trans. Design Autom. Electr. Syst., 2015)

A deployable sampling strategy for data race detection. - Yan Cai 001; Jian Zhang 016; Lingwei Cao; Jian Liu 008 (SIGSOFT FSE, 2016)

Context-aware System Service Call-oriented Symbolic Execution of Android Framework with Application to Exploit Generation. - Lannan Luo; Qiang Zeng 001; Chen Cao 004; Kai Chen 012; Jian Liu 008; Limin Liu; Neng Gao; Min Yang 002; Xinyu Xing 001; Peng Liu 005 (CoRR, 2016)

LibD: scalable and precise third-party library detection in android markets. - Menghao Li; Wei Wang; Pei Wang 007; Shuai Wang 011; Dinghao Wu; Jian Liu 008; Rui Xue 001; Wei Huo (ICSE, 2017)

System Service Call-oriented Symbolic Execution of Android Framework with Applications to Vulnerability Discovery and Exploit Generation. - Lannan Luo; Qiang Zeng 001; Chen Cao 004; Kai Chen 012; Jian Liu 008; Limin Liu; Neng Gao; Min Yang 002; Xinyu Xing 001; Peng Liu 005 (MobiSys, 2017)

Understanding Android Obfuscation Techniques: A Large-Scale Investigation in the Wild. - Shuaike Dong; Menghao Li; Wenrui Diao; Xiangyu Liu; Jian Liu 008; Zhou Li 001; Fenghao Xu; Kai Chen 012; Xiaofeng Wang 006; Kehuan Zhang (SecureComm (1), 2018)

Eliminating Path Redundancy via Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (IEEE Trans. Software Eng., 2018)

Towards Network Anomaly Detection Using Graph Embedding. - Qingsai Xiao; Jian Liu 008; Qiuyun Wang; Zhengwei Jiang; Xuren Wang; Yepeng Yao (ICCS (4), 2020)

RouAlign: Cross-Version Function Alignment and Routine Recovery with Graphlet Edge Embedding. - Can Yang; Jian Liu 008; Mengxia Luo; Xiaorui Gong; Baoxu Liu (SEC, 2020)

Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation. - Lannan Luo; Qiang Zeng 001; Chen Cao 004; Kai Chen 012; Jian Liu 008; Limin Liu; Neng Gao; Min Yang 002; Xinyu Xing 001; Peng Liu 005 (IEEE Trans. Mob. Comput., 2020)

Large-Scale Third-Party Library Detection in Android Markets. - Menghao Li; Pei Wang 007; Wei Wang; Shuai Wang 011; Dinghao Wu; Jian Liu 008; Rui Xue 001; Wei Huo; Wei Zou (IEEE Trans. Software Eng., 2020)

Producing More with Less: A GAN-based Network Attack Detection Approach for Imbalanced Data. - Xingran Hao; Zhengwei Jiang; Qingsai Xiao; Qiuyun Wang; Yepeng Yao; Baoxu Liu; Jian Liu 008 (CSCWD, 2021)

MAAC: Novel Alert Correlation Method To Detect Multi-step Attack. - Xiaoyu Wang; Xiaorui Gong; Lei Yu 006; Jian Liu 008 (TrustCom, 2021)

A Graph Learning Approach with Audit Records for Advanced Attack Investigation. - Jian Liu 008; Junjie Yan; Zhengwei Jiang; Xuren Wang; Jun Jiang (GLOBECOM, 2022)

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. - Jian Liu 008; Lin Yi; Weiteng Chen; Chengyu Song; Zhiyun Qian; Qiuping Yi (USENIX Security Symposium, 2022)

Effectiveness Evaluation of Evasion Attack on Encrypted Malicious Traffic Detection. - Jian Liu 008; Qingsai Xiao; Zhengwei Jiang; Yepeng Yao; Qiuyun Wang (WCNC, 2022)

TriCTI: an actionable cyber threat intelligence discovery system via trigger-enhanced neural network. - Jian Liu 008; Junjie Yan; Jun Jiang; Yitong He; Xuren Wang; Zhengwei Jiang; Peian Yang; Ning Li (Cybersecur., 2022)

M3F: A novel multi-session and multi-protocol based malware traffic fingerprinting. - Jian Liu 008; Qingsai Xiao; Liling Xin; Qiuyun Wang; Yepeng Yao; Zhengwei Jiang (Comput. Networks, 2023)

CARDSHARK: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the Odds. - Tianshuo Han; Xiaorui Gong; Jian Liu 008 (USENIX Security Symposium, 2024)

Non-Uniform Exposure Imaging via Neuromorphic Shutter Control. - Mingyuan Lin; Jian Liu 008; Chi Zhang 027; Zibo Zhao; Chu He; Lei Yu 006 (IEEE Trans. Pattern Anal. Mach. Intell., 2025)