Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. - Yongxiang Bao; Mingsong Chen 001; Qi Zhu 002; Tongquan Wei; Frédéric Mallet; Tingliang Zhou (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. - Mingsong Chen 001; Yongxiang Bao; Xin Fu; Geguang Pu; Tongquan Wei (IEEE Trans. Parallel Distributed Syst., 2017)