default search action
Zonghua Gu 0001
Person information
- affiliation: Umeå University, Department of Applied Physics and Electronics, Sweden
- affiliation: Zhejiang University, College of Computer Science, Hangzhou, China
- affiliation (former): Hong Kong University of Science and Technology, Hong Kong
- affiliation (former): University of Virginia, Charlottesville, VA, USA
- affiliation (PhD 2004): University of Michigan, Ann Arbor, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j73]Yiwen Zhang, Hui Zheng
, Zonghua Gu
EDF-Based Energy-Efficient Semi-Clairvoyant Scheduling With Graceful Degradation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(2): 468-479 (2024) - [j72]Yiwen Zhang, Jin-Peng Ma, Hui Zheng, Zonghua Gu
Criticality-Aware EDF Scheduling for Constrained-Deadline Imprecise Mixed-Criticality Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(2): 480-491 (2024) - [j71]Zhiwei Feng
On the Scheduling of Fault-Tolerant Time-Sensitive Networking With IEEE 802.1CB. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(6): 1715-1728 (2024) - [j70]Yiwen Zhang, Hui Zheng
Energy-Aware Adaptive Mixed-Criticality Scheduling with Semi-Clairvoyance and Graceful Degradation. ACM Trans. Embed. Comput. Syst. 23(1): 11:1-11:20 (2024) - [j69]Linwei Niu
Energy Management for Fault-tolerant (m,k)-constrained Real-time Systems That Use Standby-Sparing. ACM Trans. Embed. Comput. Syst. 23(3): 36:1-36:36 (2024) - [j68]Linwei Niu
Energy-Constrained Scheduling for Weakly Hard Real-Time Systems Using Standby-Sparing. ACM Trans. Design Autom. Electr. Syst. 29(2): 29:1-29:35 (2024) - 2023
- [j67]Siyu Luan
LRP-based network pruning and policy distillation of robust and non-robust DRL agents for embedded systems. Concurr. Comput. Pract. Exp. 35(19) (2023) - [j66]Amin Saremi
An acoustic echo canceller optimized for hands-free speech telecommunication in large vehicle cabins. EURASIP J. Audio Speech Music. Process. 2023(1): 39 (2023) - [j65]Zhe Jiang
A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. IEEE Trans. Computers 72(1): 29-42 (2023) - [j64]Yiwen Zhang, Rong-Kun Chen, Zonghua Gu
Energy-Aware Partitioned Scheduling of Imprecise Mixed-Criticality Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3733-3742 (2023) - [j63]Zhe Jiang
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. 42(12): 4629-4642 (2023) - [j62]Yirui Wu
Edge-AI-Driven Framework with Efficient Mobile Network Design for Facial Expression Recognition. ACM Trans. Embed. Comput. Syst. 22(3): 57:1-57:17 (2023) - [j61]Zhibin Yang
Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems. IEEE Trans. Ind. Informatics 19(1): 1107-1116 (2023) - [j60]Lu Yin
ECFA: An Efficient Convergent Firefly Algorithm for Solving Task Scheduling Problems in Cloud-Edge Computing. IEEE Trans. Serv. Comput. 16(5): 3280-3293 (2023) - [j59]Siyu Luan
Timing Performance Benchmarking of Out-of-Distribution Detection Algorithms. J. Signal Process. Syst. 95(12): 1355-1370 (2023) - [j58]Siyu Luan
Efficient Performance Prediction of End-to-End Autonomous Driving Under Continuous Distribution Shifts Based on Anomaly Detection. J. Signal Process. Syst. 95(12): 1455-1468 (2023) - [c51]Qingqiang He, Nan Guan
On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks. DATE 2023: 1-6 - [c50]Wendong Zheng, Yu Zhou, Gang Chen, Zonghua Gu, Kai Huang:
Towards Effective Training of Robust Spiking Recurrent Neural Networks Under General Input Noise via Provable Analysis. ICCAD 2023: 1-9 - [c49]Haitao Meng, Changcai Li, Gang Chen, Zonghua Gu, Alois Knoll:
ER3D: An Efficient Real-time 3D Object Detection Framework for Autonomous Driving. ICPADS 2023: 1157-1164 - [c48]Wenwei Lin, Chonghao Zhong, Xunpei Sun, Haitao Meng, Gang Chen, Biao Hu, Zonghua Gu:
Rotation-Invariant Descriptors Learned with Circulant Convolution Neural Networks. ICTAI 2023: 415-422 - 2022
- [j57]Shaohua Wan, Remigiusz Wisniewski, George C. Alexandropoulos, Zonghua Gu, Pierluigi Siano
Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication. Comput. Commun. 181: 472-473 (2022) - [j56]Shuangshuang Chang
Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3874-3885 (2022) - [j55]Zhiwei Feng
Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive Networking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4253-4264 (2022) - [j54]Qingling Zhao
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms. ACM Trans. Embed. Comput. Syst. 21(2): 20:1-20:30 (2022) - [j53]Qingling Zhao
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. ACM Trans. Embed. Comput. Syst. 21(4): 45:1-45:30 (2022) - [j52]Zhe Pan
A Modular Approximation Methodology for Efficient Fixed-Point Hardware Implementation of the Sigmoid Function. IEEE Trans. Ind. Electron. 69(10): 10694-10703 (2022) - [j51]Feng Ding
Perceptual Enhancement for Autonomous Vehicles: Restoring Visually Degraded Images for Context Prediction via Adversarial Training. IEEE Trans. Intell. Transp. Syst. 23(7): 9430-9441 (2022) - [c47]Harini Ramaprasad, Zonghua Gu, Wei Jiang:
Message from ICESS 2022 Program Chairs. HPCC/DSS/SmartCity/DependSys 2022: lxviii - [c46]Rui Xu, Siyu Luan
LRP-based Policy Pruning and Distillation of Reinforcement Learning Agents for Embedded Systems. ISORC 2022: 1-8 - [c45]Liying Li, Peijin Cong, Junlong Zhou, Zonghua Gu, Keqin Li:
Data Availability Optimization for Cyber-Physical Systems. iThings/GreenCom/CPSCom/SmartData/Cybermatics 2022: 349-356 - 2021
- [j50]Siyu Luan
Out-of-Distribution Detection for Deep Neural Networks With Isolation Forest and Local Outlier Factor. IEEE Access 9: 132980-132989 (2021) - [j49]Zhibin Yang
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Formal Aspects Comput. 33(3): 343-384 (2021) - [j48]Shaohua Wan
An Intelligent Video Analysis Method for Abnormal Event Detection in Intelligent Transportation Systems. IEEE Trans. Intell. Transp. Syst. 22(7): 4487-4495 (2021) - 2020
- [j47]Ming Zhang
Efficient Spiking Neural Networks With Logarithmic Temporal Coding. IEEE Access 8: 98156-98167 (2020) - [j46]Abraham Elias Ortega Paredes, Lauro Roberto Nunes, Max Mauro Dias Santos
Simulation Performance Enhancement in Automotive Embedded Control Using the Unscented Transform. IEEE Access 8: 222041-222049 (2020) - [j45]Shaohua Wan
Cognitive computing and wireless communications on the edge for healthcare service robots. Comput. Commun. 149: 99-106 (2020) - [j44]Shaohua Wan
Deep Learning Models for Real-time Human Activity Recognition with Smartphones. Mob. Networks Appl. 25(2): 743-755 (2020)
2010 – 2019
- 2019
- [j43]Shaohua Wan
Multi-dimensional data indexing and range query processing via Voronoi diagram for internet of things. Future Gener. Comput. Syst. 91: 382-391 (2019) - [j42]Qi Xu
Overfitting remedy by sparsifying regularization on fully-connected layers of CNNs. Neurocomputing 328: 69-74 (2019) - 2018
- [j41]Ricardo de Andrade
Analytical and Experimental Performance Evaluations of CAN-FD Bus. IEEE Access 6: 21287-21295 (2018) - [j40]Ming Zhang
WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems. IEEE Access 6: 42394-42406 (2018) - [j39]Bruno Martin De Alcantara Dias
Model-Based Development of an Engine Control Module for a Spark Ignition Engine. IEEE Access 6: 53638-53649 (2018) - [j38]Qingling Zhao, Zonghua Gu
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 83: 57-74 (2018) - [j37]Zonghua Gu
Introduction to the special issue on "Embedded Artificial Intelligence and Smart Computing". J. Syst. Archit. 84: 1 (2018) - [j36]Ming Zhang, Nenggan Zheng
A decomposition-based approach to optimization of TTP-based distributed embedded systems. J. Syst. Archit. 91: 53-61 (2018) - [c44]Hao Wu, Zonghua Gu, Hong Li, Nenggan Zheng:
EDF-Based Mixed-Criticality Systems with Weakly-Hard Timing Constraints. GPC 2018: 312-322 - [c43]Hao Wu, Nenggan Zheng, Hong Li, Zonghua Gu:
GA-Based Mapping and Scheduling of HSDF Graphs on Multiprocessor Platforms. GPC 2018: 323-333 - [i2]Ming Zhang, Nenggan Zheng, De Ma, Gang Pan, Zonghua Gu:
Efficient Spiking Neural Networks with Logarithmic Temporal Coding. CoRR abs/1811.04233 (2018) - 2017
- [j35]Qingling Zhao, Zonghua Gu
Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 72: 61-68 (2017) - [j34]De Ma, Juncheng Shen, Zonghua Gu
Darwin: A neuromorphic hardware co-processor based on spiking neural networks. J. Syst. Archit. 77: 43-51 (2017) - [j33]Yecheng Zhao, Chao Peng, Haibo Zeng, Zonghua Gu
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines. ACM Trans. Embed. Comput. Syst. 16(5s): 175:1-175:21 (2017) - [j32]Qingling Zhao, Zaid Al-bayati, Zonghua Gu
Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models. ACM Trans. Design Autom. Electr. Syst. 22(2): 23:1-23:25 (2017) - [i1]Wenjia Meng, Zonghua Gu, Ming Zhang, Zhaohui Wu:
Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices. CoRR abs/1701.00485 (2017) - 2016
- [j31]Juncheng Shen, De Ma, Zonghua Gu
Darwin: a neuromorphic hardware co-processor based on Spiking Neural Networks. Sci. China Inf. Sci. 59(2): 1-5 (2016) - [j30]Zonghua Gu
Improving computation efficiency of schedulability of transaction-based task model for distributed real-time embedded systems. Int. J. Embed. Syst. 8(4): 277-292 (2016) - [j29]Qingling Zhao, Zonghua Gu
HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. J. Syst. Archit. 66-67: 84-99 (2016) - [j28]Zonghua Gu
Special Issue on High Performance Computing, Communication and Embedded Software/Systems. J. Syst. Archit. 70: 1-2 (2016) - [j27]Zonghua Gu, Chao Wang, Haibo Zeng:
Cache-Partitioned Preemption Threshold Scheduling. ACM Trans. Embed. Comput. Syst. 16(1): 13:1-13:30 (2016) - [j26]Chao Wang, Chuansheng Dong, Haibo Zeng, Zonghua Gu
Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling. ACM Trans. Design Autom. Electr. Syst. 21(3): 46:1-46:25 (2016) - [j25]Zonghua Gu
Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 27(10): 3044-3057 (2016) - [j24]Chao Wang, Zonghua Gu
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization. IEEE Trans. Parallel Distributed Syst. 27(11): 3242-3255 (2016) - 2015
- [j23]Zhu Wang, Zonghua Gu
Endurance-Aware Allocation of Data Variables on NVM-Based Scratchpad Memory in Real-Time Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(10): 1600-1612 (2015) - [j22]Qingling Zhao, Zonghua Gu
Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. ACM Trans. Embed. Comput. Syst. 14(4): 81:1-81:25 (2015) - [j21]Jianwei Niu, Zhong Ming, Meikang Qiu, Hai Su, Zonghua Gu
Defending jamming attack in wide-area monitoring system for smart grid. Telecommun. Syst. 60(1): 159-167 (2015) - [j20]Zhu Wang, Zonghua Gu
WCET-Aware Energy-Efficient Data Allocation on Scratchpad Memory for Real-Time Embedded Systems. IEEE Trans. Very Large Scale Integr. Syst. 23(11): 2700-2704 (2015) - [c42]Zaid Al-bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, Zonghua Gu:
Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. ASP-DAC 2015: 630-635 - [c41]Weichen Liu
Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization. CASES 2015: 127-136 - [c40]Chao Wang, Zonghua Gu
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. ECRTS 2015: 69-79 - 2014
- [j19]Qingling Zhao, Zonghua Gu
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. IEEE Embed. Syst. Lett. 6(1): 8-11 (2014) - [j18]Zhu Wang, Zonghua Gu
Optimizated Allocation of Data Variables to PCM/DRAM-based Hybrid Main Memory for Real-Time Embedded Systems. IEEE Embed. Syst. Lett. 6(3): 61-64 (2014) - [j17]Zonghua Gu
A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsets. Int. J. Embed. Syst. 6(2/3): 176-187 (2014) - [j16]Zonghua Gu
Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets. Int. J. Embed. Syst. 6(4): 303-318 (2014) - [j15]Zonghua Gu
WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems. IEEE Trans. Ind. Electron. 61(10): 5652-5661 (2014) - [c39]Guangdong Liu, Ying Lu, Shige Wang, Zonghua Gu:
Partitioned multiprocessor scheduling of mixed-criticality parallel jobs. RTCSA 2014: 1-10 - 2013
- [c38]Qingling Zhao, Zonghua Gu, Haibo Zeng:
PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. DATE 2013: 141-146 - [c37]Qingling Zhao, Zonghua Gu, Haibo Zeng:
Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm. RTCSA 2013: 227-236 - [c36]Zaid Al-bayati, Haibo Zeng, Marco Di Natale
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES 2013: 168-177 - 2012
- [j14]Jiayin Li, Meikang Qiu, Zhong Ming, Gang Quan
Online optimization for scheduling preemptable tasks on IaaS cloud systems. J. Parallel Distributed Comput. 72(5): 666-677 (2012) - [c35]Zonghua Gu, Zhu Wang, Shijian Li, Haibin Cai:
Design and Implementation of an Automotive Telematics Gateway Based on Virtualization. ISORC Workshops 2012: 53-58 - 2011
- [j13]Lei Rao, Xue Liu, Zonghua Gu, Wenyu Liu:
HRS: A Hierarchical Routing and Scheduling Scheme for Distributed Real-Time and Embedded Systems. Ad Hoc Sens. Wirel. Networks 11(3-4): 265-284 (2011) - [j12]Nan Guan
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. J. Syst. Archit. 57(5): 536-546 (2011) - [j11]Weichen Liu
Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems. IEEE Trans. Parallel Distributed Syst. 22(8): 1382-1389 (2011) - [c34]Ming Zhang
Optimization issues in mapping AUTOSAR components to distributed multithreaded implementations. International Symposium on Rapid System Prototyping 2011: 23-29 - 2010
- [j10]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) - [j9]Xiuqiang He, Zonghua Gu
Task Allocation and Optimization of Distributed Embedded Systems with Simulated Annealing and Geometric Programming. Comput. J. 53(7): 1071-1091 (2010) - [j8]Jianguo Yao, Xue Liu, Zonghua Gu
Online adaptive utilization control for real-time embedded multiprocessor systems. J. Syst. Archit. 56(9): 463-473 (2010) - [j7]Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu
PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems. IEEE Trans. Ind. Informatics 6(3): 302-315 (2010) - [j6]Mingxuan Yuan, Zonghua Gu
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs. ACM Trans. Design Autom. Electr. Syst. 15(2): 13:1-13:41 (2010)
2000 – 2009
- 2009
- [j5]Weichen Liu
Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow. IEEE Embed. Syst. Lett. 1(3): 69-72 (2009) - [j4]Zonghua Gu
Efficient algorithms for 2D area management and online task placement on runtime reconfigurable FPGAs. Microprocess. Microsystems 33(5-6): 374-387 (2009) - [c33]Nan Guan
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. ASP-DAC 2009: 715-720 - [c32]Weichen Liu
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. CODES+ISSS 2009: 61-70 - [c31]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 - 2008
- [j3]Wei Hu, Yongxin Zhu, Zonghua Gu
Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture. Microprocess. Microsystems 32(4): 234-242 (2008) - [j2]Xiuqiang He, Mingxuan Yuan, Zonghua Gu
A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. IEEE Trans. Ind. Informatics 4(4): 237-249 (2008) - [j1]Nan Guan
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs. ACM Trans. Design Autom. Electr. Syst. 13(4): 56:1-56:43 (2008) - [c30]Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu:
Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS 2008: 85-90 - [c29]Mingsong Lv
Performance Comparison of Techniques on Static Path Analysis of WCET. EUC (1) 2008: 104-111 - [c28]Nan Guan
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. ISORC 2008: 556-560 - [c27]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 - [c26]Nan Guan
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. RTSS 2008: 137-146 - [c25]Weihuan Shu, Xue Liu, Zonghua Gu
Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks. RTSS 2008: 431-441 - [c24]Weichen Liu
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. RTSS 2008: 492-504 - 2007
- [c23]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 - [c22]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 - [c21]Jogesh K. Muppala
Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6 - [c20]Nan Guan
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices. IPDPS 2007: 1-8 - [c19]Jin Cui, Zonghua Gu
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. ISORC 2007: 321-328 - [c18]Xianli Jin, Huadong Ma, Zonghua Gu:
Real-Time Component Composition Using Hierarchical Timed Automata. QSIC 2007: 90-99 - [c17]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 - [c16]Zonghua Gu
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. RTSS 2007: 353-364 - [c15]Zonghua Gu, Qingxu Deng:
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution. SEKE 2007: 320-325 - [c14]Nan Guan
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. SEUS 2007: 263-272 - 2005
- [c13]Zonghua Gu, Zhimin He:
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models. CBSE 2005: 235-250 - [c12]Zonghua Gu:
Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking. EUC 2005: 214-223 - [c11]Zonghua Gu:
Solving Real-Time Scheduling Problems with Model-Checking. ICESS 2005: 186-197 - [c10]Zonghua Gu, Kang G. Shin:
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software. ISORC 2005: 410-417 - [c9]Zonghua Gu, Kang G. Shin:
Synthesis of Real-Time Implementations from Component-Based Software Models. RTSS 2005: 167-176 - 2004
- [b1]Zonghua Gu:
Techniques and tools for model-based design and analysis of embedded real-time software. University of Michigan, USA, 2004 - [c8]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
- [c7]Zonghua Gu, Kang G. Shin:
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. ECBS 2003: 141-148 - [c6]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 - [c5]Zonghua Gu, Kang G. Shin:
Algorithms for effective variable bit rate traffic smoothing. IPCCC 2003: 387-394 - [c4]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- - [c3]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 - [c2]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 - 2002
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: