Zonghua Gu

	2012
48		Zonghua Gu, Zhu Wang, Shijian Li, Haibin Cai: Design and Implementation of an Automotive Telematics Gateway Based on Virtualization. ISORC Workshops 2012: 53-58
47		Jiayin Li, Meikang Qiu, Zhong Ming, Gang Quan, Xiao Qin, Zonghua Gu: Online optimization for scheduling preemptable tasks on IaaS cloud systems. J. Parallel Distrib. Comput. 72(5): 666-677 (2012)
	2011
46		Ming Zhang, Zonghua Gu: Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations. International Symposium on Rapid System Prototyping 2011: 23-29
45		Lei Rao, Xue Liu, Zonghua Gu, Wenyu Liu: HRS: A Hierarchical Routing and Scheduling Scheme for Distributed Real-Time and Embedded Systems. Ad Hoc & Sensor Wireless Networks 11(3-4): 265-284 (2011)
44		Weichen Liu, Zonghua Gu, Jiang Xu, Xiaowen Wu, Yaoyao Ye: Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems. IEEE Trans. Parallel Distrib. Syst. 22(8): 1382-1389 (2011)
43		Nan Guan, Wang Yi, Qingxu Deng, Zonghua Gu, Ge Yu: Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. Journal of Systems Architecture - Embedded Systems Design 57(5): 536-546 (2011)
	2010
42		Mingxuan Yuan, Zonghua Gu, Xiuqiang He, Xue Liu, Lei Jiang: Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs. ACM Trans. Design Autom. Electr. Syst. 15(2): (2010)
41		Xiuqiang He, Zonghua Gu, Yongxin Zhu: Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming. Comput. J. 53(7): 1071-1091 (2010)
40		Liang Xia, Yongxin Zhu, Jun Yang, Jingwei Ye, Zonghua Gu: Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor. Comput. J. 53(7): 895-903 (2010)
39		Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu: PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems. IEEE Trans. Industrial Informatics 6(3): 302-315 (2010)
38		Jianguo Yao, Xue Liu, Zonghua Gu, Xiaorui Wang, Jian Li: Online adaptive utilization control for real-time embedded multiprocessor systems. Journal of Systems Architecture - Embedded Systems Design 56(9): 463-473 (2010)
	2009
37		Nan Guan, Zonghua Gu, Wang Yi, Ge Yu: Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. ASP-DAC 2009: 715-720
36		Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang, Mingxuan Yuan: An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. CODES+ISSS 2009: 61-70
35		Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu: Power-Aware CPU Utilization Control for Distributed Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 233-242
34		Weichen Liu, Zonghua Gu, Jiang Xu: Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow. Embedded Systems Letters 1(3): 69-72 (2009)
33		Zonghua Gu, Weichen Liu, Jiang Xu, Jin Cui, Xiuqiang He, Qingxu Deng: Efficient algorithms for 2D area management and online task placement on runtime reconfigurable FPGAs. Microprocessors and Microsystems - Embedded Hardware Design 33(5-6): 374-387 (2009)
	2008
32		Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu: Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90
31		Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu: Performance Comparison of Techniques on Static Path Analysis of WCET. EUC (1) 2008: 104-111
30		Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu: New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. IEEE Real-Time Systems Symposium 2008: 137-146
29		Weihuan Shu, Xue Liu, Zonghua Gu, Sathish Gopalakrishnan: Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. IEEE Real-Time Systems Symposium 2008: 431-441
28		Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu: Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. IEEE Real-Time Systems Symposium 2008: 492-504
27		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		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		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		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		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		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		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		Jogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6
19		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		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		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		Xianli Jin, Huadong Ma, Zonghua Gu: Real-Time Component Composition Using Hierarchical Timed Automata. QSIC 2007: 90-99
15		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		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		Zonghua Gu, Zhimin He: Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. CBSE 2005: 235-250
11		Zonghua Gu: Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. EUC 2005: 214-223
10		Zonghua Gu: Solving Real-Time Scheduling Problems with Model-Checking. ICESS 2005: 186-197
9		Zonghua Gu, Kang G. Shin: Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. ISORC 2005: 410-417
8		Zonghua Gu, Kang G. Shin: Synthesis of Real-Time Implementations from Component-Based Software Models. RTSS 2005: 167-176
	2004
7		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		Zonghua Gu, Kang G. Shin: Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. ECBS 2003: 141-148
5		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		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		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		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	Haibin Cai	[48]
2	Shing-Chi Cheung (S. C. Cheung)	[20]
3	Jin Cui	[17] [21] [33]
4	Qingxu Deng	[13] [14] [15] [17] [18] [21] [25] [26] [30] [31] [33] [43]
5	Xing Fu	[35] [39]
6	Shuaihong Gao	[13]
7	Sathish Gopalakrishnan	[29]
8	Nan Guan	[13] [15] [18] [25] [26] [30] [31] [37] [43]
9	Xiuqiang He	[15] [19] [21] [22] [24] [27] [28] [33] [41] [42]
10	Zhimin He	[12]
11	Wei Hu	[23]
12	Lei Jiang	[23] [42]
13	Xianli Jin	[16]
14	Sharath Kodase	[2] [3] [4] [7]
15	Jian Li	[38]
16	Jiayin Li	[47]
17	Shijian Li	[48]
18	Weichen Liu	[17] [18] [28] [33] [34] [36] [44]
19	Wenyu Liu	[45]
20	Xue Liu	[28] [29] [32] [35] [38] [39] [42] [45]
21	Mingsong Lv	[15] [26] [31]
22	Huadong Ma	[16]
23	Zhong Ming	[47]
24	Jogesh K. Muppala	[20]
25	Xiao Qin	[47]
26	Meikang Qiu (Mei Kang Qiu)	[47]
27	Gang Quan	[47]
28	Lei Rao	[45]
29	Kang G. Shin	[1] [2] [3] [4] [5] [6] [7] [8] [9]
30	Weihuan Shu	[29]
31	Shige Wang	[2] [3] [4] [7]
32	Xiaorui Wang	[35] [38] [39]
33	Zhu Wang	[48]
34	Yu Wang	[36]
35	Xiaowen Wu	[44]
36	Liang Xia	[40]
37	Jiang Xu	[33] [34] [36] [44]
38	Wenyao Xu	[25]
39	Jun Yang	[40]
40	Jianguo Yao	[32] [38]
41	Jingwei Ye	[40]
42	Yaoyao Ye	[44]
43	Wang Yi	[30] [37] [43]
44	Ge Yu	[13] [15] [18] [25] [26] [30] [31] [37] [43]
45	Mingxuan Yuan	[15] [19] [22] [24] [27] [28] [32] [36] [42]
46	Ming Zhang	[46]
47	Yongxin Zhu	[23] [40] [41]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page