Ailun Liu

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 6

Top Topics

Web Service Composition

Rating Prediction

Top Venues

J. Syst. Softw.

Publications

Ailun Liu
About Bullying. UV (2022)
Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang
Formal analysis and verification of the PSTM architecture using CSP. J. Syst. Softw. 165 (2020)
Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu
A Proof System for mCWQ. COMPSAC (1) (2017)
Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie
Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. COMPSAC (1) (2017)
Ailun Liu, Miroslav Popovic, Huibiao Zhu
Formalization and Verification of the PSTM Architecture. APSEC (2017)
Kai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu
Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction. COMPSAC (2) (2017)
Ailun Liu, Xiaoyan Yuan, Jinshou Yu
Research and Application of a Hierarchical Fault Diagnosis System Based on Support Vector Machine. ICNC (2) (2007)