Networked Real-Time Embedded Systems
Haibo Zeng, Prachi Joshi, Daniel Thiele, Jonas Diemer, Philip Axer, Rolf Ernst, and Petru Eles
In Soonhoi Ha and Jurgen Teich (eds.), Handbook of Hardware/Software Codesign
Springer, ISBN 978-94-017-7358-4, April 2017
Embedded Systems Development - From Functional Models to Implementations
Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, and Peter Marwedel (Eds.)
Springer, ISBN 978-1-4614-3879-3, July 2013
Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice
Marco Di Natale, Haibo Zeng, Paolo Giusto, and Arkadeb Ghosal
Springer, ISBN 978-1-4614-0314-2, January 2012
A Model-Based Method for Enabling Source Mapping and Intrusion Detection on Proprietary CAN Bus
Jia Zhou, Guoqi Xie, Haibo Zeng, Weizhe Zhang, Laurence T. Yang, Mamoun Alazab, and Renfa Li
IEEE Transactions on Intelligent Transportation Systems (TITS), to appear
Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation
Wenjie Xu, Qingyu Liu, Minghua Chen, and Haibo Zeng
IEEE Transactions on Intelligent Transportation Systems (TITS), 24(5): 4777–4793, May 2023
Towards Computational Awareness in Autonomous Robots: an Empirical Study of Computational Kernels
Ashrarul H. Sifat, Burhanuddin Bharmal, Haibo Zeng, Jia-Bin Huang, Changhee Jung, and Ryan K. Williams
Complex & Intelligent Systems, pp. 1-27, May 2023
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-Distribution Detection
Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, and Samarjit Chakrabory
ACM Transactions on Embedded Computing Systems (TECS), 21(4): 1-30, September 2022
Design optimization for real-time systems with sustainable schedulability analysis
Yecheng Zhao, Runzhi Zhou, and Haibo Zeng
Real-Time Systems (RTS), 58: 275-312, August 2022
Minimizing AoI with Throughput Requirements in Multi-path Network Communication
Qingyu Liu, Haibo Zeng, and Minghua Chen
IEEE/ACM Transactions on Networking (TON), 30(3): 1203-1216, June 2022
Minimizing Stack Memory for Partitioned Mixed-Criticality Scheduling on Multiprocessor Platforms
Qingling Zhao, Mengfei Qu, Zonghua Gu, and Haibo Zeng
ACM Transactions on Embedded Computing Systems (TECS), 21(2): 1-30, March 2022
Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds
Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang, and Haibo Zeng
Journal of Systems Architecture (JSA), 124: 102383, March 2022
Improved analysis and optimal priority assignment for communicating threads on uni-processor
Qingling Zhao, Yecheng Zhao, Minhui Zou, Zhigang Gao, and Haibo Zeng
Journal of Systems Architecture (JSA), 124: 102377, March 2022
A DVFS-Weakly-Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems
Jing Huang, Renfa Li, Jiyao An, Haibo Zeng, and Wanli Chang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 40(12): 2481-2494, December 2021
Closed-Loop Controlled Photopolymerization of Hydrogels
Manjot Singh, Junru Zhang, Keturah Bethel, Yang Liu, Eric M. Davis, Haibo Zeng, Zhenyu Kong, and Blake N. Johnson
ACS Applied Materials and Interface, 13(34): 40365-40378, August 2021
Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks
Qingyu Liu, Haibo Zeng, and Minghua Chen
IEEE Transactions on Intelligent Transportation Systems (TITS), 21(12): 5148-5159, December 2020
Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements
Qingyu Liu, Haibo Zeng, and Minghua Chen
IEEE/ACM Transactions on Networking (TON), 28(5): 2132-2145, October 2020
Schedulability Analysis of Engine Control Systems with Dynamic Switching Speeds
Yu Liu, Chao Peng, Yecheng Zhao, Yangyang Li, and Haibo Zeng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 39(10): 2067-2080, October 2020
Experimental and numerical study the effect of EGR strategies on in-cylinder flow, combustion and emissions characteristics in a heavy-duty higher CR lean-burn NGSI engine coupled with detail combustion mechanism
Shiheng Zhang, Yangyang Li, Shuqian Wang, Haibo Zeng, Jingping Liu, Xiongbo Duan, and Hao Dong
Fuel, Elsevier, 276: 1-11, September 2020
A Tale of Two Metrics in Network Delay Optimization
Qingyu Liu, Lei Deng, Haibo Zeng, and Minghua Chen
IEEE/ACM Transactions on Networking (TON), 28(3): 1241-1254, June 2020
Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD
Prachi Joshi, S. S. Ravi, Qingyu Liu, Unmesh D. Bordoloi, Soheil Samii, Sandeep Shukla, and Haibo Zeng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 39(5): 1109--1122, May 2020
Spatial-Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment
Lipeng Zhu, Chao Lu, Innocent Kamwa, and Haibo Zeng
IEEE Transactions on Industrial Informatics (TII), 16(3): 1470--1482, March 2020
BTMonitor: Bit-Time based Intrusion Detection and Attacker Identification in Controller Area Network
Jia Zhou, Prachi Joshi, Haibo Zeng, and Renfa Li
ACM Transactions on Embedded Computing Systems (TECS), 18(6): 1--23, January 2020
Experimental and numerical study the effect of combustion chamber shapes on combustion and emissions characteristics in a heavy-duty lean burn SI natural gas engine coupled with detail combustion mechanism
Shiheng Zhang, Xiongbo Duan, Yiqun Liu, Genmiao Guo, Haibo Zeng, Jingping Liu, Ming-Chia Lai, Apoorv Talekar, and Zhipeng Yuan
Fuel, Elsevier, 258: 1-11, December 2019
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems
Zaid Al-Bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, and Brett Meyer
ACM Transactions on Embedded Computing Systems (TECS), 18(4): 1-28, July 2019
The Concept of Maximal Unschedulable Deadline Assignment for Optimization in Fixed-Priority Scheduled Real-Time Systems
Yecheng Zhao and Haibo Zeng
Real-Time Systems (RTS), 55(3): 667-707, July 2019
A Comparison of Methods Using State and Digraph Models for the Schedulability Analysis of Synchronous FSMs
Chao Peng, Haibo Zeng, and Marco Di Natale
Real-Time Systems (RTS), 55(3): 598-638, July 2019
Adversarial de-noising of electrocardiogram
Jilong Wang, Renfa Li, Rui Li, Keqin Li, Haibo Zeng, Guoqi Xie, and Li Liu
Neurocomputing, 349: 212-224, July 2019
The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling
Yecheng Zhao and Haibo Zeng
IEEE Transactions on Computers (TC), 68(6): 926-938, June 2019
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems
Yecheng Zhao, Vinit Gala, and Haibo Zeng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 37(11): 2188-2199, November 2018
(Republication of EMSOFT 2018 paper)
Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks
Lei Deng, Mohammad Hajiesmaili, Minghua Chen, and Haibo Zeng
IEEE Transactions on Intelligent Transportation Systems (TITS), 19(7): 2099-2113, July 2018
Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy
Jonah Caplan, Zaid Al-bayati, Haibo Zeng, and Brett Meyer
IEEE Transactions on Computers (TC), 67(4): 582-588, April 2018
Schedulability Analysis and Stack Size Minimization with Preemption Thresholds and Mixed-Criticality Scheduling
Qingling Zhao, Zonghua Gu, Haibo Zeng, and Nenggan Zheng
Journal of Systems Architecture (JSA), 83: 57–74, February 2018
Response Time Analysis of Digraph Real-Time Tasks Scheduled with Static Priority: Generalization, Approximation, and Improvement
Chao Peng and Haibo Zeng
Real-Time Systems (RTS), 54(1): 91-131, January 2018
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines
Yecheng Zhao, Chao Peng, Haibo Zeng, and Zonghua Gu
ACM Transactions on Embedded Computing Systems (TECS), 16(5s): 1--21, September 2017
(Republication of EMSOFT 2017 paper)
An Efficient Schedulability Analysis for Optimizing Systems with Adaptive Mixed-Criticality Scheduling
Yecheng Zhao and Haibo Zeng
Real-Time Systems (RTS), 53(4): 467-525, July 2017
Two-Stage Energy Management for Office Buildings with Workplace EV Charging and Renewable Energy
Di Wu, Haibo Zeng, Chao Lu, and Benoit Boulet
IEEE Transactions on Transportation Electrification, 3(1): 225-237, March 2017
Design Optimization for AUTOSAR models with Preemption Thresholds and Mixed-Criticality Scheduling
Qingling Zhao, Zonghua Gu, and Haibo Zeng
Journal of Systems Architecture (JSA), 72: 61-68, January 2017
Optimized Implementation of Multi-Rate Mixed-Criticality Synchronous Reactive Models
Qingling Zhao, Zaid Al-bayati, Zonghua Gu, and Haibo Zeng
ACM Transactions on Design Automation of Electronic Systems (TODAES) 22(2): 1-25, January 2017
Cache-Partitioned Preemption Threshold Scheduling
Zonghua Gu, Chao Wang, and Haibo Zeng
ACM Transactions on Embedded Computing Systems (TECS) 16(1): 1-30, November 2016
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization
Chao Wang, Zonghua Gu, and Haibo Zeng
IEEE Transactions on Parallel and Distributed Systems (TPDS) 27(11): 3242-3255, November 2016
Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-based Distributed Embedded Systems
Zonghua Gu, Gang Han, Haibo Zeng, and Qingling Zhao
IEEE Transactions on Parallel and Distributed Systems (TPDS) 27(10): 3044-3057, October 2016
HLC-PCP: A Resource Synchronization Protocol for Mixed Criticality Systems
Qingling Zhao, Zonghua Gu, Min Yao, and Haibo Zeng
Journal of Systems Architecture (JSA) 66(C): 84-99, May 2016
Minimizing Stack Memory for Hard Real-time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling
Chao Wang, Chuansheng Dong, Zonghua Gu, and Haibo Zeng
ACM Transactions on Design Automation of Electronic Systems (TODAES) 21(3): 1-25, May 2016
Online Algorithms for Automotive Idling Reduction with Effective Statistics
Chuansheng Dong, Haibo Zeng, and Minghua Chen
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD) 34(11): 1742-1755, November 2015
Resource Synchronization and Preemption-Thresholds within Mixed-Criticality Scheduling
Qingling Zhao, Zonghua Gu, and Haibo Zeng
ACM Transactions on Embedded Computing Systems (TECS) 14(4): 1-25, October 2015
Computing periodic request functions to speed-up the analysis of non-cyclic task models
Haibo Zeng and Marco Di Natale
Real-Time Systems (RTS) 51(4): 360-394, July 2015
Quantity vs Quality: Optimal Harvesting Wind Power for the Smart Grid
Fanxin Kong, Chuansheng Dong, Xue Liu, and Haibo Zeng
Proceedings of the IEEE 102(11): 1762-1776, November 2014
Minimizing Stack and Communication Memory Usage in Real-time Embedded Applications
Haibo Zeng, Marco Di Natale, and Qi Zhu
ACM Transactions on Embedded Computing Systems (TECS) 13(5s): 1-25, November 2014
Experimental Evaluation and Selection of Data Communication Mechanisms in Multicore Platforms
Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, and Wenhua Dou
IEEE Transactions on Industrial Informatics (TII) 10(2): 903-918, May 2014
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling
Qingling Zhao, Zonghua Gu, and Haibo Zeng
IEEE Embedded Systems Letters (ESL) 6(1): 8-11, March 2014
(Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems)
Optimizing the Implementation of Real-Time Simulink Models onto Distributed Automotive Architectures
Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, and Wenhua Dou
Journal of Systems Architecture (JSA) 59(10-D): 1115-1127, November 2013
(Special Section on Design Space Exploration of Embedded Systems)
An Efficient Formulation of the Real-time Feasibility Region for Design Optimization
Haibo Zeng and Marco Di Natale
IEEE Transactions on Computers (TC) 62(4): 644-661, April 2013
Optimization of Task Allocation and Priority Assignment in Hard Real-time Distributed Systems
Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, and Alberto Sangiovanni-Vincentelli
ACM Transactions on Embedded Computing Systems (TECS) 11(4): 1-30, December 2012
Methods and Tools for Calculating the Flexibility of Automotive HW/SW Architectures
Liangpeng Guo, Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, and Alberto Sangiovanni-Vincentelli
SAE International Journal of Passenger Cars - Electronic and Electrical Systems 5(1):17-26, April 2012
(Republication of SAE World Congress 2012 paper)
Reliability and Safety/Integrity Analysis for Vehicle-to-Vehicle Wireless Communication
Arkadeb Ghosal, Fan Bai, Rami Debouk, and Haibo Zeng
SAE International Journal of Passenger Cars - Electronic and Electrical Systems 4(1):156-165, April 2011
(Republication of SAE World Congress 2011 paper)
Schedule Optimization of Time-Triggered Systems Communicating over the FlexRay Static Segment
Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, and Alberto Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics (TII) 7(1): 1-17, February 2011
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays
Marco Di Natale, Liangpeng Guo, Haibo Zeng, and Alberto Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics (TII) 6(4): 637-651, November 2010
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network
Haibo Zeng, Marco Di Natale, Paolo Giusto, and Alberto Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics (TII) 6(4): 678-691, November 2010
Stochastic Analysis of CAN-based Real-time Automotive Systems
Haibo Zeng, Marco Di Natale, Paolo Giusto, and Alberto Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics (TII) 5(4): 388-401, November 2009
A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables
Sen Wang, Ryan K. Williams and Haibo Zeng
29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2023
A Scheduling Framework Enabling Safety-Performance Trade-Offs in Robot Software
Ashrarul Sifat, Xuanliang Deng, Sen Wang, Shaoyu Huang, Jiabin Huang, Changhee Jung, Haibo Zeng, and Ryan Williams
Robot Software Architectures, co-located with IEEE International Conference on Robotics and Automation (ICRA), May 2023
E2Pilot: An Energy-Efficient Navigation System for Long-haul Timely Truck Transportation
Junyan Su, Minghua Chen, and Haibo Zeng
13th ACM International Conference on Future Energy Systems (e-Energy), June 2022
Energy Efficient Timely Transportation: a Comparative Study of Internal Combustion Trucks and Electric Trucks
Junyan Su, Minghua Chen, and Haibo Zeng
8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys), November 2021
An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis
Yecheng Zhao, Runzhi Zhou, and Haibo Zeng
41st IEEE Real-Time Systems Symposium (RTSS), December 2020
Outstanding Paper Award
Minimizing Emission for Timely Truck Transportation with Adaptive Fuel Injection
Runzhi Zhou, Qingyu Liu, Wenjie Xu, Minghua Chen, and Haibo Zeng
7th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys), November 2020
Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints
Qingyu Liu, Haibo Zeng, Minghua Chen, and Lingjia Liu
IEEE International Conference on Computer Communications (INFOCOM), July 2020
Delay-Constrained Offloading of Computationally Intensive Workloads in Edge Computing
Qingyu Liu, Haibo Zeng, Lingjia Liu, and Minghua Chen
2nd Workshop on Computing Architecture for Edge Computing (ArchEdge), in conjunction with the 4th ACM/IEEE Symposium on Edge Computing (SEC), November 2019
Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation
Wenjie Xu, Qingyu Liu, Minghua Chen, and Haibo Zeng
6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys), November 2019
Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements
Qingyu Liu, Haibo Zeng, and Minghua Chen
20th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), Poster, July 2019
Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication
Qingyu Liu, Haibo Zeng, and Minghua Chen
20th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), July 2019
Opportunistic Driving: a Critical Design Space for Reducing Fuel Consumption of Timely Long-Haul Truck Transportation
Wenjie Xu, Qingyu Liu, Minghua Chen, and Haibo Zeng
10th ACM International Conference on Future Energy Systems (e-Energy), Poster, June 2019
Dynamic Switching Speed Reconfiguration for Engine Performance Optimization
Chao Peng, Yecheng Zhao, and Haibo Zeng
56th ACM/IEEE Design Automation Conference (DAC), June 2019
Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds
Chao Peng, Yecheng Zhao, and Haibo Zeng
39th IEEE Real-Time Systems Symposium (RTSS), December 2018
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling
Shamit Bansal, Yecheng Zhao, Haibo Zeng, and Kehua Yang
39th IEEE Real-Time Systems Symposium (RTSS), December 2018
Development Cost Optimization under Assuring Functional Safety Requirement in Automotive Cyber-Physical Systems
Guoqi Xie, Gang Zeng, Haibo Zeng, Zhiyong Li, Renfa Li and Keqin Li
17th National Software Application Conference (NASAC), November 2018
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems
Yecheng Zhao, Vinit Gala, and Haibo Zeng
18th ACM International Conference on Embedded Software (EMSOFT), September 2018
Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks
Qingyu Liu, Haibo Zeng, and Minghua Chen
9th ACM International Conference on Future Energy Systems (e-Energy), June 2018
Best Paper Candidate
A Tale of Two Metrics in Network Delay Optimization
Qingyu Liu, Lei Deng, Haibo Zeng, and Minghua Chen
IEEE International Conference on Computer Communications (INFOCOM), April 2018
The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority
Yecheng Zhao and Haibo Zeng
24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 2018
The Virtual Deadline based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling
Yecheng Zhao and Haibo Zeng
38th IEEE Real-Time Systems Symposium (RTSS), December 2017
Best Student Paper Award
Offset Assignment to Signals for Improving Frame Packing in CAN-FD
Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep Shukla, and Haibo Zeng
38th IEEE Real-Time Systems Symposium (RTSS), December 2017
On the Min-Max-Delay Problem: NP-completeness, Algorithm, and Integrality Gap
Qingyu Liu, Lei Deng, Haibo Zeng, and Minghua Chen
IEEE Information Theory Workshop (ITW), November 2017
(Invited Paper)
Online Message Delay Prediction for Model Predictive Control over Controller Area Network
Amith Kaushal Rao and Haibo Zeng
36th International Conference On Computer Aided Design (ICCAD), November 2017
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines
Yecheng Zhao, Chao Peng, Haibo Zeng, and Zonghua Gu
17th ACM International Conference on Embedded Software (EMSOFT), October 2017
Best Paper Candidate
The Multi-Domain Frame Packing Problem for CAN-FD
Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, and Sandeep Shukla
29th Euromicro Conference on Real-Time Systems (ECRTS), June 2017
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems
Meng Wu, Haibo Zeng, Chao Wang, and Huafeng Yu
54th ACM/IEEE Design Automation Conference (DAC), June 2017
(Invited Paper)
The Concept of Unschedulability Core for Optimizing Priority Assignment in Real-Time Systems
Yecheng Zhao and Haibo Zeng
Conference on Design, Automation and Test in Europe (DATE), March 2017
Design Space Exploration for Deterministic Ethernet-based Architecture of Automotive Systems
Prachi Joshi, Vedahari Narasimhan Ganesan, Haibo Zeng, Sandeep Shukla, Chung-Wei Lin, and Huafeng Yu
18th IEEE International High-Level Design Validation and Test Workshop (HLDVT), October 2016 (Invited Paper)
Fault-tolerant Scheduling of Multicore Mixed-Criticality Systems under Permanent Failures
Zaid Al-bayati, Brett Meyer, and Haibo Zeng
29th IEEE Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), September 2016
CPS Based Electric Vehicle Charging Directing System Design in Smart Grid
Chen Wang, Di Wu, Haibo Zeng, and Virgilio Centeno
7th Conference on Innovative Smart Grid Technologies (ISGT), September 2016
Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks
Lei Deng, Mohammad Hajiesmaili, Minghua Chen, and Haibo Zeng
7th ACM International Conference on Future Energy Systems (e-Energy), June 2016
Best Paper Candidate
Synthesizing Runtime Enforcer of Safety Properties under Burst Error
Meng Wu, Haibo Zeng, and Chao Wang
NASA Formal Methods Symposium (NFM), June 2016
Traffic Assignment with Maximum Delay Constraint in Stochastic Network
Chuansheng Dong, Qingyu Liu, and Haibo Zeng
83rd IEEE Vehicular Technology Conference (VTC), May 2016
A Four-Mode Model for Efficient Fault-Tolerant Mixed-Criticality Systems
Zaid Al-bayati, Jonah Caplan, Brett Meyer, and Haibo Zeng
Conference on Design, Automation and Test in Europe (DATE), March 2016
Online Energy Management Strategy for Hybrid Electric Vehicle
Lok To Mak, Minghua Chen, Guanglin Zhang, Longbo Huang, and Haibo Zeng
6th ACM International Conference on Future Energy Systems (e-Energy), Poster, July 2015
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems
Chao Wang, Zonghua Gu, and Haibo Zeng
27th Euromicro Conference on Real-Time Systems (ECRTS), July 2015
Impact Assessment of Electric Vehicle Charging on Distribution Systems at Neighborhood Levels
Jian Xiong, Di Wu, Haibo Zeng, Shichao Liu, and Xiaoyu Wang
28th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), May 2015
A Model-based Synthesis Flow for Automotive CPS
Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, and Haibo Zeng
6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), April 2015
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, and Brett Meyer
21st IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April 2015
Enhanced Partitioned Scheduling of Mixed-Criticality Systems on Multicore Platforms
Zaid Al-Bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, and Zonghua Gu
20th Asia and South Pacific Design Automation Conference (ASP-DAC), January 2015
Neighborhood Level Network Aware Electric Vehicle Charging Management with Mixed Control Strategy
Di Wu, Haibo Zeng, and Benoit Boulet
IEEE International Electric Vehicle Conference (IEVC), December 2014
Assigning Time Budgets to Component Functions in the Design of Time-Critical Automotive Systems
Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci-Piergiovanni, and Sebastien Gerard
29th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2014
Task Synthesis for Latency-sensitive Synchronous Block Diagrams
Peng Deng, Qi Zhu, Marco Di Natale, and Haibo Zeng
9th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2014
Best Paper Candidate
A Cost Efficient Online Algorithm for Automotive Idling Reduction
Chuansheng Dong, Haibo Zeng, and Minghua Chen
51st ACM/IEEE Design Automation Conference (DAC), June 2014
Blowing Hard Is Not All We Want: Quantity vs Quality of Wind Power in the Smart Grid
Fanxin Kong, Chuansheng Dong, Xue Liu, and Haibo Zeng
32nd IEEE International Conference on Computer Communications (INFOCOM), April 2014
Minimizing Stack Memory for Hard Real-time Applications on Multicore Platforms
Chuansheng Dong and Haibo Zeng
Conference on Design, Automation and Test in Europe (DATE), March 2014
SAFE: Security-Aware FlexRay Scheduling Engine
Gang Han, Haibo Zeng, Yaping Li, and Wenhua Dou
Conference on Design, Automation and Test in Europe (DATE), March 2014
An FPGA Implementation of Wait-Free Data Synchronization Protocol
Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic
18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 2013
Practical Issues with the Timing Analysis of the Controller Area Network
Marco Di Natale and Haibo Zeng
18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 2013
Integration of Resource Synchronization and Preemption-Thresholds into EDF-Based Mixed-Criticality Scheduling Algorithm
Qingling Zhao, Zonghua Gu, and Haibo Zeng
19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), August 2013
Using Max-Plus Algebra to Improve the Analysis of Non-Cyclic Task Models
Haibo Zeng and Marco Di Natale
25th Euromicro Conference on Real-Time Systems (ECRTS), July 2013
Best Paper Award
Reality Check: the Need for Benchmarking in RTS and CPS
Marco Di Natale, Chuansheng Dong, and Haibo Zeng
4th International Real-Time Scheduling Open Problems Seminar (RTSOPS), in conjunction with the 25th Euromicro Conference on Real-Time Systems (ECRTS), July 2013
Green Power Analysis for Geographical Load Balancing Based Datacenters
Chuansheng Dong, Fanxin Kong, Xue Liu, and Haibo Zeng
4th International Green Computing Conference (IGCC), June 2013
A Two-step Optimization Technique for Functions Placement, Partitioning and Scheduling in Fixed-priority Distributed Systems
Asma Mehiaoui, Ernest Wozniak, Sara Tucci-Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, and Sebastien Gerard
14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), June 2013
Multitask Implementation of Synchronous Reactive Models with Earliest Deadline First Scheduling
Zaid Al-Bayati, Haibo Zeng, Marco Di Natale, and Zonghua Gu
8th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2013
Timing Analysis of Process Graphs with Finite Communication Buffers
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linh T. X. Phan, and Alberto Sangiovanni-Vincentelli
19th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April 2013
PT-AMC: Integrating Preemption Thresholds into Mixed-Criticality Scheduling
Qingling Zhao, Zonghua Gu, and Haibo Zeng
Conference on Design, Automation and Test in Europe (DATE), March 2013
Robust and Extensible Task Implementations of Synchronous Finite State Machines
Qi Zhu, Peng Deng, Marco Di Natale, and Haibo Zeng
Conference on Design, Automation and Test in Europe (DATE), March 2013
Optimizing Stack Memory Requirements for Real-time Embedded Applications
Haibo Zeng, Marco Di Natale, and Qi Zhu
17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 2012
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines
Haibo Zeng and Marco Di Natale
24th Euromicro Conference on Real-Time Systems (ECRTS), July 2012
Undoing the Task: Moving Timing Analysis back to Functional Models
Marco Di Natale and Haibo Zeng
3rd International Real-Time Scheduling Open Problems Seminar (RTSOPS),
in conjunction with the 24th Euromicro Conference on Real-Time Systems (ECRTS), July 2012
Efficient Implementation of AUTOSAR Components with Minimal Memory Usage
Haibo Zeng and Marco Di Natale
7th IEEE Symposium on Industrial Embedded Systems (SIES), June 2012
Methods and Tools for End-to-End Latency Analysis and Optimization of a Dual-Processor Control Module
Paolo Giusto, Arkadeb Ghosal, Haibo Zeng, Abdulla Yousuf, Swarup Mohalik, James Thomas, and Kai Richter
Society of Automotive Engineers World Congress (SAE), April 2012
Methods and Tools for Calculating the Flexibility of Automotive HW/SW Architectures
Liangpeng Guo, Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, and Alberto Sangiovanni-Vincentelli
Society of Automotive Engineers World Congress (SAE), April 2012
Task Implementation of Synchronous Finite State Machines
Marco Di Natale and Haibo Zeng
Conference on Design, Automation and Test in Europe (DATE), March 2012
Efficient Implementation of AUTOSAR Components with Minimal Memory Usage
Haibo Zeng and Marco Di Natale
Workshop on Synthesis and Optimization Methods for Real-time Embedded Systems,
in conjunction with The 32nd IEEE Real-Time Systems Symposium (RTSS), December 2011
Mechanisms for Guaranteeing Data Consistency and Time Determinism in AUTOSAR Software on Multi-core Platforms
Haibo Zeng and Marco Di Natale
6th IEEE Symposium on Industrial Embedded Systems (SIES), June 2011
Best Paper Award
Metrics for Quantifying and Evaluating Ability of Electronic Control System Architectures to Accommodate Changes
Arkadeb Ghosal, Paolo Giusto, Prakash Peranandam, Purnendu Sinha, and Haibo Zeng
Society of Automotive Engineers World Congress (SAE), April 2011
Reliability and Safety/Integrity Analysis for Vehicle-to-Vehicle Wireless Communication
Arkadeb Ghosal, Fan Bai, Rami Debouk, and Haibo Zeng
Society of Automotive Engineers World Congress (SAE), April 2011
System Identification and Extraction of Timing Properties from Controller Area Network (CAN) Message Traces
Marco Di Natale and Haibo Zeng
15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 2010
Timing Analysis and Optimization of FlexRay Dynamic Segment
Haibo Zeng, Arkadeb Ghosal, and Marco Di Natale
7th IEEE International Conference on Embedded Software and Systems (ICESS), July 2010
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods
Haibo Zeng and Marco Di Natale
22th Euromicro Conference on Real-Time Systems (ECRTS), July 2010
Metrics for Evaluating Electronic Control System Architecture Alternatives
Arkadeb Ghosal, Paolo Giusto, Purnendu Sinha, Massimo Osella, Joseph D'Ambrosio, and Haibo Zeng
Society of Automotive Engineers World Congress (SAE), April 2010
Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay
Marco Di Natale and Haibo Zeng
Society of Automotive Engineers World Congress (SAE), April 2010
Computing Robustness of FlexRay Schedules to Uncertainties in Design Parameters
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, and Yakov Ben-Haim
Conference on Design, Automation and Test in Europe (DATE), March 2010
Scheduling the FlexRay Bus Using Optimization Techniques
Haibo Zeng, Wei Zheng, Marco Di Natale, Paolo Giusto, Arkadeb Ghosal, and Alberto Sangiovanni-Vincentelli
46th ACM/IEEE Design Automation Conference (DAC), July 2009
Statistical Analysis of Controller Area Network Message Response Times
Haibo Zeng, Marco Di Natale, Paolo Giusto, and Alberto Sangiovanni-Vincentelli
4th IEEE Symposium on Industrial Embedded Systems (SIES), July 2009
Best Paper Award
A Next-Generation Design Framework for Platform-Based Design
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, and Qi Zhu
Conference on Using Hardware Design and Verification Languages (DVCon), February 2007
Design Space Exploration of Automotive Platforms in Metropolis
Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Samapda Sonalkar, Sri Kanajan, and Claudio Pinello
Society of Automotive Engineers World Congress (SAE), April 2006
Exploring Trade-off's Between Centralized versus Decentralized Automotive Architectures Using a Virtual Integration Environment
Sri Kanajan, Haibo Zeng, Claudio Pinello, and Alberto Sangiovanni-Vincentelli
Conference on Design, Automation and Test in Europe (DATE), March 2006
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, and Alberto L. Sangiovanni-Vincentelli
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), November 2003