Zonghua Gu

Orcid: 0000-0003-4228-2774

Affiliations:
  • Umeå University, Department of Applied Physics and Electronics, Sweden
  • Zhejiang University, College of Computer Science, Hangzhou, China
  • Hong Kong University of Science and Technology, Hong Kong (former)
  • University of Virginia, Charlottesville, VA, USA (former)
  • University of Michigan, Ann Arbor, MI, USA (PhD 2004)


According to our database1, Zonghua Gu authored at least 125 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the Scheduling of Fault-Tolerant Time-Sensitive Networking With IEEE 802.1CB.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2024

Energy Management for Fault-tolerant (m,k)-constrained Real-time Systems That Use Standby-Sparing.
ACM Trans. Embed. Comput. Syst., May, 2024

Energy-Constrained Scheduling for Weakly Hard Real-Time Systems Using Standby-Sparing.
ACM Trans. Design Autom. Electr. Syst., March, 2024

EDF-Based Energy-Efficient Semi-Clairvoyant Scheduling With Graceful Degradation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2024

Criticality-Aware EDF Scheduling for Constrained-Deadline Imprecise Mixed-Criticality Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2024

Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation.
ACM Trans. Embed. Comput. Syst., January, 2024

2023
Efficient Performance Prediction of End-to-End Autonomous Driving Under Continuous Distribution Shifts Based on Anomaly Detection.
J. Signal Process. Syst., December, 2023

Timing Performance Benchmarking of Out-of-Distribution Detection Algorithms.
J. Signal Process. Syst., December, 2023

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., December, 2023

An acoustic echo canceller optimized for hands-free speech telecommunication in large vehicle cabins.
EURASIP J. Audio Speech Music. Process., December, 2023

Energy-Aware Partitioned Scheduling of Imprecise Mixed-Criticality Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

ECFA: An Efficient Convergent Firefly Algorithm for Solving Task Scheduling Problems in Cloud-Edge Computing.
IEEE Trans. Serv. Comput., 2023

Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems.
IEEE Trans. Ind. Informatics, 2023

Edge-AI-Driven Framework with Efficient Mobile Network Design for Facial Expression Recognition.
ACM Trans. Embed. Comput. Syst., 2023

A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems.
IEEE Trans. Computers, 2023

LRP-based network pruning and policy distillation of robust and non-robust DRL agents for embedded systems.
Concurr. Comput. Pract. Exp., 2023

Rotation-Invariant Descriptors Learned with Circulant Convolution Neural Networks.
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

ER3D: An Efficient Real-time 3D Object Detection Framework for Autonomous Driving.
Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

Towards Effective Training of Robust Spiking Recurrent Neural Networks Under General Input Noise via Provable Analysis.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Perceptual Enhancement for Autonomous Vehicles: Restoring Visually Degraded Images for Context Prediction via Adversarial Training.
IEEE Trans. Intell. Transp. Syst., 2022

A Modular Approximation Methodology for Efficient Fixed-Point Hardware Implementation of the Sigmoid Function.
IEEE Trans. Ind. Electron., 2022

Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms.
ACM Trans. Embed. Comput. Syst., 2022

CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection.
ACM Trans. Embed. Comput. Syst., 2022

Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive Networking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication.
Comput. Commun., 2022

Data Availability Optimization for Cyber-Physical Systems.
Proceedings of the 2022 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2022

LRP-based Policy Pruning and Distillation of Reinforcement Learning Agents for Embedded Systems.
Proceedings of the 25th IEEE International Symposium On Real-Time Distributed Computing, 2022

Message from ICESS 2022 Program Chairs.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021
An Intelligent Video Analysis Method for Abnormal Event Detection in Intelligent Transportation Systems.
IEEE Trans. Intell. Transp. Syst., 2021

Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.
Formal Aspects Comput., 2021

Out-of-Distribution Detection for Deep Neural Networks With Isolation Forest and Local Outlier Factor.
IEEE Access, 2021

2020
Deep Learning Models for Real-time Human Activity Recognition with Smartphones.
Mob. Networks Appl., 2020

Cognitive computing and wireless communications on the edge for healthcare service robots.
Comput. Commun., 2020

Efficient Spiking Neural Networks With Logarithmic Temporal Coding.
IEEE Access, 2020

Simulation Performance Enhancement in Automotive Embedded Control Using the Unscented Transform.
IEEE Access, 2020

2019
Overfitting remedy by sparsifying regularization on fully-connected layers of CNNs.
Neurocomputing, 2019

Multi-dimensional data indexing and range query processing via Voronoi diagram for internet of things.
Future Gener. Comput. Syst., 2019

2018
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling.
J. Syst. Archit., 2018

A decomposition-based approach to optimization of TTP-based distributed embedded systems.
J. Syst. Archit., 2018

