Zonghua Gu

2008
28	EE	Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu: Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90
27	EE	Mingxuan Yuan, Xiuqiang He, Zonghua Gu: Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 295-304
26	EE	Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu: Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. ISORC 2008: 556-560
25	EE	Nan Guan, Qingxu Deng, Zonghua Gu, Wenyao Xu, Ge Yu: Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs. ACM Trans. Design Autom. Electr. Syst. 13(4): (2008)
24	EE	Xiuqiang He, Mingxuan Yuan, Zonghua Gu: A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. IEEE Trans. Industrial Informatics 4(4): 237-249 (2008)
23	EE	Wei Hu, Yongxin Zhu, Zonghua Gu, Lei Jiang: Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture. Microprocessors and Microsystems - Embedded Hardware Design 32(4): 234-242 (2008)
2007
22	EE	Zonghua Gu, Xiuqiang He, Mingxuan Yuan: Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking. DAC 2007: 294-299
21	EE	Jin Cui, Qingxu Deng, Xiuqiang He, Zonghua Gu: An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs. DATE 2007: 129-134
20	EE	Jogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6
19	EE	Zonghua Gu, Mingxuan Yuan, Xiuqiang He: Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 32-44
18	EE	Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu, Ge Yu: Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices. IPDPS 2007: 1-8
17	EE	Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng: An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. ISORC 2007: 321-328
16	EE	Xianli Jin, Huadong Ma, Zonghua Gu: Real-Time Component Composition Using Hierarchical Timed Automata. QSIC 2007: 90-99
15	EE	Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu: Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. RTSS 2007: 353-364
14		Zonghua Gu, Qingxu Deng: QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution. SEKE 2007: 320-325
13	EE	Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu: Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. SEUS 2007: 263-272
2005
12	EE	Zonghua Gu, Zhimin He: Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. CBSE 2005: 235-250
11	EE	Zonghua Gu: Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. EUC 2005: 214-223
10	EE	Zonghua Gu: Solving Real-Time Scheduling Problems with Model-Checking. ICESS 2005: 186-197
9	EE	Zonghua Gu, Kang G. Shin: Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. ISORC 2005: 410-417
8	EE	Zonghua Gu, Kang G. Shin: Synthesis of Real-Time Implementations from Component-Based Software Models. RTSS 2005: 167-176
2004
7	EE	Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin: Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation. HASE 2004: 32-41
2003
6	EE	Zonghua Gu, Kang G. Shin: Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. ECBS 2003: 141-148
5	EE	Zonghua Gu, Kang G. Shin: An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net. ICDCS 2003: 350-359
4	EE	Sharath Kodase, Shige Wang, Zonghua Gu, Kang G. Shin: Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers. IEEE Real Time Technology and Applications Symposium 2003: 181-188
3	EE	Zonghua Gu, Sharath Kodase, Shige Wang, Kang G. Shin: A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software. IEEE Real Time Technology and Applications Symposium 2003: 78-
2	EE	Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin: An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software. RTSS 2003: 78-
2002
1		Zonghua Gu, Kang G. Shin: Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. DIPES 2002: 31-40

Coauthor Index

1	Shing-Chi Cheung (S. C. Cheung)	[20]
2	Jin Cui	[17] [21]
3	Qingxu Deng	[13] [14] [15] [17] [18] [21] [25] [26]
4	Shuaihong Gao	[13]
5	Nan Guan	[13] [15] [18] [25] [26]
6	Xiuqiang He	[15] [19] [21] [22] [24] [27]
7	Zhimin He	[12]
8	Wei Hu	[23]
9	Lei Jiang	[23]
10	Xianli Jin	[16]
11	Sharath Kodase	[2] [3] [4] [7]
12	Weichen Liu	[17] [18]
13	Xue Liu	[28]
14	Mingsong Lv	[15] [26]
15	Huadong Ma	[16]
16	Jogesh K. Muppala	[20]
17	Kang G. Shin	[1] [2] [3] [4] [5] [6] [7] [8] [9]
18	Shige Wang	[2] [3] [4] [7]
19	Wenyao Xu	[25]
20	Jianguo Yao	[28]
21	Ge Yu	[13] [15] [18] [25] [26]
22	Mingxuan Yuan	[15] [19] [22] [24] [27] [28]
23	Yongxin Zhu	[23]

Colors in the list of coauthors