Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning. - Mingsong Chen 001; Saijie Huang; Geguang Pu; Prabhat Mishra 001 (ISVLSI, 2013)

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking. - Saijie Huang; Mingsong Chen 001; Xiao Liu 004; Dehui Du; Xiaohong Chen 001 (BDCloud, 2014)

Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation. - Mingsong Chen 001; Saijie Huang; Xin Fu; Xiao Liu 004; Jifeng He 001 (IEEE Trans. Cloud Comput., 2020)