Guoliang Zheng

2007
35	EE	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
34	EE	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
33	EE	Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang: Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804
32	EE	Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
31	EE	Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225
30	EE	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	EE	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	EE	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	EE	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	EE	Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
25	EE	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	EE	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	EE	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	EE	Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
21	EE	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
20	EE	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
2002
19	EE	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
18	EE	Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)
17	EE	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	EE	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	EE	Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
14	EE	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	EE	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	EE	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	EE	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	EE	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]
2	Xiaocong Fan	[7] [9] [10] [12]
3	Jun Hu	[23] [25] [27] [28] [30] [31] [32] [33]
4	Guoping Jia	[3]
5	Chen Jiajun	[5] [6]
6	Hou Jianmin	[7] [9] [10] [11]
7	Gong Jiayu	[22]
8	Bin Lei	[34]
9	Bu Lei	[32]
10	Bixin Li	[13]
11	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]
12	Yong Li	[16] [17] [21]
13	Cui Meng	[15]
14	Jun Pang	[13] [14]
15	Xiaokang Qiu	[34]
16	Wenkai Tan	[18]
17	Chenghua Wang	[33]
18	Linzhang Wang	[23] [27] [34] [35]
19	Yunfeng Wang	[13] [14]
20	Dianxiang Xu	[2] [9] [10] [12]
21	He Xu	[19]
22	Li XueDong	[1]
23	Zhaohui Yang	[14]
24	Shi Yaoxin	[22]
25	Pei Yu	[15] [16] [17]
26	Xiaofeng Yu	[23] [27] [28] [30] [31] [35]
27	Jiesong Yuan	[23] [34]
28	Ming Zha	[13] [14]
29	Tao Zhang	[32]
30	Tian Zhang	[27] [28] [30] [31] [35]
31	Yan Zhang	[27] [28] [30] [31] [35]
32	Jianhua Zhao	[5] [11] [15] [16] [17] [19] [20] [21] [22] [24] [25] [26] [29] [32] [34] [35]
33	Tao Zheng	[11] [16] [17] [19] [20] [21] [29]
34	Xiuyi Zhou	[26]

Colors in the list of coauthors