Jiansheng Xing

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD (2010)
Nasro Min-Allah, Ishtiaq Ali, Jiansheng Xing, Yongji Wang
Utilization bound for periodic task set with composite deadline. Comput. Electr. Eng. 36 (6) (2010)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) (2010)
Nasro Min-Allah, Yongji Wang, Jiansheng Xing, Junxiang Liu
Revisiting Fixed Priority Techniques. EUC (2007)