Jiansheng Xing

According to our database, Jiansheng Xing authored at least 4 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Utilization bound for periodic task set with composite deadline.

Nasro Min-Allah, Ishtiaq Ali, Jiansheng Xing, Yongji Wang

Comput. Electr. Eng., 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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2007

Revisiting Fixed Priority Techniques.

Nasro Min-Allah, Yongji Wang, Jiansheng Xing, Junxiang Liu

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007