Zonghua Gu

136 papers A* 3A 15B 6C 10Misc 3Journal 80Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
AerialVLA: A Vision-Language-Action Model for UAV Navigation via Minimalist End-to-End Control.
CoRR
Peng Xu, Zhengnan Deng, Jiayan Deng, Zonghua Gu, Shaohua Wan
2026 J jnl
Performance Measurement and Analysis of Certifiable Defenses against Adversarial Patch Attacks.
J. Signal Process. Syst.
Zeyu Gao, Amin Saremi, Zonghua Gu
2025 — conf
Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical Software.
MODELS-C
Yaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Yong Zhou, Zonghua Gu
2025 — conf
Can Small Quantized VLMs Drive? An Experimental Evaluation of Small Quantized VLMs for Autonomous Driving.
ICDM (Workshops)
Samson Mathew, Zonghua Gu
2025 A* conf
Dynamic Neural Fortresses: An Adaptive Shield for Model Extraction Defense.
ICLR
Siyu Luan, Zhenyi Wang, Li Shen, Zonghua Gu, Chao Wu, Dacheng Tao
2025 J jnl
Partitioned Scheduling With Shared Resources on Imprecise Mixed-Criticality Multiprocessor Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yiwen Zhang, Jin-Peng Ma, Zonghua Gu
2025 J jnl
Training multi-bit Spiking Neural Network with Virtual Neurons.
Neurocomputing
Haoran Xu, Zonghua Gu, Ruimin Sun, De Ma
2024 J jnl
Criticality-Aware EDF Scheduling for Constrained-Deadline Imprecise Mixed-Criticality Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yiwen Zhang, Jin-Peng Ma, Hui Zheng, Zonghua Gu
2024 J jnl
EDF-Based Energy-Efficient Semi-Clairvoyant Scheduling With Graceful Degradation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yiwen Zhang, Hui Zheng, Zonghua Gu
2024 J jnl
Energy Management for Fault-tolerant (m,k)-constrained Real-time Systems That Use Standby-Sparing.
ACM Trans. Embed. Comput. Syst.
Linwei Niu, Danda B. Rawat, Dakai Zhu, Jonathan Musselwhite, Zonghua Gu, Qingxu Deng
2024 J jnl
Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation.
ACM Trans. Embed. Comput. Syst.
Yiwen Zhang, Hui Zheng, Zonghua Gu
2024 J jnl
Energy-Constrained Scheduling for Weakly Hard Real-Time Systems Using Standby-Sparing.
ACM Trans. Design Autom. Electr. Syst.
Linwei Niu, Danda B. Rawat, Jonathan Musselwhite, Zonghua Gu, Qingxu Deng
2024 J jnl
On the Scheduling of Fault-Tolerant Time-Sensitive Networking With IEEE 802.1CB.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhiwei Feng, Chaoquan Wu, Qingxu Deng, Yuhan Lin, Shichang Gao, Zonghua Gu
2024 A* conf
Real-time Stereo-based 3D Object Detection for Streaming Perception.
NeurIPS
Changcai Li, Zonghua Gu, Gang Chen, Libo Huang, Wei Zhang, Huihui Zhou
2024 J jnl
Real-time Stereo-based 3D Object Detection for Streaming Perception.
CoRR
Changcai Li, Zonghua Gu, Gang Chen, Libo Huang, Wei Zhang, Huihui Zhou
2023 J jnl
A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems.
IEEE Trans. Computers
Zhe Jiang, Xiaotian Dai, Alan Burns, Neil C. Audsley, Zonghua Gu, Ian Gray
2023 J jnl
An acoustic echo canceller optimized for hands-free speech telecommunication in large vehicle cabins.
EURASIP J. Audio Speech Music. Process.
Amin Saremi, Balaji Ramkumar, Ghazaleh Ghaffari, Zonghua Gu
2023 J jnl
ECFA: An Efficient Convergent Firefly Algorithm for Solving Task Scheduling Problems in Cloud-Edge Computing.
IEEE Trans. Serv. Comput.
Lu Yin, Jin Sun, Junlong Zhou, Zonghua Gu, Keqin Li
2023 B conf
ER3D: An Efficient Real-time 3D Object Detection Framework for Autonomous Driving.
ICPADS
Haitao Meng, Changcai Li, Gang Chen, Zonghua Gu, Alois Knoll
2023 J jnl
Edge-AI-Driven Framework with Efficient Mobile Network Design for Facial Expression Recognition.
ACM Trans. Embed. Comput. Syst.
Yirui Wu, Lilai Zhang, Zonghua Gu, Hu Lu, Shaohua Wan
2023 J jnl
Efficient Performance Prediction of End-to-End Autonomous Driving Under Continuous Distribution Shifts Based on Anomaly Detection.
J. Signal Process. Syst.
Siyu Luan, Zonghua Gu, Shaohua Wan
2023 J jnl
Energy-Aware Partitioned Scheduling of Imprecise Mixed-Criticality Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yiwen Zhang, Rong-Kun Chen, Zonghua Gu
2023 J jnl
LRP-based network pruning and policy distillation of robust and non-robust DRL agents for embedded systems.
Concurr. Comput. Pract. Exp.
Siyu Luan, Zonghua Gu, Rui Xu, Qingling Zhao, Gang Chen
2023 J jnl
Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems.
IEEE Trans. Ind. Informatics
Zhibin Yang, Linquan Xing, Zonghua Gu, Yingmin Xiao, Yong Zhou, Zhiqiu Huang, Lei Xue
2023 J jnl
NPRC-I/O: An NoC-Based Real-Time I/O System With Reduced Contention and Enhanced Predictability.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhe Jiang, Xiaotian Dai, Ran Wei, Ian Gray, Zonghua Gu, Qingling Zhao, Shuai Zhao
2023 A conf
On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks.
DATE
Qingqiang He, Nan Guan, Mingsong Lv, Zonghua Gu
2023 B conf
Rotation-Invariant Descriptors Learned with Circulant Convolution Neural Networks.
ICTAI
Wenwei Lin, Chonghao Zhong, Xunpei Sun, Haitao Meng, Gang Chen, Biao Hu, Zonghua Gu
2023 J jnl
Timing Performance Benchmarking of Out-of-Distribution Detection Algorithms.
J. Signal Process. Syst.
Siyu Luan, Zonghua Gu, Amin Saremi, Leonid B. Freidovich, Lili Jiang, Shaohua Wan
2023 A conf
Towards Effective Training of Robust Spiking Recurrent Neural Networks Under General Input Noise via Provable Analysis.
ICCAD
Wendong Zheng, Yu Zhou, Gang Chen, Zonghua Gu, Kai Huang
2022 J jnl
A Modular Approximation Methodology for Efficient Fixed-Point Hardware Implementation of the Sigmoid Function.
IEEE Trans. Ind. Electron.
Zhe Pan, Zonghua Gu, Xiaohong Jiang, Guoquan Zhu, De Ma
2022 J jnl
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection.
ACM Trans. Embed. Comput. Syst.
Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, Samarjit Chakraborty
2022 — conf
Data Availability Optimization for Cyber-Physical Systems.
iThings/GreenCom/CPSCom/SmartData/Cybermatics
Liying Li, Peijin Cong, Junlong Zhou, Zonghua Gu, Keqin Li
2022 C conf
LRP-based Policy Pruning and Distillation of Reinforcement Learning Agents for Embedded Systems.
ISORC
Rui Xu, Siyu Luan, Zonghua Gu, Qingling Zhao, Gang Chen
2022 — conf
Message from ICESS 2022 Program Chairs.
HPCC/DSS/SmartCity/DependSys
Harini Ramaprasad, Zonghua Gu, Wei Jiang
2022 J jnl
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms.
ACM Trans. Embed. Comput. Syst.
Qingling Zhao, Mengfei Qu, Zonghua Gu, Haibo Zeng
2022 J jnl
Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive Networking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhiwei Feng, Zonghua Gu, Haichuan Yu, Qingxu Deng, Linwei Niu
2022 J jnl
Perceptual Enhancement for Autonomous Vehicles: Restoring Visually Degraded Images for Context Prediction via Adversarial Training.
IEEE Trans. Intell. Transp. Syst.
Feng Ding, Keping Yu, Zonghua Gu, Xiangjun Li, Yunqing Shi
2022 J jnl
Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication.
Comput. Commun.
Shaohua Wan, Remigiusz Wisniewski, George C. Alexandropoulos, Zonghua Gu, Pierluigi Siano
2022 J jnl
Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shuangshuang Chang, Ran Bi, Jinghao Sun, Weichen Liu, Qi Yu, Qingxu Deng, Zonghua Gu
2021 J jnl
An Intelligent Video Analysis Method for Abnormal Event Detection in Intelligent Transportation Systems.
IEEE Trans. Intell. Transp. Syst.
Shaohua Wan, Xiaolong Xu, Tian Wang, Zonghua Gu
2021 J jnl
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.
Formal Aspects Comput.
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu
2021 J jnl
Out-of-Distribution Detection for Deep Neural Networks With Isolation Forest and Local Outlier Factor.
IEEE Access
Siyu Luan, Zonghua Gu, Leonid B. Freidovich, Lili Jiang, Qingling Zhao
2020 J jnl
Cognitive computing and wireless communications on the edge for healthcare service robots.
Comput. Commun.
Shaohua Wan, Zonghua Gu, Qiang Ni
2020 J jnl
Deep Learning Models for Real-time Human Activity Recognition with Smartphones.
Mob. Networks Appl.
Shaohua Wan, Lianyong Qi, Xiaolong Xu, Chao Tong, Zonghua Gu
2020 J jnl
Efficient Spiking Neural Networks With Logarithmic Temporal Coding.
IEEE Access
Ming Zhang, Zonghua Gu, Nenggan Zheng, De Ma, Gang Pan
2020 J jnl
Simulation Performance Enhancement in Automotive Embedded Control Using the Unscented Transform.
IEEE Access
Abraham Elias Ortega Paredes, Lauro Roberto Nunes, Max Mauro Dias Santos, Leonardo Rodrigues Araújo Xavier de Menezes, Kathya Silvia Collazos Linares, João Francisco Justo, Zonghua Gu
2019 J jnl
Multi-dimensional data indexing and range query processing via Voronoi diagram for internet of things.
Future Gener. Comput. Syst.
Shaohua Wan, Yu Zhao, Tian Wang, Zonghua Gu, Qammer H. Abbasi, Kim-Kwang Raymond Choo
2019 J jnl
Overfitting remedy by sparsifying regularization on fully-connected layers of CNNs.
Neurocomputing
Qi Xu, Ming Zhang, Zonghua Gu, Gang Pan
2018 J jnl
A decomposition-based approach to optimization of TTP-based distributed embedded systems.
J. Syst. Archit.
Ming Zhang, Nenggan Zheng, Hong Li, Zonghua Gu
2018 J jnl
Analytical and Experimental Performance Evaluations of CAN-FD Bus.
IEEE Access
Ricardo de Andrade, Kleber N. Hodel, João Francisco Justo, Armando A. M. Laganá, Max Mauro Santos, Zonghua Gu
2018 C conf
EDF-Based Mixed-Criticality Systems with Weakly-Hard Timing Constraints.
GPC
Hao Wu, Zonghua Gu, Hong Li, Nenggan Zheng
2018 J jnl
Efficient Spiking Neural Networks with Logarithmic Temporal Coding.
CoRR
Ming Zhang, Nenggan Zheng, De Ma, Gang Pan, Zonghua Gu
2018 C conf
GA-Based Mapping and Scheduling of HSDF Graphs on Multiprocessor Platforms.
GPC
Hao Wu, Nenggan Zheng, Hong Li, Zonghua Gu
2018 J jnl
Introduction to the special issue on "Embedded Artificial Intelligence and Smart Computing".
J. Syst. Archit.
Zonghua Gu, Meikang Qiu
2018 J jnl
Model-Based Development of an Engine Control Module for a Spark Ignition Engine.
IEEE Access
Bruno Martin De Alcantara Dias, Armando A. M. Laganá, João Francisco Justo, Leopoldo Rideki Yoshioka, Max Mauro Santos, Zonghua Gu
2018 J jnl
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling.
J. Syst. Archit.
Qingling Zhao, Zonghua Gu, Haibo Zeng, Nenggan Zheng
2018 J jnl
WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems.
IEEE Access
Ming Zhang, Zonghua Gu, Hong Li, Nenggan Zheng
2017 J jnl
Darwin: A neuromorphic hardware co-processor based on spiking neural networks.
J. Syst. Archit.
De Ma, Juncheng Shen, Zonghua Gu, Ming Zhang, Xiaolei Zhu, Xiaoqiang Xu, Qi Xu, Yangjing Shen, Gang Pan
2017 J jnl
Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling.
J. Syst. Archit.
Qingling Zhao, Zonghua Gu, Haibo Zeng
2017 J jnl
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines.
ACM Trans. Embed. Comput. Syst.
Yecheng Zhao, Chao Peng, Haibo Zeng, Zonghua Gu
2017 J jnl
Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models.
ACM Trans. Design Autom. Electr. Syst.
Qingling Zhao, Zaid Al-bayati, Zonghua Gu, Haibo Zeng
2017 J jnl
Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices.
CoRR
Wenjia Meng, Zonghua Gu, Ming Zhang, Zhaohui Wu
2016 J jnl
Cache-Partitioned Preemption Threshold Scheduling.
ACM Trans. Embed. Comput. Syst.
Zonghua Gu, Chao Wang, Haibo Zeng
2016 J jnl
Darwin: a neuromorphic hardware co-processor based on Spiking Neural Networks.
Sci. China Inf. Sci.
Juncheng Shen, De Ma, Zonghua Gu, Ming Zhang, Xiaolei Zhu, Xiaoqiang Xu, Qi Xu, Yangjing Shen, Gang Pan
2016 J jnl
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization.
IEEE Trans. Parallel Distributed Syst.
Chao Wang, Zonghua Gu, Haibo Zeng
2016 J jnl
HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling.
J. Syst. Archit.
Qingling Zhao, Zonghua Gu, Min Yao, Haibo Zeng
2016 J jnl
Improving computation efficiency of schedulability of transaction-based task model for distributed real-time embedded systems.
Int. J. Embed. Syst.
Zonghua Gu, Hong Li, Haibin Cai
2016 J jnl
Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling.
ACM Trans. Design Autom. Electr. Syst.
Chao Wang, Chuansheng Dong, Haibo Zeng, Zonghua Gu
2016 J jnl
Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems.
IEEE Trans. Parallel Distributed Syst.
Zonghua Gu, Gang Han, Haibo Zeng, Qingling Zhao
2016 J jnl
Special Issue on High Performance Computing, Communication and Embedded Software/Systems.
J. Syst. Archit.
Zonghua Gu, Meikang Qiu, Dakai Zhu
2015 J jnl
Defending jamming attack in wide-area monitoring system for smart grid.
Telecommun. Syst.
Jianwei Niu, Zhong Ming, Meikang Qiu, Hai Su, Zonghua Gu, Xiao Qin
2015 Misc conf
Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization.
CASES
Weichen Liu, Zonghua Gu, Yaoyao Ye
2015 J jnl
Endurance-Aware Allocation of Data Variables on NVM-Based Scratchpad Memory in Real-Time Embedded Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhu Wang, Zonghua Gu, Min Yao, Zili Shao
2015 — conf
Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms.
ASP-DAC
Zaid Al-bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, Zonghua Gu
2015 B conf
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems.
ECRTS
Chao Wang, Zonghua Gu, Haibo Zeng
2015 J jnl
Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling.
ACM Trans. Embed. Comput. Syst.
Qingling Zhao, Zonghua Gu, Haibo Zeng
2015 J jnl
WCET-Aware Energy-Efficient Data Allocation on Scratchpad Memory for Real-Time Embedded Systems.
IEEE Trans. Very Large Scale Integr. Syst.
Zhu Wang, Zonghua Gu, Zili Shao
2014 J jnl
A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsets.
Int. J. Embed. Syst.
Zonghua Gu, Zhu Wang, Haolan Chen, Haibin Cai
2014 J jnl
Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets.
Int. J. Embed. Syst.
Zonghua Gu, Haibin Cai
2014 J jnl
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling.
IEEE Embed. Syst. Lett.
Qingling Zhao, Zonghua Gu, Haibo Zeng
2014 J jnl
Optimizated Allocation of Data Variables to PCM/DRAM-based Hybrid Main Memory for Real-Time Embedded Systems.
IEEE Embed. Syst. Lett.
Zhu Wang, Zonghua Gu, Zili Shao
2014 B conf
Partitioned multiprocessor scheduling of mixed-criticality parallel jobs.
RTCSA
Guangdong Liu, Ying Lu, Shige Wang, Zonghua Gu
2014 J jnl
WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems.
IEEE Trans. Ind. Electron.
Zonghua Gu, Chao Wang, Ming Zhang, Zhaohui Wu
2013 B conf
Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm.
RTCSA
Qingling Zhao, Zonghua Gu, Haibo Zeng
2013 — conf
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.
SIES
Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu
2013 A conf
PT-AMC: integrating preemption thresholds into mixed-criticality scheduling.
DATE
Qingling Zhao, Zonghua Gu, Haibo Zeng
2012 — conf
Design and Implementation of an Automotive Telematics Gateway Based on Virtualization.
ISORC Workshops
Zonghua Gu, Zhu Wang, Shijian Li, Haibin Cai
2012 J jnl
Online optimization for scheduling preemptable tasks on IaaS cloud systems.
J. Parallel Distributed Comput.
Jiayin Li, Meikang Qiu, Zhong Ming, Gang Quan, Xiao Qin, Zonghua Gu
2011 J jnl
HRS: A Hierarchical Routing and Scheduling Scheme for Distributed Real-Time and Embedded Systems.
Ad Hoc Sens. Wirel. Networks
Lei Rao, Xue Liu, Zonghua Gu, Wenyu Liu
2011 C conf
Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations.
International Symposium on Rapid System Prototyping
Ming Zhang, Zonghua Gu
2011 J jnl
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems.
IEEE Trans. Parallel Distributed Syst.
Weichen Liu, Zonghua Gu, Jiang Xu, Xiaowen Wu, Yaoyao Ye
2011 J jnl
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling.
J. Syst. Archit.
Nan Guan, Wang Yi, Qingxu Deng, Zonghua Gu, Ge Yu
2010 J jnl
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst.
Mingxuan Yuan, Zonghua Gu, Xiuqiang He, Xue Liu, Lei Jiang
2010 J jnl
Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor.
Comput. J.
Liang Xia, Yongxin Zhu, Jun Yang, Jingwei Ye, Zonghua Gu
2010 J jnl
Online adaptive utilization control for real-time embedded multiprocessor systems.
J. Syst. Archit.
Jianguo Yao, Xue Liu, Zonghua Gu, Xiaorui Wang, Jian Li
2010 J jnl
PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems.
IEEE Trans. Ind. Informatics
Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu
2010 J jnl
Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming.
Comput. J.
Xiuqiang He, Zonghua Gu, Yongxin Zhu
2009 Misc conf
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.
CODES+ISSS
Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang, Mingxuan Yuan
2009 J jnl
Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow.
IEEE Embed. Syst. Lett.
Weichen Liu, Zonghua Gu, Jiang Xu
2009 J jnl
Efficient algorithms for 2D area management and online task placement on runtime reconfigurable FPGAs.
Microprocess. Microsystems
Zonghua Gu, Weichen Liu, Jiang Xu, Jin Cui, Xiuqiang He, Qingxu Deng
2009 — conf
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
ASP-DAC
Nan Guan, Zonghua Gu, Wang Yi, Ge Yu
2009 A conf
Power-Aware CPU Utilization Control for Distributed Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu
2008 J jnl
A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems.
IEEE Trans. Ind. Informatics
Xiuqiang He, Mingxuan Yuan, Zonghua Gu
2008 A conf
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization.
RTSS
Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu
2008 A conf
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.
IEEE Real-Time and Embedded Technology and Applications Symposium
Mingxuan Yuan, Xiuqiang He, Zonghua Gu
2008 A conf
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
RTSS
Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu
2008 Misc conf
Online adaptive utilization control for real-time embedded multiprocessor systems.
CODES+ISSS
Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu
2008 A conf
Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks.
RTSS
Weihuan Shu, Xue Liu, Zonghua Gu, Sathish Gopalakrishnan
2008 — conf
Performance Comparison of Techniques on Static Path Analysis of WCET.
EUC (1)
Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu
2008 J jnl
Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture.
Microprocess. Microsystems
Wei Hu, Yongxin Zhu, Zonghua Gu, Lei Jiang
2008 C conf
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
ISORC
Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu
2008 J jnl
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst.
Nan Guan, Qingxu Deng, Zonghua Gu, Wenyao Xu, Ge Yu
2007 C conf
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices.
ISORC
Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng
2007 A conf
An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs.
DATE
Jin Cui, Qingxu Deng, Xiuqiang He, Zonghua Gu
2007 — conf
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
SEUS
Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu
2007 A conf
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.
IPDPS
Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu, Ge Yu
2007 A conf
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.
IEEE Real-Time and Embedded Technology and Applications Symposium
Zonghua Gu, Mingxuan Yuan, Xiuqiang He
2007 A* conf
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.
DAC
Zonghua Gu, Xiuqiang He, Mingxuan Yuan
2007 C conf
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution.
SEKE
Zonghua Gu, Qingxu Deng
2007 — conf
Real-Time Component Composition Using Hierarchical Timed Automata.
QSIC
Xianli Jin, Huadong Ma, Zonghua Gu
2007 A conf
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
RTSS
Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu
2007 B conf
Teaching embedded systems software: The HKUST experience.
ICPADS
Jogesh K. Muppala, Zonghua Gu, Shing-Chi Cheung
2005 C conf
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.
ISORC
Zonghua Gu, Kang G. Shin
2005 — conf
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models.
CBSE
Zonghua Gu, Zhimin He
2005 — conf
Solving Real-Time Scheduling Problems with Model-Checking.
ICESS
Zonghua Gu
2005 A conf
Synthesis of Real-Time Implementations from Component-Based Software Models.
RTSS
Zonghua Gu, Kang G. Shin
2005 C conf
Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking.
EUC
Zonghua Gu
2004 — conf
Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation.
HASE
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin
2004 — —
Techniques and tools for model-based design and analysis of embedded real-time software.
Zonghua Gu
2003 — conf
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software.
IEEE Real Time Technology and Applications Symposium
Zonghua Gu, Sharath Kodase, Shige Wang, Kang G. Shin
2003 C conf
Algorithms for effective variable bit rate traffic smoothing.
IPCCC
Zonghua Gu, Kang G. Shin
2003 A conf
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software.
RTSS
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin
2003 A conf
An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.
ICDCS
Zonghua Gu, Kang G. Shin
2003 — conf
Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers.
IEEE Real Time Technology and Applications Symposium
Sharath Kodase, Shige Wang, Zonghua Gu, Kang G. Shin
2003 — conf
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems.
ECBS
Zonghua Gu, Kang G. Shin
2002 — conf
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.
DIPES
Zonghua Gu, Kang G. Shin