Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer. - Xinyu Cong; Huiqun Yu; Xin Xu 003 (IMIS, 2013)

A QoS-Constrained Resource Allocation Game in Federated Cloud. - Xin Xu 003; Huiqun Yu; Xinyu Cong (IMIS, 2013)

A Novel Resource Scheduling Approach in Container Based Clouds. - Xin Xu 003; Huiqun Yu; Xin Pei (CSE, 2014)