SMT-Based Timing Analysis and Verification of Real-Time Task. - Hai-Feng Xing; Jiantao Zhou 002; Xiaoyu Song; Rui-dong Qi (COMPSAC (1), 2018)

A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design. - Hai-Feng Xing; Jiantao Zhou 002; Xiaoyu Song; Rui-dong Qi (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Stepwise Path Selection Scheme Based on Multiple QoS Parameters Evaluation in SDN. - Lin Liu; Jiantao Zhou 002; Hai-Feng Xing; Xiao-Yong Guo (CollaborateCom (1), 2021)

Flow splitting scheme over link-disjoint multiple paths in software-defined networking. - Lin Liu; Jiantao Zhou 002; Hai-Feng Xing; Xiao-Yong Guo (Concurr. Comput. Pract. Exp., 2022)