Jianhua Zhao

2007
23	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
22	EE	Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li: A model-driven development framework for enterprise Web services. Information Systems Frontiers 9(4): 391-409 (2007)
2006
21	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
20	EE	Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li: A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84
19	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
18	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
17	EE	Weizhen Yan, Jianhua Zhao, Zhe Cao: Fuzzy Programming Model for Lot Sizing Production Planning Problem. FSKD (1) 2005: 285-294
16	EE	Jinwu Gao, Jianhua Zhao, Xiaoyu Ji: Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. FSKD (1) 2005: 304-311
15	EE	Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
14	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
13	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
12	EE	Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
11	EE	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
10	EE	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
2002
9	EE	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
8		Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori: STAD Modeling Method for Computer Supported Group Learning. ICCE 2002: 344-348
7	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
6	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
5	EE	Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
2000
4	EE	Jianhua Zhao, Dang Van Hung: Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1998
3	EE	Jianhua Zhao, Dang Van Hung: On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250
2		Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399
1997
1		Jianhua Zhao, Chen Jiajun, Guoliang Zheng: Message Conversion and A New Type System for OO Model. SIGPLAN Notices 32(9): 61-67 (1997)

Coauthor Index

1	Kanji Akahori	[8]
2	Lei Bu	[14]
3	Zhe Cao	[17]
4	Jinwu Gao	[16]
5	Jun Hu	[14] [19] [20] [22]
6	Dang Van Hung	[3] [4]
7	Xiaoyu Ji	[16]
8	Chen Jiajun	[1]
9	Hou Jianmin	[2]
10	Gong Jiayu	[12]
11	Bin Lei	[21]
12	Bu Lei	[19]
13	Kedong Li	[8]
14	Xuandong Li	[2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23]
15	Yong Li	[6] [7] [11]
16	David McConnell	[8]
17	Cui Meng	[5]
18	Xiaokang Qiu	[21]
19	Linzhang Wang	[20] [21] [22] [23]
20	He Xu	[9]
21	Weizhen Yan	[17]
22	Shi Yaoxin	[12]
23	Pei Yu	[5] [6] [7]
24	Xiaofeng Yu	[20] [22] [23]
25	Jiesong Yuan	[21]
26	Tao Zhang	[19]
27	Tian Zhang	[20] [22] [23]
28	Yan Zhang	[20] [22] [23]
29	Guoliang Zheng	[1] [2] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [18] [19] [21] [23]
30	Tao Zheng	[2] [6] [7] [9] [10] [11] [18]
31	Xiuyi Zhou	[15]

Colors in the list of coauthors