Introduction to the special issue on "Embedded Artificial Intelligence and Smart Computing".
J. Syst. Archit., 2018

WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems.
IEEE Access, 2018

Model-Based Development of an Engine Control Module for a Spark Ignition Engine.
IEEE Access, 2018

Analytical and Experimental Performance Evaluations of CAN-FD Bus.
IEEE Access, 2018

GA-Based Mapping and Scheduling of HSDF Graphs on Multiprocessor Platforms.
Proceedings of the Green, Pervasive, and Cloud Computing - 13th International Conference, 2018

EDF-Based Mixed-Criticality Systems with Weakly-Hard Timing Constraints.
Proceedings of the Green, Pervasive, and Cloud Computing - 13th International Conference, 2018

2017
Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models.
ACM Trans. Design Autom. Electr. Syst., 2017

Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines.
ACM Trans. Embed. Comput. Syst., 2017

Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling.
J. Syst. Archit., 2017

Darwin: A neuromorphic hardware co-processor based on spiking neural networks.
J. Syst. Archit., 2017

Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices.
CoRR, 2017

2016
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization.
IEEE Trans. Parallel Distributed Syst., 2016

Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems.
IEEE Trans. Parallel Distributed Syst., 2016

Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling.
ACM Trans. Design Autom. Electr. Syst., 2016

Cache-Partitioned Preemption Threshold Scheduling.
ACM Trans. Embed. Comput. Syst., 2016

HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling.
J. Syst. Archit., 2016

Special Issue on High Performance Computing, Communication and Embedded Software/Systems.
J. Syst. Archit., 2016

Improving computation efficiency of schedulability of transaction-based task model for distributed real-time embedded systems.
Int. J. Embed. Syst., 2016

2015
WCET-Aware Energy-Efficient Data Allocation on Scratchpad Memory for Real-Time Embedded Systems.
IEEE Trans. Very Large Scale Integr. Syst., 2015

Defending jamming attack in wide-area monitoring system for smart grid.
Telecommun. Syst., 2015

Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling.
ACM Trans. Embed. Comput. Syst., 2015

Endurance-Aware Allocation of Data Variables on NVM-Based Scratchpad Memory in Real-Time Embedded Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization.
Proceedings of the 2015 International Conference on Compilers, 2015

Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014
WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems.
IEEE Trans. Ind. Electron., 2014

A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsets.
Int. J. Embed. Syst., 2014

Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets.
Int. J. Embed. Syst., 2014

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling.
IEEE Embed. Syst. Lett., 2014

Optimizated Allocation of Data Variables to PCM/DRAM-based Hybrid Main Memory for Real-Time Embedded Systems.
IEEE Embed. Syst. Lett., 2014

Partitioned multiprocessor scheduling of mixed-criticality parallel jobs.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

2013
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

PT-AMC: integrating preemption thresholds into mixed-criticality scheduling.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Online optimization for scheduling preemptable tasks on IaaS cloud systems.
J. Parallel Distributed Comput., 2012

Design and Implementation of an Automotive Telematics Gateway Based on Virtualization.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems.
IEEE Trans. Parallel Distributed Syst., 2011

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling.
J. Syst. Archit., 2011

HRS: A Hierarchical Routing and Scheduling Scheme for Distributed Real-Time and Embedded Systems.
Ad Hoc Sens. Wirel. Networks, 2011

Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations.
Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

2010
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst., 2010

PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems.
IEEE Trans. Ind. Informatics, 2010

Online adaptive utilization control for real-time embedded multiprocessor systems.
J. Syst. Archit., 2010

Implementing a Thermal-Aware Scheduler in Linux Kernel on a Multi-Core Processor.
Comput. J., 2010

Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming.
Comput. J., 2010

2009
Efficient algorithms for 2D area management and online task placement on runtime reconfigurable FPGAs.
Microprocess. Microsystems, 2009

Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow.
IEEE Embed. Syst. Lett., 2009

Power-Aware CPU Utilization Control for Distributed Real-Time Systems.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst., 2008

A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems.
IEEE Trans. Ind. Informatics, 2008

Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture.
Microprocess. Microsystems, 2008

Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Performance Comparison of Techniques on Static Path Analysis of WCET.
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Online adaptive utilization control for real-time embedded multiprocessor systems.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Real-Time Component Composition Using Hierarchical Timed Automata.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Teaching embedded systems software: The HKUST experience.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.
Proceedings of the 44th Design Automation Conference, 2007

2005
Synthesis of Real-Time Implementations from Component-Based Software Models.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Solving Real-Time Scheduling Problems with Model-Checking.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005

Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
Techniques and tools for model-based design and analysis of embedded real-time software.
PhD thesis, 2004

Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Algorithms for effective variable bit rate traffic smoothing.
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003

An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Integrated Modeling and Analysis of Computer-Based Embedded Control Systems.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002


  Loading...