Guoliang Zheng

	2007
37		Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li: Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218
	2006
36		Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng: Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105
35		Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang: Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804
34		Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
33		Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225
32		Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396
31		Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-based Component Behavior Filtration. SET 2006: 25-36
30		Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Deriving Available Behavior All Out from Incompatible Component Compositions. Electr. Notes Theor. Comput. Sci. 160: 349-361 (2006)
29		Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006)
	2005
28		Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng: Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC 2005: 395-404
27		Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng: Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247
26		Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
25		Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312
24		Jianhua Zhao, Xuandong Li, Guoliang Zheng: A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005)
	2004
23		Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng: Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC 2004: 284-291
22		Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
21		Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
	2003
20		Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
	2002
19		Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
18		Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)
17		Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng: Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebr. Program. 52-53: 79-108 (2002)
	2001
16		Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480
15		Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
14		Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng: A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16(3): 251-262 (2001)
	1999
13		Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng: A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) 1999: 261-266
12		Xiaocong Fan, Dianxiang Xu, Guoliang Zheng: Reasoning about Inheritance and Cloning Behaviors of Software Agents. TOOLS (31) 1999: 77-82
	1998
11		Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399
10		Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng: SPLAW: A Computable Agent-Oriented Programming Language. ISORC 1998: 144-145
9		Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng: SPLAW: A Computable Language for Agent-oriented Programming. SIGPLAN Notices 33(1): 61-69 (1998)
	1997
8		Xuandong Li, Guoliang Zheng: Enhancing Reusability and Maintainability in NDOOM. OOIS 1997: 236-246
7		Hou Jianmin, Xuandong Li, Xiaocong Fan, Guoliang Zheng: A Message-based Real-Time Model by Object-Oriented Technique. Operating Systems Review 31(3): 45-51 (1997)
6		Chen Jiajun, Guoliang Zheng: NDC++: An Approach to Concurrent Extension of C++. SIGPLAN Notices 32(3): 50-56 (1997)
5		Jianhua Zhao, Chen Jiajun, Guoliang Zheng: Message Conversion and A New Type System for OO Model. SIGPLAN Notices 32(9): 61-67 (1997)
	1996
4		Xuandong Li, Guoliang Zheng: A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. APSEC 1996: 93-
3		Guoping Jia, Guoliang Zheng: Fair Transition System Specification: An Integrated Approach. SIGPLAN Notices 31(3): 14-21 (1996)
	1995
2		Dianxiang Xu, Guoliang Zheng: Logical Objects with Constraints. SIGPLAN Notices 30(1): 5-10 (1995)
1		Li XueDong, Guoliang Zheng: Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation. SIGPLAN Notices 30(7): 52-56 (1995)

Coauthor Index

1	Lei Bu	[25] [34]
2	Xiaocong Fan	[7] [9] [10] [12]
3	Jun Hu	[23] [25] [27] [28] [30] [33] [34] [35]
4	Guoping Jia	[3]
5	Chen Jiajun	[5] [6]
6	Hou Jianmin	[7] [9] [10] [11]
7	Gong Jiayu	[22]
8	Bin Lei	[32] [36]
9	Bixin Li	[13]
10	Xuandong Li	[4] [7] [8] [11] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37]
11	Yong Li	[16] [17] [21]
12	Cui Meng	[15]
13	Jun Pang	[13] [14]
14	Xiaokang Qiu	[36]
15	Wenkai Tan	[18]
16	Chenghua Wang	[35]
17	Linzhang Wang	[23] [27] [36] [37]
18	Yunfeng Wang	[13] [14]
19	Dianxiang Xu	[2] [9] [10] [12]
20	He Xu	[19]
21	Li XueDong	[1]
22	Zhaohui Yang	[14]
23	Shi Yaoxin	[22]
24	Pei Yu	[15] [16] [17]
25	Xiaofeng Yu	[23] [27] [28] [30] [31] [33] [37]
26	Jiesong Yuan	[23] [36]
27	Ming Zha	[13] [14]
28	Tao Zhang	[34]
29	Tian Zhang	[27] [28] [30] [31] [33] [37]
30	Yan Zhang	[27] [28] [30] [31] [33] [37]
31	Jianhua Zhao	[5] [11] [15] [16] [17] [19] [20] [21] [22] [24] [25] [26] [29] [32] [34] [36] [37]
32	Tao Zheng	[11] [16] [17] [19] [20] [21] [29]
33	Xiuyi Zhou	[26]

Colors in the list of coauthors