Revisiting Fixed Priority Techniques. - Nasro Min-Allah; Yongji Wang 002; Jiansheng Xing; Junxiang Liu (EUC, 2007)

From POOSL to UPPAAL: Transformation and Quantitative Analysis. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ACSD, 2010)

UPPAAL in Practice: Quantitative Verification of a RapidIO Network. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ISoLA (2), 2010)

Utilization bound for periodic task set with composite deadline. - Nasro Min-Allah; Ishtiaq Ali; Jiansheng Xing; Yongji Wang 002 (Comput. Electr. Eng., 2010)