Tan Wenkai, Li Xuandong, Zheng Guoliang. A Tool for Analyzing UML Sequence Diagrams with Timing Constraints.
In Journal of Software,
Vol.12, No.10, Science Press, 2001, pp.1423-1433. download
International Conference & Workshop
Li Xuandong, Cui Meng, Pei Yu, Zhao Jianhua, Zheng Guoliang. Timing Analysis of UML Activity Diagrams.
In UML2001 - The Unified Modeling Language,
Lecture Notes in Computer Science 2185, Springer, 2001, pp.62-75. download
Li Xuandong, Pei Yu, Zhao Jianhua, Li Yong, Zheng Tao, Zheng Guoliang. Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
In Correct Hardware Design and Verification Methods,
Lecture Notes in Computer Science 2144, Springer, 2001, pp.465-479. download
