| 2025 | ISIT | Broadcasting With Port Constraints. | Zhaohong Lu, Qingyu Liu, Haibo Zeng |
| 2024 | USENIX | Models on the Move: Towards Feasible Embedded AI for Intrusion Detection on Vehicular CAN Bus. | He Xu, Di Wu, Yufeng Lu, Jiwu Lu, Haibo Zeng |
| 2024 | RTAS | Optimizing Logical Execution Time Model for Both Determinism and Low Latency. | Sen Wang, Dong Li, Ashrarul H. Sifat, Shao-Yu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng |
| 2023 | RTSS | RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems. | Shao-Yu Huang, Jianping Zeng, Xuanliang Deng, Sen Wang, Ashrarul H. Sifat, Burhanuddin Bharmal, Jia-Bin Huang, Ryan K. Williams, Haibo Zeng, Changhee Jung |
| 2023 | RTAS | A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables. | Sen Wang, Ryan K. Williams, Haibo Zeng |
| 2021 | SENSYS | Energy efficient timely transportation: a comparative study of internal combustion trucks and electric trucks. | Junyan Su, Minghua Chen, Haibo Zeng |
| 2020 | INFOCOM | Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints. | Qingyu Liu, Haibo Zeng, Minghua Chen, Lingjia Liu |
| 2020 | SENSYS | Minimizing Emission for Timely Truck Transportation with Adaptive Fuel Injection. | Runzhi Zhou, Qingyu Liu, Wenjie Xu, Minghua Chen, Haibo Zeng |
| 2020 | RTSS | An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis. | Yecheng Zhao, Runzhi Zhou, Haibo Zeng |
| 2019 | DAC | Dynamic Switching Speed Reconfiguration for Engine Performance Optimization. | Chao Peng, Yecheng Zhao, Haibo Zeng |
| 2019 | MOBIHOC | Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication. | Qingyu Liu, Haibo Zeng, Minghua Chen |
| 2019 | MOBIHOC | Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. | Qingyu Liu, Haibo Zeng, Minghua Chen |
| 2019 | SENSYS | Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. | Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng |
| 2018 | INFOCOM | A Tale of Two Metrics in Network Delay Optimization. | Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen |
| 2018 | RTSS | Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. | Shamit Bansal, Yecheng Zhao, Haibo Zeng, Kehua Yang |
| 2018 | RTSS | Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds. | Chao Peng, Yecheng Zhao, Haibo Zeng |
| 2018 | RTAS | The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. | Yecheng Zhao, Haibo Zeng |
| 2017 | DAC | Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. | Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu |
| 2017 | DATE | The concept of unschedulability core for optimizing priority assignment in real-time systems. | Yecheng Zhao, Haibo Zeng |
| 2017 | ECRTS | The Multi-Domain Frame Packing Problem for CAN-FD. | Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla |
| 2017 | ICCAD | Online message delay prediction for model predictive control over controller area network. | Amith Kaushal Rao, Haibo Zeng |
| 2017 | ITW | On the min-max-delay problem: NP-completeness, algorithm, and integrality gap. | Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen |
| 2017 | RTSS | Offset Assignment to Signals for Improving Frame Packing in CAN-FD. | Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng |
| 2017 | RTSS | The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling. | Yecheng Zhao, Haibo Zeng |
| 2016 | DATE | A four-mode model for efficient fault-tolerant mixed-criticality systems. | Zaid Al-bayati, Jonah Caplan, Brett H. Meyer, Haibo Zeng |
| 2016 | VTC | Traffic Assignment with Maximum Delay Constraint in Stochastic Network. | Chuansheng Dong, Qingyu Liu, Haibo Zeng |
| 2015 | ASPDAC | Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. | Zaid Al-bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, Zonghua Gu |
| 2015 | ECRTS | Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. | Chao Wang, Zonghua Gu, Haibo Zeng |
| 2015 | RTAS | Task placement and selection of data consistency mechanisms for real-time multicore applications. | Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer |
| 2014 | DAC | A Cost Efficient Online Algorithm for Automotive Idling Reduction. | Chuansheng Dong, Haibo Zeng, Minghua Chen |
| 2014 | DATE | Minimizing stack memory for hard real-time applications on multicore platforms. | Chuansheng Dong, Haibo Zeng |
| 2014 | DATE | SAFE: Security-Aware FlexRay Scheduling Engine. | Gang Han, Haibo Zeng, Yaping Li, Wenhua Dou |
| 2014 | INFOCOM | Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid. | Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng |
| 2013 | DATE | PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. | Qingling Zhao, Zonghua Gu, Haibo Zeng |
| 2013 | DATE | Robust and extensible task implementations of synchronous finite state machines. | Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng |
| 2013 | ECRTS | Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. | Haibo Zeng, Marco Di Natale |
| 2013 | ETFA | An FPGA implementation of wait-free data synchronization protocols. | Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic |
| 2013 | ETFA | Practical issues with the timing analysis of the Controller Area Network. | Marco Di Natale, Haibo Zeng |
| 2013 | RTAS | Timing analysis of process graphs with finite communication buffers. | Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli |
| 2013 | RTCSA | Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm. | Qingling Zhao, Zonghua Gu, Haibo Zeng |
| 2012 | DATE | Task implementation of synchronous finite state machines. | Marco Di Natale, Haibo Zeng |
| 2012 | ECRTS | Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. | Haibo Zeng, Marco Di Natale |
| 2012 | ETFA | Optimizing stack memory requirements for real-time embedded applications. | Haibo Zeng, Marco Di Natale, Qi Zhu |
| 2010 | DATE | Computing robustness of FlexRay schedules to uncertainties in design parameters. | Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim |
| 2010 | ECRTS | Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. | Haibo Zeng, Marco Di Natale |
| 2010 | ETFA | System identification and extraction of timing properties from controller area network (CAN) message traces. | Marco Di Natale, Haibo Zeng |
| 2009 | DAC | Scheduling the FlexRay bus using optimization techniques. | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. | Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 2003 | ICCAD | A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. | Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli |