Zonghua Gu

Qingling Zhao, Zonghua Gu, Haibo Zeng: PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. DATE 2013: 141-146

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)

Zonghua Gu, Zhu Wang, Shijian Li, Haibin Cai: Design and Implementation of an Automotive Telematics Gateway Based on Virtualization. ISORC Workshops 2012: 53-58

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)

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)

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)

Ming Zhang, Zonghua Gu: Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations. International Symposium on Rapid System Prototyping 2011: 23-29

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)

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)

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)

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)

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)

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)

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)

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

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

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

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)

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)

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)

Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu: Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90

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

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

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

Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu: New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. RTSS 2008: 137-146

Weihuan Shu, Xue Liu, Zonghua Gu, Sathish Gopalakrishnan: Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. RTSS 2008: 431-441

Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu: Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. RTSS 2008: 492-504

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

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

Jogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6

Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu, Ge Yu: Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices. IPDPS 2007: 1-8

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

Xianli Jin, Huadong Ma, Zonghua Gu: Real-Time Component Composition Using Hierarchical Timed Automata. QSIC 2007: 90-99

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

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

Zonghua Gu, Qingxu Deng: QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution. SEKE 2007: 320-325

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

Zonghua Gu, Zhimin He: Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. CBSE 2005: 235-250

Zonghua Gu: Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. EUC 2005: 214-223

Zonghua Gu: Solving Real-Time Scheduling Problems with Model-Checking. ICESS 2005: 186-197

Zonghua Gu, Kang G. Shin: Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. ISORC 2005: 410-417

Zonghua Gu, Kang G. Shin: Synthesis of Real-Time Implementations from Component-Based Software Models. RTSS 2005: 167-176

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

Zonghua Gu, Kang G. Shin: Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. ECBS 2003: 141-148

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

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-

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

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-81

Zonghua Gu, Kang G. Shin: Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. DIPES 2002: 31-40