Xiao Liu

Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation

Mingsong Chen, Jifeng He, Xin Fu, 2020, IEEE Transactions on Cloud Computing.

An Effective Energy Testing Framework for Cloud Workflow Activities

Zhou Zhao, Juan Li, Xiao Liu, 2015 .

Temporal Verification for Scientific Cloud Workflows: State-of-the-Art and Research Challenges

Futian Wang, Zhou Zhao, Xiao Liu, 2014 .

Temporal Verification for Business Cloud Workflows: Open Research Issues

Xiao Liu, Futian Wang, Zhou Zhao, 2014, 2014 10th International Conference on Semantics, Knowledge and Grids.

Energy Consumption Prediction Based on Time-Series Models for CPU-Intensive Activities in the Cloud

Xiao Liu, Jin Liu, Juan Li, 2015, ICA3PP.

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking

Xiao Liu, Mingsong Chen, Xiaohong Chen, 2014, 2014 IEEE Fourth International Conference on Big Data and Cloud Computing.