Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems. - Jinghao Sun; Rongxiao Shi; Kexuan Wang; Nan Guan; Zhishan Guo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Schedulability Analysis for Timed Automata With Tasks. - Jinghao Sun; Nan Guan; Rongxiao Shi; Guozhen Tan; Wang Yi 001 (ACM Trans. Embed. Comput. Syst., 2021)