Yong Li

Publication Activity (10 Years)

Years Active: 1998-2004
Publications (10 Years): 0

Publications

Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng
Duration-constrained regular expressions. Formal Aspects Comput. 16 (2) (2004)
Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng
Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. (2002)
Yong Li, Dang Van Hung
Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17 (6) (2002)
Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME (2001)
Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng
COOZ: a complete object-oriented extension to Z. ACM SIGSOFT Softw. Eng. Notes 23 (4) (1998)
Xiaodong Yuan, Deqiang Hu, Hao Xu, Yong Li, Guoliang Zheng
Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools. TOOLS (27) (1998)