Security Verification of 802.11i 4-Way Handshake Protocol. - Jing Liu 003; Xinming Ye; Jun Zhang 001; Jun Li 002 (ICC, 2008)

Efficient hierarchical content distribution using P2P technology. - Hai Jiang 004; Jun Li 002; Zhongcheng Li; Jing Liu 003 (ICON, 2008)

Analyzing Performance for Complex Protocol using Validated CP-nets Models. - Jing Liu 003; Xinming Ye; Jun Li 002 (CIT, 2010)

Integrating functional verification and performance analysis for network protocols using CP-nets. - Jing Liu 003; Xinming Ye; Jun Zhang 001; Jun Li 002; Yi Sun 004 (ISCC, 2010)

A k-coordinated decentralized replica placement algorithm for the ring-based CDN-P2P architecture. - Zhan Wang; Hai Jiang 004; Yi Sun 004; Jun Li 002; Jing Liu 003; Eryk Dutkiewicz (ISCC, 2010)

CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol. - Jing Liu 003; Xinming Ye; Jun Li 002 (SNPD, 2010)

LHCDS: A Novel Deployment Strategy of Proxy Caches for P2P Traffic in ISP Networks. - Haibin Zhai; Hai Jiang 004; Yi Sun 004; Jun Li 002; Jing Liu 003; Gengfa Fang; Eryk Dutkiewicz (CIT, 2011)

How P2P live streaming systems scale quickly under a flash crowd? - Haibo Wu 001; Hai Jiang 004; Jing Liu 003; Yi Sun 004; Jun Li 002; Zhongcheng Li (IPCCC, 2011)

Colored Petri nets model based conformance test generation. - Jing Liu 003; Xinming Ye; Jun Li 002 (ISCC, 2011)

A Test Sequence Selection Method for Parallel Software Systems. - Tao Sun 002; Xinming Ye; Jing Liu 003 (PAAP, 2011)

Scalable CP-nets modeling for BitTorrent protocol. - Jing Liu 003; Haibo Wu 001; Xinming Ye; Jun Li 002 (SAC, 2011)

Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. - Tao Sun 002; Xinming Ye; Hongji Yang; Jing Liu 003 (COMPSAC Workshops, 2012)

Translation Rules and a Supporting Tool for Model-Based Reuse. - Junfeng Zhao 005; Jiantao Zhou 002; Jing Liu 003 (COMPSAC Workshops, 2012)

Make systematic conformance testing for BitTorrent protocol feasible: A CP-nets model based testing approach. - Jing Liu 003; Haibo Wu 001 (IPCCC, 2012)

Bandwidth-aware peer selection for P2P live streaming systems under flash crowds. - Haibo Wu 001; Jing Liu 003; Hai Jiang 004; Yi Sun 004; Jun Li 002; Zhongcheng Li (IPCCC, 2012)

A Test Generation Method Based on Model Reduction for Parallel Software. - Tao Sun 002; Xinming Ye; Jing Liu 003 (PDCAT, 2012)

A Latent Implementation Error Detection Method for Software Validation. - Jiantao Zhou 002; Jing Liu 003; Jinzhao Wu; Guodong Zhong (J. Appl. Math., 2013)

Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets. - Jing Liu 003; Xinming Ye; Jiantao Zhou 002 (J. Appl. Math., 2014)

Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka. - Jiantao Zhou 002; Chaoxin Sun; Weina Fu; Jing Liu 003; Jia Lei; Hongyan Tan (J. Appl. Math., 2014)

Software Rejuvenation Based Fault Tolerance Scheme for Cloud Applications. - Jing Liu 003; Jiantao Zhou 002; Rajkumar Buyya (CLOUD, 2015)

A QoS Evolutionary Method of Cloud Service Based on User Utility Model. - Yan Wang 037; Jiantao Zhou 002; Jing Liu 003; Tenghe Au; Xiaoyu Song (SCC, 2016)

Limited space oriented optimized storage protocol in autonomous mobile cloud. - Bo Cui; Ru Li 004; Jing Liu 003; Yujun Zhang 001; Zhongcheng Li (SAC, 2016)

Providing Proactive Fault Tolerance as a Service for Cloud Applications. - Jing Liu 003; Junfeng Zhao (SERVICES, 2016)

Research on QoS Optimization Method of Cloud Service Based on Utility Game between Users and Service Providers in the Cloud Market. - Yan Wang 037; Jiantao Zhou 002; Jing Liu 003; Gang Xu; Xiaoyu Song (SCC, 2017)

FEMCRA: Fine-Grained Elasticity Measurement for Cloud Resources Allocation. - Jing Liu 003; Jing Qiao; Junfeng Zhao 005 (IEEE CLOUD, 2018)

