Haibo Zeng

ORCID

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 80

Top Venues

ACM Trans. Embed. Comput. Syst.

DATE

J. Syst. Archit.

Real Time Syst.

Publications

Swapnadeep Poddar, Zhesi Chen, Zichao Ma, Yuting Zhang, Chak Lam Jonathan Chan, Beitao Ren, Qianpeng Zhang, Daquan Zhang, Guozhen Shen, Haibo Zeng, Zhiyong Fan
Robust Lead-Free Perovskite Nanowire Array-Based Artificial Synapses Exemplifying Gestalt Principle of Closure via a Letter Recognition Scheme. Adv. Intell. Syst. 4 (7) (2022)
Swapnadeep Poddar, Zhesi Chen, Zichao Ma, Yuting Zhang, Chak Lam Jonathan Chan, Beitao Ren, Qianpeng Zhang, Daquan Zhang, Guozhen Shen, Haibo Zeng, Zhiyong Fan
Robust Lead-Free Perovskite Nanowire Array-Based Artificial Synapses Exemplifying Gestalt Principle of Closure via a Letter Recognition Scheme. Adv. Intell. Syst. 4 (7) (2022)
Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang, Haibo Zeng
Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds. J. Syst. Archit. 124 (2022)
Qingling Zhao, Mengfei Qu, Zonghua Gu, Haibo Zeng
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms. ACM Trans. Embed. Comput. Syst. 21 (2) (2022)
Yecheng Zhao, Runzhi Zhou, Haibo Zeng
Design optimization for real-time systems with sustainable schedulability analysis. Real Time Syst. 58 (3) (2022)
Qingyu Liu, Haibo Zeng, Minghua Chen
Minimizing AoI With Throughput Requirements in Multi-Path Network Communication. IEEE/ACM Trans. Netw. 30 (3) (2022)
Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, Samarjit Chakraborty
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. ACM Trans. Embed. Comput. Syst. 21 (4) (2022)
Junyan Su, Minghua Chen, Haibo Zeng
E2Pilot: An energy-efficient navigation system for long-haul timely truck transportation: demo. e-Energy (2022)
Qingling Zhao, Yecheng Zhao, Minhui Zou, Zhigang Gao, Haibo Zeng
Improved analysis and optimal priority assignment for communicating threads on uni-processor. J. Syst. Archit. 124 (2022)
Junyan Su, Minghua Chen, Haibo Zeng
Energy efficient timely transportation: a comparative study of internal combustion trucks and electric trucks. BuildSys@SenSys (2021)
Ashrarul H. Sifat, Burhanuddin Bharmal, Haibo Zeng, Jia-Bin Huang, Changhee Jung, Ryan K. Williams
Towards Computational Awareness in Autonomous Robots: An Empirical Study of Computational Kernels. CoRR (2021)
Jing Huang, Renfa Li, Jiyao An, Haibo Zeng, Wanli Chang
A DVFS-Weakly Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (12) (2021)
Di Wu, Xiaofeng Xie, Xiang Nie, Bin Fu, Hanhui Deng, Haibo Zeng, Zhijin Qin
Software-Defined Edge Computing: A New Architecture Paradigm to Support IoT Data Analysis. CoRR (2021)
Jia Zhou, Prachi Joshi, Haibo Zeng, Renfa Li
BTMonitor: Bit-time-based Intrusion Detection and Attacker Identification in Controller Area Network. ACM Trans. Embed. Comput. Syst. 18 (6) (2020)
Qingyu Liu, Haibo Zeng, Minghua Chen
Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. IEEE Trans. Intell. Transp. Syst. 21 (12) (2020)
Qingyu Liu, Haibo Zeng, Minghua Chen
Network Utility Maximization Under Maximum Delay Constraints and Throughput Requirements. IEEE/ACM Trans. Netw. 28 (5) (2020)
Yecheng Zhao, Runzhi Zhou, Haibo Zeng
An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis. RTSS (2020)
Qingyu Liu, Haibo Zeng, Minghua Chen, Lingjia Liu
Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints. INFOCOM (2020)
Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
A Tale of Two Metrics in Network Delay Optimization. IEEE/ACM Trans. Netw. 28 (3) (2020)
Yu Liu, Chao Peng, Yecheng Zhao, Yangyang Li, Haibo Zeng
Schedulability Analysis of Engine Control Systems With Dynamic Switching Speeds. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (10) (2020)
Prachi Joshi, S. S. Ravi, Qingyu Liu, Unmesh D. Bordoloi, Soheil Samii, Sandeep Kumar Shukla, Haibo Zeng
Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (5) (2020)
Lipeng Zhu, Chao Lu, Innocent Kamwa, Haibo Zeng
Spatial-Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment. IEEE Trans. Ind. Informatics 16 (3) (2020)
Runzhi Zhou, Qingyu Liu, Wenjie Xu, Minghua Chen, Haibo Zeng
Minimizing Emission for Timely Truck Transportation with Adaptive Fuel Injection. BuildSys@SenSys (2020)
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. 18 (4) (2019)
Yecheng Zhao, Haibo Zeng
The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems. Real Time Syst. 55 (3) (2019)
Qingyu Liu, Haibo Zeng, Minghua Chen
Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. MobiHoc (2019)
Chao Peng, Yecheng Zhao, Haibo Zeng
Dynamic Switching Speed Reconfiguration for Engine Performance Optimization. DAC (2019)
Yecheng Zhao, Haibo Zeng
Optimization techniques for time-critical cyber-physical systems. DESTION@CPSIoTWeek (2019)
Qingyu Liu, Haibo Zeng, Minghua Chen
Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication. MobiHoc (2019)
Jilong Wang, Renfa Li, Rui Li, Keqin Li, Haibo Zeng, Guoqi Xie, Li Liu
Adversarial de-noising of electrocardiogram. Neurocomputing 349 (2019)
Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng
Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. BuildSys@SenSys (2019)
Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng
Opportunistic Driving: a Critical Design Space for Reducing Fuel Consumption of Timely Long-Haul Truck Transportation. e-Energy (2019)
Chao Peng, Haibo Zeng, Marco Di Natale
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real Time Syst. 55 (3) (2019)
Yecheng Zhao, Haibo Zeng
The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling. IEEE Trans. Computers 68 (6) (2019)
Qingyu Liu, Haibo Zeng, Lingjia Liu, Minghua Chen
Delay-constrained offloading of computationally intensive workloads in edge computing. SEC (2019)
Qingling Zhao, Zonghua Gu, Haibo Zeng, Nenggan Zheng
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 83 (2018)
Qingyu Liu, Haibo Zeng, Minghua Chen
Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. e-Energy (2018)
Chao Peng, Yecheng Zhao, Haibo Zeng
Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds. RTSS (2018)
Jonah Caplan, Zaid Al-bayati, Haibo Zeng, Brett H. Meyer
Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy. IEEE Trans. Computers 67 (4) (2018)
Yecheng Zhao, Haibo Zeng
The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. RTAS (2018)
Shamit Bansal, Yecheng Zhao, Haibo Zeng, Kehua Yang
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. RTSS (2018)
Qingyu Liu, Haibo Zeng, Minghua Chen
Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. CoRR (2018)
Yecheng Zhao, Vinit Gala, Haibo Zeng
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
A Tale of Two Metrics in Network Delay Optimization. INFOCOM (2018)
Chao Peng, Haibo Zeng
Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement. Real Time Syst. 54 (1) (2018)
Qingyu Liu, Haibo Zeng, Minghua Chen
Minimizing Age-of-Information with Throughput Constraints in Multi-Path Network Communication. CoRR (2018)
Lei Deng, Mohammad Hassan Hajiesmaili, Minghua Chen, Haibo Zeng
Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks. IEEE Trans. Intell. Transp. Syst. 19 (7) (2018)
Yecheng Zhao, Haibo Zeng
The concept of unschedulability core for optimizing priority assignment in real-time systems. DATE (2017)
Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng
Offset Assignment to Signals for Improving Frame Packing in CAN-FD. RTSS (2017)
Yecheng Zhao, Haibo Zeng
An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling. Real Time Syst. 53 (4) (2017)
Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
On the Min-Max-Delay Problem: NP-completeness, Algorithm, and Int-Gap. CoRR (2017)
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) (2017)
Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
On the min-max-delay problem: NP-completeness, algorithm, and integrality gap. ITW (2017)
Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC (2017)
Qingling Zhao, Zaid Al-bayati, Zonghua Gu, Haibo Zeng
Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models. ACM Trans. Design Autom. Electr. Syst. 22 (2) (2017)
Amith Kaushal Rao, Haibo Zeng
Online message delay prediction for model predictive control over controller area network. ICCAD (2017)
Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla
The Multi-Domain Frame Packing Problem for CAN-FD. ECRTS (2017)
Qingling Zhao, Zonghua Gu, Haibo Zeng
Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 72 (2017)
Yecheng Zhao, Haibo Zeng
The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling. RTSS (2017)
Lei Deng, Mohammad Hassan Hajiesmaili, Minghua Chen, Haibo Zeng
Energy-efficient timely transportation of long-haul heavy-duty trucks. e-Energy (2016)
Zonghua Gu, Chao Wang, Haibo Zeng
Cache-Partitioned Preemption Threshold Scheduling. ACM Trans. Embed. Comput. Syst. 16 (1) (2016)
Chen Wang, Di Wu, Haibo Zeng, Virgilio Centeno
CPS based electric vehicle charging directing system design in Smart Grid. ISGT (2016)
Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu
Design space exploration for deterministic ethernet-based architecture of automotive systems. HLDVT (2016)
Zonghua Gu, Gang Han, Haibo Zeng, Qingling Zhao
Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 27 (10) (2016)
Chao Wang, Zonghua Gu, Haibo Zeng
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization. IEEE Trans. Parallel Distributed Syst. 27 (11) (2016)
Zaid Al-bayati, Jonah Caplan, Brett H. Meyer, Haibo Zeng
A four-mode model for efficient fault-tolerant mixed-criticality systems. DATE (2016)
Qingling Zhao, Zonghua Gu, Min Yao, Haibo Zeng
HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. J. Syst. Archit. (2016)
Zaid Al-bayati, Brett H. Meyer, Haibo Zeng
Fault-tolerant scheduling of multicore mixed-criticality systems under permanent failures. DFT (2016)
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) (2016)
Meng Wu, Haibo Zeng, Chao Wang
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM (2016)
Chuansheng Dong, Qingyu Liu, Haibo Zeng
Traffic Assignment with Maximum Delay Constraint in Stochastic Network. VTC Spring (2016)
Qingling Zhao, Zonghua Gu, Haibo Zeng
Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Haibo Zeng, Marco Di Natale
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real Time Syst. 51 (4) (2015)
Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng
A model-based synthesis flow for automotive CPS. ICCPS (2015)
Chuansheng Dong, Haibo Zeng, Minghua Chen
Online Algorithms for Automotive Idling Reduction With Effective Statistics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (11) (2015)
Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS (2015)
Jian Xiong, Di Wu, Haibo Zeng, Shichao Liu, Xiaoyu Wang
Impact assessment of electric vehicle charging on hydro Ottawa distribution networks at neighborhood levels. CCECE (2015)
Zaid Al-bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, Zonghua Gu
Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. ASP-DAC (2015)
Chao Wang, Zonghua Gu, Haibo Zeng
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. ECRTS (2015)
Lok To Mak, Minghua Chen, Guanglin Zhang, Longbo Huang, Haibo Zeng
Online Energy Management Strategy for Hybrid Electric Vehicle. e-Energy (2015)
Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE (2014)
Haibo Zeng, Marco Di Natale, Qi Zhu
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embed. Comput. Syst. 13 (5s) (2014)
Chuansheng Dong, Haibo Zeng
Minimizing stack memory for hard real-time applications on multicore platforms. DATE (2014)
Gang Han, Haibo Zeng, Yaping Li, Wenhua Dou
SAFE: Security-Aware FlexRay Scheduling Engine. DATE (2014)
Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng
Task synthesis for latency-sensitive synchronous block diagram. SIES (2014)
Qingling Zhao, Zonghua Gu, Haibo Zeng
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. IEEE Embed. Syst. Lett. 6 (1) (2014)
Chuansheng Dong, Haibo Zeng, Minghua Chen
A Cost Efficient Online Algorithm for Automotive Idling Reduction. DAC (2014)
Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng
Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid. INFOCOM (2014)
Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng
Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid. Proc. IEEE 102 (11) (2014)
Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, Wenhua Dou
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms. IEEE Trans. Ind. Informatics 10 (2) (2014)
Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng
Robust and extensible task implementations of synchronous finite state machines. DATE (2013)
Qingling Zhao, Zonghua Gu, Haibo Zeng
PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. DATE (2013)
Haibo Zeng, Marco Di Natale
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. IEEE Trans. Computers 62 (4) (2013)
Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES (2013)
Chuansheng Dong, Fanxin Kong, Xue Liu, Haibo Zeng
Green power analysis for Geographical Load Balancing based datacenters. IGCC (2013)
Marco Di Natale, Haibo Zeng
Practical issues with the timing analysis of the Controller Area Network. ETFA (2013)
Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. IEEE Embed. Syst. Lett. 5 (3) (2013)
Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES (2013)
Haibo Zeng, Marco Di Natale
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. ECRTS (2013)
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli
Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)

Haibo Zeng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Haibo Zeng