Yang Liu

National Univerisity of Singapore

other persons with the same name:

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

	2009
15		Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
14		Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
13		Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun: Model Checking Linearizability via Refinement. FM 2009: 321-337
12		Yang Liu, Jun Sun, Jin Song Dong: Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445
11		Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang: Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600
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		Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135
8		Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
	2008
7		Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24
6		Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920
5		Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322
4		Jun Sun, Yang Liu, Jin Song Dong, Jing Sun: Bounded Model Checking of Compositional Processes. TASE 2008: 23-30
3		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		Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
1		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] [13]
3	Jin Song Dong	[2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [14] [15]
4	Shanshan Liu	[14]
5	Yanhong A. Liu	[10] [13]
6	Jun Pang	[8] [15]
7	Abhik Roychoudhury	[14]
8	Jing Sun	[3] [4]
9	Jun Sun	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
10	Hai H. Wang	[7]
11	Shao Jie Zhang	[10]
12	Xian Zhang	[2] [11]
13	Jianhua Zhao	[8]