LI Guangyuan (李广元)
Associate Professor
Key Laboratory of Computer Science
Institute of Software, the Chinese Academy of Sciences
P.O.Box 8718
P.R. of
Tel: +86 10
62661628
Fax: +86 10 62661627
Email: ligy (at) ios.ac.cn
Research Interests
Temporal logic. Modeling
and analysis of real-time and hybrid systems. Formal verification and model
checking.
Model Checking Tool
CTAV/LTL: An LTL Model Checking Tool for Timed Automata
Publications
1.
Li Guangyuan, Checking
Timed Büchi Automata Emptiness Using LU-Abstractions. Proceedings of the
7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2009), LNCS 5813, pp. 228-242, Springer,
2009.
2. Yan Rongjie, Li Guangyuan, Zhang Wenliang and Peng Yunquan, Improvements for the Symbolic Verification of Timed Automata, Proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems ( FORTE 2007), Lecture Notes in Computer Science 4574, pp.196--210, Springer, 2007.
3. Yan Rongjie, Li Guangyuan, Xu Yubo, Liu Chunming and Tang Zhisong, Reachability checking of finite precision timed automata(in Chinese), Journal of Software, 17(1):1-10, 2006.
4. Li Liang, Ma Huadong and Li Guangyuan, Formal Specification and Model Checking of CSMA/CA Using Finite Precision Timed Automata, The Journal of China Universities of Posts and Telecommunications, 12(3), 33-38,2005.
5. Yan Rongjie, Li Guangyuan and Tang Zhisong, Symobolic Model Checking of Finite Precision Timed Automata, Proceedings of the Second International Colloquium on Theoretical Aspects of Computing(ICTAC’05), Lecture Notes in Computer Science 3722, pp.272--287, Springer-Verlag, 2005.
6. Li Guangyuan and Tang Zhisong, Translating a Continuous-Time Temporal Logic into Timed Automata, Proceedings of the first Asian Symposium on Programming Languages and Systems (APLAS 2003), Lecture Notes in Computer Science 2895, pp.322--338, Springer-Verlag, 2003.
7.
Li Guangyuan and Tang Zhisong, Representing and
Verifying Reactive Systems with Continuous-Time Temporal Logic (in
Chinese), Chinese Journal of Computers, Vol.26, No.11, 1424--1434,
2003.
8.
Li Guangyuan and Tang Zhisong, Modeling Real-Time
Systems with Continuous-Time Temporal Logic, Proceedings of the 4th
International Conference on Formal Engineering Methods (ICFEM 2002), Lecture
Notes in Computer Science 2495, pp.231--236, Springer-Verlag, 2002.
9.
Li Guangyuan and Tang Zhisong, A Linear Temporal
Logic with Clocks for Verification of Real-Time Systems (in Chinese). Journal of
Software, Vol.13, No.1, 33--41, 2002.
10.
Li Guangyuan and Tang Zhisong，Model Checking of
Real-Time Systems in Linear Temporal Logic with Clocks (in Chinese), Journal of
Software, Vol.13, No.2, 193--201, 2002.
11.
Li Guangyuan and Tang Zhisong, A Linear Temporal
Logic with Continuous Semantics for Hybrid Systems. Proceedings of the
International Conference on Software: Theory and Practice (ICS'2000)/ the 16th
IFIP World Computer Congress, 395--402,
12.
Li Guangyuan and Tang Zhisong, Formalization and
Verification of Pointers in the Temporal Logic Language XYZ/E Programs. Journal of Software,
Vol.11, No.3, 285--292, 2000.
13.
Li Guangyuan and Tang Zhisong. The Composability
Problem of the Semantics of XYZ/BE-Communicating Processes. Systems Science
and Mathematical Sciences, Vol.12, Suppl. 61--69, May, 1999.
14.
Li Xiang, Li Guangyuan and Song Ronggong, A Programming
Version of Blum-Shub-Smale Machine and R.E. Sets of Real Number. Chinese Journal
of Advanced Software Research,
Vol.5, No 2, 133--139, 1998.
15.
Li Guangyuan and Li Xiang. Nonmonotonic
Belief Logic NBL and Semantics of Logic Programs. Chinese Journal of
Advanced Software Research, Vol.4, No 3, 239--246, 1997.
16.
Li Guangyuan, Fu Jizhong, Li Xiang and Long Sigong. A Local
Search Algorithm with Heuristic Information for SAT Problems (in Chinese). Tech Rep. No.
ISCAS-LCS-96-3, Laboratory of computer science, Institute of software,
17.
Li Xiang, Li Guangyuan and Song Ronggong, The Study on the
Computation Theory over Ordered Rings and Fields (Abstract) . Notices, AMS,
11,1995.
18.
Li Guangyuan, Nonmonotonic Belief Logic NBL and
Default Logic (in Chinese). In: "Proceedings of CAAI'94,
19.
Li Xiang and Li Guangyuan, On the Relationships
between Approximate and Probabilistic Complexity Classes. Science in
20.
Li Xiang and Li Guangyuan, A 3-values Logic with
Strong and Weak Negations (in Chinese). Chinese Theoretical Computer Science, Vol
2, 65--82, 1994.
21.
Li Guangyuan, Some Model-theoretic Results for
Three-valued Logic TL. In "Chinese Annals of Pure & Applied
Logic,1(1989), edited by Zhang Jinwen ", Peking University Press, 1992.
22.
Li Xiang and Li Guangyuan, Medium Logic and
Woodruff's Three-Valued Logic. Chinese Science Bulletin, Vol. 35, 8,
622--626, 1990
23.
Li Guangyuan and Li Xiang. Soundness and
Completeness for "Medium Logic" ME* (in Chinese). Journal of
24.
Li Xiang and Li Guangyuan, The
Characterization Theorems of "Medium Logic" (in Chinese). Kexue Tongbao
(Science Bulletin), Vol.33, No.22, 1686--1689, 1988.
PhD Thesis
LTLC: A
Continuous-Time Temporal Logic for Real-Time and Hybrid Systems (in Chinese).