Home - Research - Group Members - Publications - Services

Books

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


Editorial

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software
Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto Sangiovanni-Vincentelli, Ragunathan Rajkumar, Rolf Ernst, and Marco Di Natale
IEEE Embedded Systems Letters (ESL) 5(3): 29, September 2013

Guest Editorial: Special Issue on Automotive Embedded Systems
Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto Sangiovanni-Vincentelli, Haibo Zeng, and Sanjit Seshia
IEEE Embedded Systems Letters (ESL) 2(2): 21-22, June 2010


Journals

Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements
Qingyu Liu, Haibo Zeng, and Minghua Chen
IEEE/ACM Transactions on Networking (TON), to appear

Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks
Qingyu Liu, Haibo Zeng, and Minghua Chen
IEEE Transactions on Intelligent Transportation Systems (TITS), to appear

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), to appear

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

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 Journal, 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 Journal, 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 Journal, 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 Journal, 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
(Extension of ECRTS 2015 paper)

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
(Extension of DATE 2014 paper)

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
(Extension of ESL 2014 paper)

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
(Extension of DATE 2014 paper)

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
(Extension of DAC 2014 paper)

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
(Extension of RTCSA 2013 paper)

Computing periodic request functions to speed-up the analysis of non-cyclic task models
Haibo Zeng and Marco Di Natale
Real-Time Systems Journal 51(4): 360-394, July 2015
(Extension of ECRTS 2013 paper)

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
(Extension of INFOCOM 2014 paper)

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
(Extension of ETFA 2012 paper)

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
(Extension of ECRTS 2012 paper)

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
(Extension of DAC 2009 paper)

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
(Extension of SIES 2009 paper)

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


Conferences

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

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

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 (ACM 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 (ACM 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 [Preprint]
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 (ACM 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 (ACM 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

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

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

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


Refereed Publications in Workshops/Work-in-progress Sessions

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

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
Workshop on Synthesis and Optimization Methods for Real-time Embedded Systems, in conjunction with The 32nd IEEE Real-Time Systems Symposium (RTSS), December 2011

Task Implementation and Schedulability Analysis of Synchronous Finite State Machines
Marco Di Natale and Haibo Zeng
Work-in-Progress session, 17th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April 2011

Performance Analysis of Synchronous Models Implementations on Loosely Time-Triggered Architectures
Chung-Wei Lin, Marco Di Natale, Haibo Zeng, and Alberto Sangiovanni-Vincentelli
Work-in-Progress session, 17th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April 2011


Technical Reports

An Efficient Schedulability Analysis for Optimizing Systems with Adaptive Mixed-Criticality Scheduling
Yecheng Zhao and Haibo Zeng
Department of Electrical and Computer Engineering, Virginia Tech, February 2016


Return to top