CPN Model Based Standard Feature Verification Method for REST Service Architecture. - Jing Liu 003; Zhen-Tian Liu; Yu-Qiang Zhao (CollaborateCom, 2018)

Research on Intelligent Taxi Recommendation Service Based on Real-time Traffic. - Yan Wang 037; Pei-Xiang Bai; Jiantao Zhou 002; Jing Liu 003; Shibin Liang (CSCWD, 2018)

Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models. - Zhen-Tian Liu; Jing Liu 003 (COMPSAC (2), 2019)

CSSAP: Software Aging Prediction for Cloud Services Based on ARIMA-LSTM Hybrid Model. - Jing Liu 003; Xueyong Tan; Yan Wang 037 (ICWS, 2019)

A Survey on Security Verification of Blockchain Smart Contracts. - Jing Liu 003; Zhen-Tian Liu (IEEE Access, 2019)

Integrating Artificial Bee Colony Algorithm and BP Neural Network for Software Aging Prediction in IoT Environment. - Jing Liu 003; Lingze Meng (IEEE Access, 2019)

HARRD: Real-time Software Rejuvenation Decision Based on Hierarchical Analysis under Weibull Distribution. - Sihang Wang; Jing Liu 003 (QRS, 2020)

Smart Contract-Based Trusted Content Retrieval Mechanism for NDN. - Tingting Song; Bo Cui; Ru Li 004; Jing Liu 003; Jinshan Shi (IEEE Access, 2020)

Second-Order Mutation Testing Cost Reduction Based on Mutant Clustering using SOM Neural Network Model. - Jing Liu 003; Li Song (COMPSAC, 2021)

Potential User Prediction for Financial APP Based on Random Forest Model. - Yang Gao; Jing Liu 003 (CSCWD, 2021)

Latent Clues Investigation in Discipline Inspection and Supervision Based on Knowledge Graph Analysis. - Yang Gao; Jing Liu 003 (CSCWD, 2021)

Blockchain based Secure Data Sharing Model. - Shi Wang; Jing Liu 003 (CSCWD, 2021)

ACLM: Software Aging Prediction of Virtual Machine Monitor Based on Attention Mechanism of CNN-LSTM Model. - Xueyong Tan; Jing Liu 003 (QRS, 2021)

McTAR: A Multi-Trigger Checkpointing Tactic for Fast Task Recovery in MapReduce. - Jing Liu 003; Peng Wang 035; Jiantao Zhou 002; Keqin Li 001 (IEEE Trans. Serv. Comput., 2021)

PPDS: Privacy Preserving Data Sharing for AI applications Based on Smart Contracts. - Xuesong Hai; Jing Liu 003 (COMPSAC, 2022)

Log Anomaly Detection Method based on Hybrid Transformer-BiLSTM Models. - Xuedong Ou; Jing Liu 003 (QRS Companion, 2022)

EWDLL: Software Aging State Identification based on LightGBM-LR Hybrid Model. - Xueyong Tan; Jing Liu 003 (QRS, 2022)

LogKT: Hybrid Log Anomaly Detection Method for Cloud Data Center. - Xuedong Ou; Jing Liu 003 (COMPSAC, 2023)

LpAdvGAN: Noise Optimization Based Adversarial Network Generation Adversarial Example. - Delong Yang; Jing Liu 003 (IJCNN, 2023)

EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning. - Feng Liang; Jing Liu 003 (SETTA, 2024)

TDLearning: Trusted Distributed Collaborative Learning Based on Blockchain Smart Contracts. - Jing Liu 003; Xuesong Hai; Keqin Li 001 (Future Internet, 2024)

MBB-MOGWO: Modified Boltzmann-Based Multi-Objective Grey Wolf Optimizer. - Jing Liu 003; Zhentian Liu; Yang Wu; Keqin Li 001 (Sensors, 2024)

DIPA: Adversarial Attack on DNNs by Dropping Information and Pixel-Level Attack on Attention. - Jing Liu 003; Huailin Liu; Pengju Wang; Yang Wu; Keqin Li 001 (Inf., 2024)

Investigating the Factual Knowledge Boundary of Large Language Models with Retrieval Augmentation. - Ruiyang Ren; Yuhao Wang 007; Yingqi Qu; Wayne Xin Zhao; Jing Liu 003; Hua Wu 003; Ji-Rong Wen; Haifeng Wang 001 (COLING, 2025)

DiGradPatch: Black-Box Patch Attacks via Diffusion-Based Double Gradient and Sensitive Distribution Guidance. - Yang Wu; Jing Liu 003 (ICASSP, 2025)

SMG-Diff: Adversarial Attack Method Based on Semantic Mask-Guided Diffusion. - Yongliang Zhang; Jing Liu 003 (MMM (4), 2025)