A Refined Algorithm for Reachability Analysis of Updatable Timed Automata. - Bingbing Fang; Guoqiang Li 001; Ling Fang; Jianwen Xiang (QRS Companion, 2015)

Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. - Bingbing Fang; Guoqiang Li 001; Daniel Sun 004; Hongming Cai 001 (SETTA, 2016)