Dongyan Ma

An Efficient Bounded Model Checking Approach for Web Service Composition

Hongwei Jiang, Jingjing Hu, Chen Liu, 2020, Mob. Networks Appl..

An Efficient Bounded Model Checking Approach for Web Service Composition

Hongwei Jiang, Jingjing Hu, Wencong Han, 2020, Journal on spesial topics in mobile networks and applications.

An Improved Prediction Model for the Network Security Situation

Changzhen Hu, Jingjing Hu, Chen Liu, 2019, SmartCom.

Network Security Situation Prediction Based on MR-SVM

Changzhen Hu, Jingjing Hu, Chen Liu, 2019, IEEE Access.