Training multi-bit Spiking Neural Network with Virtual Neurons. - Xu, Haoran; Gu, Zonghua; Sun, Ruimin; Ma, De (Neurocomputing, 2025)

Partitioned Scheduling With Shared Resources on Imprecise Mixed-Criticality Multiprocessor Systems. - Zhang, Yiwen; Ma, Jin-Peng; Gu, Zonghua (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Dynamic Neural Fortresses: An Adaptive Shield for Model Extraction Defense. - Luan, Siyu; Wang, Zhenyi; Shen, Li; Gu, Zonghua; Wu, Chao; Tao, Dacheng (2025)

EDF-Based Energy-Efficient Semi-Clairvoyant Scheduling With Graceful Degradation. - Zhang, Yiwen; Zheng, Hui; Gu, Zonghua (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Criticality-Aware EDF Scheduling for Constrained-Deadline Imprecise Mixed-Criticality Systems. - Zhang, Yiwen; Ma, Jin-Peng; Zheng, Hui; Gu, Zonghua (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

On the Scheduling of Fault-Tolerant Time-Sensitive Networking With IEEE 802.1CB. - Feng, Zhiwei; Wu, Chaoquan; Deng, Qingxu; Lin, Yuhan; Gao, Shichang; Gu, Zonghua (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation. - Zhang, Yiwen; Zheng, Hui; Gu, Zonghua (ACM Trans. Embed. Comput. Syst., 2024)

Energy Management for Fault-tolerant (m,k)-constrained Real-time Systems That Use Standby-Sparing. - Niu, Linwei; Rawat, Danda B.; Zhu, Dakai; Musselwhite, Jonathan; Gu, Zonghua; Deng, Qingxu (ACM Trans. Embed. Comput. Syst., 2024)

Energy-Constrained Scheduling for Weakly Hard Real-Time Systems Using Standby-Sparing. - Niu, Linwei; Rawat, Danda B.; Musselwhite, Jonathan; Gu, Zonghua; Deng, Qingxu (ACM Trans. Design Autom. Electr. Syst., 2024)

Real-time Stereo-based 3D Object Detection for Streaming Perception. - Li, Changcai; Gu, Zonghua; Chen, Gang; Huang, Libo; Zhang, Wei; Zhou, Huihui (2024)

Real-time Stereo-based 3D Object Detection for Streaming Perception. - Li, Changcai; Gu, Zonghua; Chen, Gang; Huang, Libo; Zhang, Wei; Zhou, Huihui (CoRR, 2024)

LRP-based network pruning and policy distillation of robust and non-robust DRL agents for embedded systems. - Luan, Siyu; Gu, Zonghua; Xu, Rui; Zhao, Qingling; Chen, Gang (Concurr. Comput. Pract. Exp., 2023)

An acoustic echo canceller optimized for hands-free speech telecommunication in large vehicle cabins. - Saremi, Amin; Ramkumar, Balaji; Ghaffari, Ghazaleh; Gu, Zonghua (EURASIP J. Audio Speech Music. Process., 2023)

A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. - Jiang, Zhe; Dai, Xiaotian; Burns, Alan; Audsley, Neil C.; Gu, Zonghua; Gray, Ian (IEEE Trans. Computers, 2023)

Energy-Aware Partitioned Scheduling of Imprecise Mixed-Criticality Systems. - Zhang, Yiwen; Chen, Rong-Kun; Gu, Zonghua (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

NPRC-I/O: An NoC-Based Real-Time I/O System With Reduced Contention and Enhanced Predictability. - Jiang, Zhe; Dai, Xiaotian; Wei, Ran; Gray, Ian; Gu, Zonghua; Zhao, Qingling; Zhao, Shuai (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Edge-AI-Driven Framework with Efficient Mobile Network Design for Facial Expression Recognition. - Wu, Yirui; Zhang, Lilai; Gu, Zonghua; Lu, Hu; Wan, Shaohua (ACM Trans. Embed. Comput. Syst., 2023)

Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems. - Yang, Zhibin; Xing, Linquan; Gu, Zonghua; Xiao, Yingmin; Zhou, Yong; Huang, Zhiqiu; Xue, Lei (IEEE Trans. Ind. Informatics, 2023)

ECFA: An Efficient Convergent Firefly Algorithm for Solving Task Scheduling Problems in Cloud-Edge Computing. - Yin, Lu; Sun, Jin; Zhou, Junlong; Gu, Zonghua; Li, Keqin (IEEE Trans. Serv. Comput., 2023)

Timing Performance Benchmarking of Out-of-Distribution Detection Algorithms. - Luan, Siyu; Gu, Zonghua; Saremi, Amin; Freidovich, Leonid B.; Jiang, Lili; Wan, Shaohua (J. Signal Process. Syst., 2023)

Efficient Performance Prediction of End-to-End Autonomous Driving Under Continuous Distribution Shifts Based on Anomaly Detection. - Luan, Siyu; Gu, Zonghua; Wan, Shaohua (J. Signal Process. Syst., 2023)

On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks. - He, Qingqiang; Guan, Nan; Lv, Mingsong; Gu, Zonghua (2023)

Towards Effective Training of Robust Spiking Recurrent Neural Networks Under General Input Noise via Provable Analysis. - Zheng, Wendong; Zhou, Yu; Chen, Gang; Gu, Zonghua; Huang, Kai (2023)

ER3D: An Efficient Real-time 3D Object Detection Framework for Autonomous Driving. - Meng, Haitao; Li, Changcai; Chen, Gang; Gu, Zonghua; Knoll, Alois (2023)

Rotation-Invariant Descriptors Learned with Circulant Convolution Neural Networks. - Lin, Wenwei; Zhong, Chonghao; Sun, Xunpei; Meng, Haitao; Chen, Gang; Hu, Biao; Gu, Zonghua (2023)

Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication. - Wan, Shaohua; Wisniewski, Remigiusz; Alexandropoulos, George C.; Gu, Zonghua; Siano, Pierluigi (Comput. Commun., 2022)

Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms. - Chang, Shuangshuang; Bi, Ran; Sun, Jinghao; Liu, Weichen; Yu, Qi; Deng, Qingxu; Gu, Zonghua (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive Networking. - Feng, Zhiwei; Gu, Zonghua; Yu, Haichuan; Deng, Qingxu; Niu, Linwei (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms. - Zhao, Qingling; Qu, Mengfei; Gu, Zonghua; Zeng, Haibo (ACM Trans. Embed. Comput. Syst., 2022)

CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. - Zhao, Qingling; Chen, Mingqiang; Gu, Zonghua; Luan, Siyu; Zeng, Haibo; Chakraborty, Samarjit (ACM Trans. Embed. Comput. Syst., 2022)

A Modular Approximation Methodology for Efficient Fixed-Point Hardware Implementation of the Sigmoid Function. - Pan, Zhe; Gu, Zonghua; Jiang, Xiaohong; Zhu, Guoquan; Ma, De (IEEE Trans. Ind. Electron., 2022)

Perceptual Enhancement for Autonomous Vehicles: Restoring Visually Degraded Images for Context Prediction via Adversarial Training. - Ding, Feng; Yu, Keping; Gu, Zonghua; Li, Xiangjun; Shi, Yunqing (IEEE Trans. Intell. Transp. Syst., 2022)

Message from ICESS 2022 Program Chairs. - Ramaprasad, Harini; Gu, Zonghua; Jiang, Wei (2022)

LRP-based Policy Pruning and Distillation of Reinforcement Learning Agents for Embedded Systems. - Xu, Rui; Luan, Siyu; Gu, Zonghua; Zhao, Qingling; Chen, Gang (2022)

Data Availability Optimization for Cyber-Physical Systems. - Li, Liying; Cong, Peijin; Zhou, Junlong; Gu, Zonghua; Li, Keqin (2022)

Out-of-Distribution Detection for Deep Neural Networks With Isolation Forest and Local Outlier Factor. - Luan, Siyu; Gu, Zonghua; Freidovich, Leonid B.; Jiang, Lili; Zhao, Qingling (IEEE Access, 2021)

Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. - Yang, Zhibin; Bao, Yang; Yang, Yongqiang; Huang, Zhiqiu; Bodeveix, Jean-Paul; Filali, Mamoun; Gu, Zonghua (Formal Aspects Comput., 2021)

An Intelligent Video Analysis Method for Abnormal Event Detection in Intelligent Transportation Systems. - Wan, Shaohua; Xu, Xiaolong; Wang, Tian; Gu, Zonghua (IEEE Trans. Intell. Transp. Syst., 2021)

Efficient Spiking Neural Networks With Logarithmic Temporal Coding. - Zhang, Ming; Gu, Zonghua; Zheng, Nenggan; Ma, De; Pan, Gang (IEEE Access, 2020)

Simulation Performance Enhancement in Automotive Embedded Control Using the Unscented Transform. - Paredes, Abraham Elias Ortega; Nunes, Lauro Roberto; Santos, Max Mauro Dias; Menezes, Leonardo Rodrigues Araújo Xavier de; Linares, Kathya Silvia Collazos; Justo, João Francisco; Gu, Zonghua (IEEE Access, 2020)

Cognitive computing and wireless communications on the edge for healthcare service robots. - Wan, Shaohua; Gu, Zonghua; Ni, Qiang (Comput. Commun., 2020)

Deep Learning Models for Real-time Human Activity Recognition with Smartphones. - Wan, Shaohua; Qi, Lianyong; Xu, Xiaolong; Tong, Chao; Gu, Zonghua (Mob. Networks Appl., 2020)

Multi-dimensional data indexing and range query processing via Voronoi diagram for internet of things. - Wan, Shaohua; Zhao, Yu; Wang, Tian; Gu, Zonghua; Abbasi, Qammer H.; Choo, Kim-Kwang Raymond (Future Gener. Comput. Syst., 2019)

Overfitting remedy by sparsifying regularization on fully-connected layers of CNNs. - Xu, Qi; Zhang, Ming; Gu, Zonghua; Pan, Gang (Neurocomputing, 2019)

Analytical and Experimental Performance Evaluations of CAN-FD Bus. - Andrade, Ricardo de; Hodel, Kleber N.; Justo, João Francisco; Laganá, Armando A. M.; Santos, Max Mauro; Gu, Zonghua (IEEE Access, 2018)

WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems. - Zhang, Ming; Gu, Zonghua; Li, Hong; Zheng, Nenggan (IEEE Access, 2018)

Model-Based Development of an Engine Control Module for a Spark Ignition Engine. - Dias, Bruno Martin De Alcantara; Laganá, Armando A. M.; Justo, João Francisco; Yoshioka, Leopoldo Rideki; Santos, Max Mauro; Gu, Zonghua (IEEE Access, 2018)

Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. - Zhao, Qingling; Gu, Zonghua; Zeng, Haibo; Zheng, Nenggan (J. Syst. Archit., 2018)

Introduction to the special issue on "Embedded Artificial Intelligence and Smart Computing". - Gu, Zonghua; Qiu, Meikang (J. Syst. Archit., 2018)

A decomposition-based approach to optimization of TTP-based distributed embedded systems. - Zhang, Ming; Zheng, Nenggan; Li, Hong; Gu, Zonghua (J. Syst. Archit., 2018)

EDF-Based Mixed-Criticality Systems with Weakly-Hard Timing Constraints. - Wu, Hao; Gu, Zonghua; Li, Hong; Zheng, Nenggan (2018)

GA-Based Mapping and Scheduling of HSDF Graphs on Multiprocessor Platforms. - Wu, Hao; Zheng, Nenggan; Li, Hong; Gu, Zonghua (2018)

Efficient Spiking Neural Networks with Logarithmic Temporal Coding. - Zhang, Ming; Zheng, Nenggan; Ma, De; Pan, Gang; Gu, Zonghua (CoRR, 2018)

Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. - Zhao, Qingling; Gu, Zonghua; Zeng, Haibo (J. Syst. Archit., 2017)

Darwin: A neuromorphic hardware co-processor based on spiking neural networks. - Ma, De; Shen, Juncheng; Gu, Zonghua; Zhang, Ming; Zhu, Xiaolei; Xu, Xiaoqiang; Xu, Qi; Shen, Yangjing; Pan, Gang (J. Syst. Archit., 2017)

Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines. - Zhao, Yecheng; Peng, Chao; Zeng, Haibo; Gu, Zonghua (ACM Trans. Embed. Comput. Syst., 2017)

Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models. - Zhao, Qingling; Al-bayati, Zaid; Gu, Zonghua; Zeng, Haibo (ACM Trans. Design Autom. Electr. Syst., 2017)

Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices. - Meng, Wenjia; Gu, Zonghua; Zhang, Ming; Wu, Zhaohui (CoRR, 2017)

Darwin: a neuromorphic hardware co-processor based on Spiking Neural Networks. - Shen, Juncheng; Ma, De; Gu, Zonghua; Zhang, Ming; Zhu, Xiaolei; Xu, Xiaoqiang; Xu, Qi; Shen, Yangjing; Pan, Gang (Sci. China Inf. Sci., 2016)

Improving computation efficiency of schedulability of transaction-based task model for distributed real-time embedded systems. - Gu, Zonghua; Li, Hong; Cai, Haibin (Int. J. Embed. Syst., 2016)

HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. - Zhao, Qingling; Gu, Zonghua; Yao, Min; Zeng, Haibo (J. Syst. Archit., 2016)

Special Issue on High Performance Computing, Communication and Embedded Software/Systems. - Gu, Zonghua; Qiu, Meikang; Zhu, Dakai (J. Syst. Archit., 2016)

Cache-Partitioned Preemption Threshold Scheduling. - Gu, Zonghua; Wang, Chao; Zeng, Haibo (ACM Trans. Embed. Comput. Syst., 2016)

Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling. - Wang, Chao; Dong, Chuansheng; Zeng, Haibo; Gu, Zonghua (ACM Trans. Design Autom. Electr. Syst., 2016)

Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems. - Gu, Zonghua; Han, Gang; Zeng, Haibo; Zhao, Qingling (IEEE Trans. Parallel Distributed Syst., 2016)

Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization. - Wang, Chao; Gu, Zonghua; Zeng, Haibo (IEEE Trans. Parallel Distributed Syst., 2016)

Endurance-Aware Allocation of Data Variables on NVM-Based Scratchpad Memory in Real-Time Embedded Systems. - Wang, Zhu; Gu, Zonghua; Yao, Min; Shao, Zili (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. - Zhao, Qingling; Gu, Zonghua; Zeng, Haibo (ACM Trans. Embed. Comput. Syst., 2015)

Defending jamming attack in wide-area monitoring system for smart grid. - Niu, Jianwei; Ming, Zhong; Qiu, Meikang; Su, Hai; Gu, Zonghua; Qin, Xiao (Telecommun. Syst., 2015)

WCET-Aware Energy-Efficient Data Allocation on Scratchpad Memory for Real-Time Embedded Systems. - Wang, Zhu; Gu, Zonghua; Shao, Zili (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. - Al-bayati, Zaid; Zhao, Qingling; Youssef, Ahmed; Zeng, Haibo; Gu, Zonghua (2015)

Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization. - Liu, Weichen; Gu, Zonghua; Ye, Yaoyao (2015)

Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. - Wang, Chao; Gu, Zonghua; Zeng, Haibo (2015)

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. - Zhao, Qingling; Gu, Zonghua; Zeng, Haibo (IEEE Embed. Syst. Lett., 2014)

Optimizated Allocation of Data Variables to PCM/DRAM-based Hybrid Main Memory for Real-Time Embedded Systems. - Wang, Zhu; Gu, Zonghua; Shao, Zili (IEEE Embed. Syst. Lett., 2014)

A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsets. - Gu, Zonghua; Wang, Zhu; Chen, Haolan; Cai, Haibin (Int. J. Embed. Syst., 2014)

Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets. - Gu, Zonghua; Cai, Haibin (Int. J. Embed. Syst., 2014)

WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems. - Gu, Zonghua; Wang, Chao; Zhang, Ming; Wu, Zhaohui (IEEE Trans. Ind. Electron., 2014)

Partitioned multiprocessor scheduling of mixed-criticality parallel jobs. - Liu, Guangdong; Lu, Ying; Wang, Shige; Gu, Zonghua (2014)

PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. - Zhao, Qingling; Gu, Zonghua; Zeng, Haibo (2013)

Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm. - Zhao, Qingling; Gu, Zonghua; Zeng, Haibo (2013)

Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. - Al-bayati, Zaid; Zeng, Haibo; Natale, Marco Di; Gu, Zonghua (2013)

Online optimization for scheduling preemptable tasks on IaaS cloud systems. - Li, Jiayin; Qiu, Meikang; Ming, Zhong; Quan, Gang; Qin, Xiao; Gu, Zonghua (J. Parallel Distributed Comput., 2012)

Design and Implementation of an Automotive Telematics Gateway Based on Virtualization. - Gu, Zonghua; Wang, Zhu; Li, Shijian; Cai, Haibin (2012)

HRS: A Hierarchical Routing and Scheduling Scheme for Distributed Real-Time and Embedded Systems. - Rao, Lei; Liu, Xue; Gu, Zonghua; Liu, Wenyu (Ad Hoc Sens. Wirel. Networks, 2011)

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. - Guan, Nan; Yi, Wang; Deng, Qingxu; Gu, Zonghua; Yu, Ge (J. Syst. Archit., 2011)

Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems. - Liu, Weichen; Gu, Zonghua; Xu, Jiang; Wu, Xiaowen; Ye, Yaoyao (IEEE Trans. Parallel Distributed Syst., 2011)

Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations. - Zhang, Ming; Gu, Zonghua (2011)

Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor. - Xia, Liang; Zhu, Yongxin; Yang, Jun; Ye, Jingwei; Gu, Zonghua (Comput. J., 2010)

Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming. - He, Xiuqiang; Gu, Zonghua; Zhu, Yongxin (Comput. J., 2010)

Online adaptive utilization control for real-time embedded multiprocessor systems. - Yao, Jianguo; Liu, Xue; Gu, Zonghua; Wang, Xiaorui; Li, Jian (J. Syst. Archit., 2010)

PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems. - Wang, Xiaorui; Fu, Xing; Liu, Xue; Gu, Zonghua (IEEE Trans. Ind. Informatics, 2010)

Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs. - Yuan, Mingxuan; Gu, Zonghua; He, Xiuqiang; Liu, Xue; Jiang, Lei (ACM Trans. Design Autom. Electr. Syst., 2010)

Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow. - Liu, Weichen; Gu, Zonghua; Xu, Jiang (IEEE Embed. Syst. Lett., 2009)

Efficient algorithms for 2D area management and online task placement on runtime reconfigurable FPGAs. - Gu, Zonghua; Liu, Weichen; Xu, Jiang; Cui, Jin; He, Xiuqiang; Deng, Qingxu (Microprocess. Microsystems, 2009)

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. - Guan, Nan; Gu, Zonghua; Yi, Wang; Yu, Ge (2009)

An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. - Liu, Weichen; Gu, Zonghua; Xu, Jiang; Wang, Yu; Yuan, Mingxuan (2009)

Power-Aware CPU Utilization Control for Distributed Real-Time Systems. - Wang, Xiaorui; Fu, Xing; Liu, Xue; Gu, Zonghua (2009)

Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture. - Hu, Wei; Zhu, Yongxin; Gu, Zonghua; Jiang, Lei (Microprocess. Microsystems, 2008)

A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. - He, Xiuqiang; Yuan, Mingxuan; Gu, Zonghua (IEEE Trans. Ind. Informatics, 2008)

Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs. - Guan, Nan; Deng, Qingxu; Gu, Zonghua; Xu, Wenyao; Yu, Ge (ACM Trans. Design Autom. Electr. Syst., 2008)

Online adaptive utilization control for real-time embedded multiprocessor systems. - Yao, Jianguo; Liu, Xue; Yuan, Mingxuan; Gu, Zonghua (2008)

Performance Comparison of Techniques on Static Path Analysis of WCET. - Lv, Mingsong; Gu, Zonghua; Guan, Nan; Deng, Qingxu; Yu, Ge (2008)

Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. - Guan, Nan; Gu, Zonghua; Lv, Mingsong; Deng, Qingxu; Yu, Ge (2008)

Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. - Yuan, Mingxuan; He, Xiuqiang; Gu, Zonghua (2008)

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. - Guan, Nan; Yi, Wang; Gu, Zonghua; Deng, Qingxu; Yu, Ge (2008)

Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. - Shu, Weihuan; Liu, Xue; Gu, Zonghua; Gopalakrishnan, Sathish (2008)

Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. - Liu, Weichen; Yuan, Mingxuan; He, Xiuqiang; Gu, Zonghua; Liu, Xue (2008)

Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking. - Gu, Zonghua; He, Xiuqiang; Yuan, Mingxuan (2007)

An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs. - Cui, Jin; Deng, Qingxu; He, Xiuqiang; Gu, Zonghua (2007)

Teaching embedded systems software: The HKUST experience. - Muppala, Jogesh K.; Gu, Zonghua; Cheung, Shing-Chi (2007)

Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices. - Guan, Nan; Gu, Zonghua; Deng, Qingxu; Liu, Weichen; Yu, Ge (2007)

An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. - Cui, Jin; Gu, Zonghua; Liu, Weichen; Deng, Qingxu (2007)

Real-Time Component Composition Using Hierarchical Timed Automata. - Jin, Xianli; Ma, Huadong; Gu, Zonghua (2007)

Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. - Gu, Zonghua; Yuan, Mingxuan; He, Xiuqiang (2007)

Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. - Gu, Zonghua; Yuan, Mingxuan; Guan, Nan; Lv, Mingsong; He, Xiuqiang; Deng, Qingxu; Yu, Ge (2007)

QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution. - Gu, Zonghua; Deng, Qingxu (2007)

Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. - Guan, Nan; Gu, Zonghua; Deng, Qingxu; Gao, Shuaihong; Yu, Ge (2007)

Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. - Gu, Zonghua; He, Zhimin (2005)

Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. - Gu, Zonghua (2005)

Solving Real-Time Scheduling Problems with Model-Checking. - Gu, Zonghua (2005)

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. - Gu, Zonghua; Shin, Kang G. (2005)

Synthesis of Real-Time Implementations from Component-Based Software Models. - Gu, Zonghua; Shin, Kang G. (2005)

Techniques and tools for model-based design and analysis of embedded real-time software. - Gu, Zonghua (2004)

Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation. - Gu, Zonghua; Wang, Shige; Kodase, Sharath; Shin, Kang G. (2004)

Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. - Gu, Zonghua; Shin, Kang G. (2003)

An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net. - Gu, Zonghua; Shin, Kang G. (2003)

Algorithms for effective variable bit rate traffic smoothing. - Gu, Zonghua; Shin, Kang G. (2003)

A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software. - Gu, Zonghua; Kodase, Sharath; Wang, Shige; Shin, Kang G. (2003)

Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers. - Kodase, Sharath; Wang, Shige; Gu, Zonghua; Shin, Kang G. (2003)

An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software. - Gu, Zonghua; Wang, Shige; Kodase, Sharath; Shin, Kang G. (2003)

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