Yang Liu Vis

National Univerisity of Singapore

other persons with the same name:

• Yang Liu
• Yang Liu - Texas A&M University

*	2009
11	EE	Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
10		Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411
9	EE	Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
8	EE	Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
	2008
7	EE	Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
6	EE	Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
5	EE	Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
4	EE	Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
3	EE	Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Compositional encoding for bounded model checking. Frontiers of Computer Science in China 2(4): 368-379 (2008)
	2006
2	EE	Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
1	EE	Yang Liu, Jun Sun: Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electr. Notes Theor. Comput. Sci. 151(2): 107-124 (2006)

Coauthor Index

1	Chunqing Chen	[9]
2	Wei Chen	[10]
3	Jin Song Dong	[2] [3] [4] [5] [6] [7] [9] [10] [11]
4	Yanhong A. Liu	[10]
5	Jun Pang	[8] [11]
6	Jing Sun	[3] [4]
7	Jun Sun	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
8	Hai H. Wang	[7]
9	Shao Jie Zhang	[10]
10	Xian Zhang	[2]
11	Jianhua Zhao	[8]