Zonghua Gu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

28EEJianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu: Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90
27EEMingxuan 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
26EENan 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
25EENan 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)
24EEXiuqiang 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)
23EEWei 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)
22EEZonghua 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
21EEJin Cui, Qingxu Deng, Xiuqiang He, Zonghua Gu: An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs. DATE 2007: 129-134
20EEJogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6
19EEZonghua 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
18EENan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu, Ge Yu: Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices. IPDPS 2007: 1-8
17EEJin 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
16EEXianli Jin, Huadong Ma, Zonghua Gu: Real-Time Component Composition Using Hierarchical Timed Automata. QSIC 2007: 90-99
15EEZonghua 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
13EENan 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
12EEZonghua Gu, Zhimin He: Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. CBSE 2005: 235-250
11EEZonghua Gu: Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. EUC 2005: 214-223
10EEZonghua Gu: Solving Real-Time Scheduling Problems with Model-Checking. ICESS 2005: 186-197
9EEZonghua Gu, Kang G. Shin: Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. ISORC 2005: 410-417
8EEZonghua Gu, Kang G. Shin: Synthesis of Real-Time Implementations from Component-Based Software Models. RTSS 2005: 167-176
7EEZonghua 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
6EEZonghua Gu, Kang G. Shin: Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. ECBS 2003: 141-148
5EEZonghua 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
4EESharath 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
3EEZonghua 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-
2EEZonghua 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-
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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)