A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. - Alessandra Nardi; Haibo Zeng 001; Joshua L. Garrett; Luca Daniel; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2003)

Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. - Sri Kanajan; Haibo Zeng 001; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (DATE, 2006)

Scheduling the FlexRay bus using optimization techniques. - Haibo Zeng 001; Wei Zheng; Marco Di Natale; Arkadeb Ghosal; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (DAC, 2009)

Statistical analysis of Controller Area Network message response times. - Haibo Zeng 001; Marco Di Natale; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (SIES, 2009)

Stochastic Analysis of Distributed Real-time Automotive Systems. - Haibo Zeng 001; Marco Di Natale; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2009)

Timing Analysis and Optimization of FlexRay Dynamic Segment. - Haibo Zeng 001; Arkadeb Ghosal; Marco Di Natale (CIT, 2010)

Computing robustness of FlexRay schedules to uncertainties in design parameters. - Arkadeb Ghosal; Haibo Zeng 001; Marco Di Natale; Yakov Ben-Haim (DATE, 2010)

Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. - Haibo Zeng 001; Marco Di Natale (ECRTS, 2010)

System identification and extraction of timing properties from controller area network (CAN) message traces. - Marco Di Natale; Haibo Zeng 001 (ETFA, 2010)

Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. - Marco Di Natale; Liangpeng Guo; Haibo Zeng 001; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2010)

Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. - Haibo Zeng 001; Marco Di Natale; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2010)

Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. - Haibo Zeng 001; Marco Di Natale (SIES, 2011)

Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. - Haibo Zeng 001; Marco Di Natale; Arkadeb Ghosal; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2011)

Task implementation of synchronous finite state machines. - Marco Di Natale; Haibo Zeng 001 (DATE, 2012)

Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. - Haibo Zeng 001; Marco Di Natale (ECRTS, 2012)

Optimizing stack memory requirements for real-time embedded applications. - Haibo Zeng 001; Marco Di Natale; Qi Zhu 002 (ETFA, 2012)

Efficient implementation of AUTOSAR components with minimal memory usage. - Haibo Zeng 001; Marco Di Natale (SIES, 2012)

Optimization of task allocation and priority assignment in hard real-time distributed systems. - Qi Zhu 002; Haibo Zeng 001; Wei Zheng; Marco Di Natale; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2012)

PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. - Qingling Zhao; Zonghua Gu 001; Haibo Zeng 001 (DATE, 2013)

Robust and extensible task implementations of synchronous finite state machines. - Qi Zhu 002; Peng Deng; Marco Di Natale; Haibo Zeng 001 (DATE, 2013)

Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. - Haibo Zeng 001; Marco Di Natale (ECRTS, 2013)

An FPGA implementation of wait-free data synchronization protocols. - Benjamin Nahill; Ari Ramdial; Haibo Zeng 001; Marco Di Natale; Zeljko Zilic (ETFA, 2013)

Practical issues with the timing analysis of the Controller Area Network. - Marco Di Natale; Haibo Zeng 001 (ETFA, 2013)

Green power analysis for Geographical Load Balancing based datacenters. - Chuansheng Dong; Fanxin Kong; Xue Liu 001; Haibo Zeng 001 (IGCC, 2013)

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. - Asma Mehiaoui; Ernest Wozniak; Sara Tucci Piergiovanni; Chokri Mraidha; Marco Di Natale; Haibo Zeng 001; Jean-Philippe Babau; Laurent Lemarchand; Sébastien Gérard (LCTES, 2013)

Timing analysis of process graphs with finite communication buffers. - Chung-Wei Lin; Marco Di Natale; Haibo Zeng 001; Linli Thi Xuan Phan; Alberto L. Sangiovanni-Vincentelli (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm. - Qingling Zhao; Zonghua Gu 001; Haibo Zeng 001 (RTCSA, 2013)

Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. - Zaid Al-bayati; Haibo Zeng 001; Marco Di Natale; Zonghua Gu 001 (SIES, 2013)

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. - Arkadeb Ghosal; Haibo Zeng 001; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Ragunathan Rajkumar; Marco Ernst; Rolf Di Natale (IEEE Embed. Syst. Lett., 2013)

Optimizing the implementation of real-time Simulink models onto distributed automotive architectures. - Gang Han; Marco Di Natale; Haibo Zeng 001; Xue Liu 001; Wenhua Dou (J. Syst. Archit., 2013)

An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. - Haibo Zeng 001; Marco Di Natale (IEEE Trans. Computers, 2013)

Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. - Alberto L. Sangiovanni-Vincentelli; Haibo Zeng 001; Marco Di Natale; Peter Marwedel (Embedded Systems Development, From Functional Models to Implementations, 2014)

A Cost Efficient Online Algorithm for Automotive Idling Reduction. - Chuansheng Dong; Haibo Zeng 001; Minghua Chen 001 (DAC, 2014)

Minimizing stack memory for hard real-time applications on multicore platforms. - Chuansheng Dong; Haibo Zeng 001 (DATE, 2014)

SAFE: Security-Aware FlexRay Scheduling Engine. - Gang Han; Haibo Zeng 001; Yaping Li; Wenhua Dou (DATE, 2014)

Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid. - Fanxin Kong; Chuansheng Dong; Xue Liu 001; Haibo Zeng 001 (INFOCOM, 2014)

Assigning time budgets to component functions in the design of time-critical automotive systems. - Ernest Wozniak; Marco Di Natale; Haibo Zeng 001; Chokri Mraidha; Sara Tucci Piergiovanni; Sébastien Gérard (ASE, 2014)

Task synthesis for latency-sensitive synchronous block diagram. - Peng Deng; Qi Zhu 002; Marco Di Natale; Haibo Zeng 001 (SIES, 2014)

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. - Qingling Zhao; Zonghua Gu 001; Haibo Zeng 001 (IEEE Embed. Syst. Lett., 2014)

Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid. - Fanxin Kong; Chuansheng Dong; Xue Liu 001; Haibo Zeng 001 (Proc. IEEE, 2014)

Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. - Haibo Zeng 001; Marco Di Natale; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2014)

Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms. - Gang Han; Haibo Zeng 001; Marco Di Natale; Xue Liu 001; Wenhua Dou (IEEE Trans. Ind. Informatics, 2014)

Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. - Zaid Al-bayati; Qingling Zhao; Ahmed Youssef; Haibo Zeng 001; Zonghua Gu 001 (ASP-DAC, 2015)

Impact assessment of electric vehicle charging on hydro Ottawa distribution networks at neighborhood levels. - Jian Xiong; Di Wu 002; Haibo Zeng 001; Shichao Liu 001; Xiaoyu Wang 003 (CCECE, 2015)

Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. - Chao Wang 097; Zonghua Gu 001; Haibo Zeng 001 (ECRTS, 2015)

Online Energy Management Strategy for Hybrid Electric Vehicle. - Lok To Mak; Minghua Chen 001; Guanglin Zhang; Longbo Huang; Haibo Zeng 001 (e-Energy, 2015)

A model-based synthesis flow for automotive CPS. - Peng Deng; Fabio Cremona; Qi Zhu 002; Marco Di Natale; Haibo Zeng 001 (ICCPS, 2015)

Task placement and selection of data consistency mechanisms for real-time multicore applications. - Zaid Al-bayati; Youcheng Sun; Haibo Zeng 001; Marco Di Natale; Qi Zhu 002; Brett H. Meyer (RTAS, 2015)

Computing periodic request functions to speed-up the analysis of non-cyclic task models. - Haibo Zeng 001; Marco Di Natale (Real Time Syst., 2015)

Online Algorithms for Automotive Idling Reduction With Effective Statistics. - Chuansheng Dong; Haibo Zeng 001; Minghua Chen 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. - Qingling Zhao; Zonghua Gu 001; Haibo Zeng 001 (ACM Trans. Embed. Comput. Syst., 2015)

A four-mode model for efficient fault-tolerant mixed-criticality systems. - Zaid Al-bayati; Jonah Caplan; Brett H. Meyer; Haibo Zeng 001 (DATE, 2016)

Fault-tolerant scheduling of multicore mixed-criticality systems under permanent failures. - Zaid Al-bayati; Brett H. Meyer; Haibo Zeng 001 (DFT, 2016)

Design space exploration for deterministic ethernet-based architecture of automotive systems. - Prachi Joshi; Vedahari Narasimhan G.; Haibo Zeng 001; Sandeep K. Shukla; Chung-Wei Lin; Huafeng Yu (HLDVT, 2016)

CPS based electric vehicle charging directing system design in Smart Grid. - Chen Wang 044; Di Wu 002; Haibo Zeng 001; Virgilio Centeno (ISGT, 2016)

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. - Meng Wu 001; Haibo Zeng 001; Chao Wang 001 (NFM, 2016)

Traffic Assignment with Maximum Delay Constraint in Stochastic Network. - Chuansheng Dong; Qingyu Liu; Haibo Zeng 001 (VTC Spring, 2016)

HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. - Qingling Zhao; Zonghua Gu 001; Min Yao; Haibo Zeng 001 (J. Syst. Archit., 2016)

Cache-Partitioned Preemption Threshold Scheduling. - Zonghua Gu 001; Chao Wang 097; Haibo Zeng 001 (ACM Trans. Embed. Comput. Syst., 2016)

Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling. - Chao Wang 097; Chuansheng Dong; Haibo Zeng 001; Zonghua Gu 001 (ACM Trans. Design Autom. Electr. Syst., 2016)

Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems. - Zonghua Gu 001; Gang Han; Haibo Zeng 001; Qingling Zhao (IEEE Trans. Parallel Distributed Syst., 2016)

Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization. - Chao Wang 097; Zonghua Gu 001; Haibo Zeng 001 (IEEE Trans. Parallel Distributed Syst., 2016)

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. - Meng Wu 001; Haibo Zeng 001; Chao Wang 001; Huafeng Yu (DAC, 2017)

The concept of unschedulability core for optimizing priority assignment in real-time systems. - Yecheng Zhao; Haibo Zeng 001 (DATE, 2017)

The Multi-Domain Frame Packing Problem for CAN-FD. - Prachi Joshi; Haibo Zeng 001; Unmesh D. Bordoloi; Soheil Samii; S. S. Ravi; Sandeep K. Shukla (ECRTS, 2017)

Online message delay prediction for model predictive control over controller area network. - Amith Kaushal Rao; Haibo Zeng 001 (ICCAD, 2017)

On the min-max-delay problem: NP-completeness, algorithm, and integrality gap. - Qingyu Liu; Lei Deng 001; Haibo Zeng 001; Minghua Chen 001 (ITW, 2017)

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 001 (RTSS, 2017)

The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling. - Yecheng Zhao; Haibo Zeng 001 (RTSS, 2017)

On the Min-Max-Delay Problem: NP-completeness, Algorithm, and Int-Gap. - Qingyu Liu; Lei Deng 001; Haibo Zeng 001; Minghua Chen 001 (CoRR, 2017)

Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. - Qingling Zhao; Zonghua Gu 001; Haibo Zeng 001 (J. Syst. Archit., 2017)

An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling. - Yecheng Zhao; Haibo Zeng 001 (Real Time Syst., 2017)

Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines. - Yecheng Zhao; Chao Peng; Haibo Zeng 001; Zonghua Gu 001 (ACM Trans. Embed. Comput. Syst., 2017)

Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models. - Qingling Zhao; Zaid Al-bayati; Zonghua Gu 001; Haibo Zeng 001 (ACM Trans. Design Autom. Electr. Syst., 2017)

Networked Real-Time Embedded Systems. - Haibo Zeng 001; Prachi Joshi; Daniel Thiele; Jonas Diemer; Philip Axer; Rolf Ernst; Petru Eles (Handbook of Hardware/Software Codesign, 2017)

The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. - Yecheng Zhao; Haibo Zeng 001 (RTAS, 2018)

Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. - Shamit Bansal; Yecheng Zhao; Haibo Zeng 001; Kehua Yang (RTSS, 2018)

Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds. - Chao Peng; Yecheng Zhao; Haibo Zeng 001 (RTSS, 2018)

Minimizing Age-of-Information with Throughput Constraints in Multi-Path Network Communication. - Qingyu Liu; Haibo Zeng 001; Minghua Chen 001 (CoRR, 2018)

Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. - Qingling Zhao; Zonghua Gu 001; Haibo Zeng 001; Nenggan Zheng (J. Syst. Archit., 2018)

Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement. - Chao Peng; Haibo Zeng 001 (Real Time Syst., 2018)

Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy. - Jonah Caplan; Zaid Al-bayati; Haibo Zeng 001; Brett H. Meyer (IEEE Trans. Computers, 2018)

A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems. - Yecheng Zhao; Vinit Gala; Haibo Zeng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks. - Lei Deng 001; Mohammad Hassan Hajiesmaili; Minghua Chen 001; Haibo Zeng 001 (IEEE Trans. Intell. Transp. Syst., 2018)

Optimization techniques for time-critical cyber-physical systems. - Yecheng Zhao; Haibo Zeng 001 (DESTION@CPSIoTWeek, 2019)

Dynamic Switching Speed Reconfiguration for Engine Performance Optimization. - Chao Peng; Yecheng Zhao; Haibo Zeng 001 (DAC, 2019)

Delay-constrained offloading of computationally intensive workloads in edge computing. - Qingyu Liu; Haibo Zeng 001; Lingjia Liu 001; Minghua Chen 001 (SEC, 2019)

Opportunistic Driving: a Critical Design Space for Reducing Fuel Consumption of Timely Long-Haul Truck Transportation. - Wenjie Xu; Qingyu Liu; Minghua Chen 001; Haibo Zeng 001 (e-Energy, 2019)

Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication. - Qingyu Liu; Haibo Zeng 001; Minghua Chen 001 (MobiHoc, 2019)

Adversarial de-noising of electrocardiogram. - Jilong Wang 002; Renfa Li; Rui Li 019; Keqin Li 001; Haibo Zeng 001; Guoqi Xie; Li Liu (Neurocomputing, 2019)

A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. - Chao Peng; Haibo Zeng 001; Marco Di Natale (Real Time Syst., 2019)

The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems. - Yecheng Zhao; Haibo Zeng 001 (Real Time Syst., 2019)

The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling. - Yecheng Zhao; Haibo Zeng 001 (IEEE Trans. Computers, 2019)

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. - Zaid Al-bayati; Youcheng Sun; Haibo Zeng 001; Marco Di Natale; Qi Zhu 002; Brett H. Meyer (ACM Trans. Embed. Comput. Syst., 2019)

Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints. - Qingyu Liu; Haibo Zeng 001; Minghua Chen 001; Lingjia Liu 001 (INFOCOM, 2020)

An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis. - Yecheng Zhao; Runzhi Zhou; Haibo Zeng 001 (RTSS, 2020)

Minimizing Emission for Timely Truck Transportation with Adaptive Fuel Injection. - Runzhi Zhou; Qingyu Liu; Wenjie Xu; Minghua Chen 001; Haibo Zeng 001 (BuildSys, 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 Kumar Shukla; Haibo Zeng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Schedulability Analysis of Engine Control Systems With Dynamic Switching Speeds. - Yu Liu; Chao Peng; Yecheng Zhao; Yangyang Li; Haibo Zeng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

BTMonitor: Bit-time-based Intrusion Detection and Attacker Identification in Controller Area Network. - Jia Zhou 003; Prachi Joshi; Haibo Zeng 001; Renfa Li (ACM Trans. Embed. Comput. Syst., 2020)

Spatial-Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment. - Lipeng Zhu; Chao Lu 009; Innocent Kamwa; Haibo Zeng 001 (IEEE Trans. Ind. Informatics, 2020)

Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. - Qingyu Liu; Haibo Zeng 001; Minghua Chen 001 (IEEE Trans. Intell. Transp. Syst., 2020)

A Tale of Two Metrics in Network Delay Optimization. - Qingyu Liu; Lei Deng 001; Haibo Zeng 001; Minghua Chen 001 (IEEE/ACM Trans. Netw., 2020)

Network Utility Maximization Under Maximum Delay Constraints and Throughput Requirements. - Qingyu Liu; Haibo Zeng 001; Minghua Chen 001 (IEEE/ACM Trans. Netw., 2020)

Energy efficient timely transportation: a comparative study of internal combustion trucks and electric trucks. - Junyan Su; Minghua Chen 001; Haibo Zeng 001 (BuildSys, 2021)

Software-Defined Edge Computing: A New Architecture Paradigm to Support IoT Data Analysis. - Di Wu 002; Xiaofeng Xie; Xiang Nie; Bin Fu; Hanhui Deng; Haibo Zeng 001; Zhijin Qin (CoRR, 2021)

Towards Computational Awareness in Autonomous Robots: An Empirical Study of Computational Kernels. - Ashrarul H. Sifat; Burhanuddin Bharmal; Haibo Zeng 001; Jia-Bin Huang 001; Changhee Jung; Ryan K. Williams (CoRR, 2021)

A DVFS-Weakly Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems. - Jing Huang 012; Renfa Li; Jiyao An; Haibo Zeng 001; Wanli Chang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

E2Pilot: An energy-efficient navigation system for long-haul timely truck transportation: demo. - Junyan Su; Minghua Chen 001; Haibo Zeng 001 (e-Energy, 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 004; Haibo Zeng 001 (J. Syst. Archit., 2022)

Improved analysis and optimal priority assignment for communicating threads on uni-processor. - Qingling Zhao; Yecheng Zhao; Minhui Zou; Zhigang Gao; Haibo Zeng 001 (J. Syst. Archit., 2022)

Design optimization for real-time systems with sustainable schedulability analysis. - Yecheng Zhao; Runzhi Zhou; Haibo Zeng 001 (Real Time Syst., 2022)

CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. - Qingling Zhao; Mingqiang Chen; Zonghua Gu 001; Siyu Luan; Haibo Zeng 001; Samarjit Chakraborty (ACM Trans. Embed. Comput. Syst., 2022)

Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms. - Qingling Zhao; Mengfei Qu; Zonghua Gu 001; Haibo Zeng 001 (ACM Trans. Embed. Comput. Syst., 2022)

Minimizing AoI With Throughput Requirements in Multi-Path Network Communication. - Qingyu Liu; Haibo Zeng 001; Minghua Chen 001 (IEEE/ACM Trans. Netw., 2022)

Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. - Junyan Su; Qiulin Lin; Minghua Chen 001; Haibo Zeng 001 (CDC, 2023)

A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables. - Sen Wang; Ryan K. Williams; Haibo Zeng 001 (RTAS, 2023)

RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems. - Shao-Yu Huang; Jianping Zeng 001; Xuanliang Deng; Sen Wang; Ashrarul H. Sifat; Burhanuddin Bharmal; Jia-Bin Huang 001; Ryan K. Williams; Haibo Zeng 001; Changhee Jung (RTSS, 2023)

Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. - Wenjie Xu; Qingyu Liu; Minghua Chen 001; Haibo Zeng 001 (IEEE Trans. Intell. Transp. Syst., 2023)

A Safety-Performance Metric Enabling Computational Awareness in Autonomous Robots. - Ashrarul H. Sifat; Xuanliang Deng; Burhanuddin Bharmal; Sen Wang; Shao-Yu Huang; Jia-Bin Huang 001; Changhee Jung; Haibo Zeng 001; Ryan K. Williams (IEEE Robotics Autom. Lett., 2023)

A Model-Based Method for Enabling Source Mapping and Intrusion Detection on Proprietary Can Bus. - Jia Zhou 003; Guoqi Xie; Haibo Zeng 001; Weizhe Zhang; Laurence T. Yang; Mamoun Alazab; Renfa Li (IEEE Trans. Intell. Transp. Syst., 2023)

Safe and Efficient Unsignalized Intersection Management with Breadth-First Spanning Tree. - Dong Li 035; Sen Wang; Haibo Zeng 001 (ITSC, 2024)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency. - Sen Wang; Dong Li 035; Ashrarul H. Sifat; Shao-Yu Huang; Xuanliang Deng; Changhee Jung; Ryan K. Williams; Haibo Zeng 001 (RTAS, 2024)

Models on the Move: Towards Feasible Embedded AI for Intrusion Detection on Vehicular CAN Bus. - He Xu; Di Wu 002; Yufeng Lu; Jiwu Lu; Haibo Zeng 001 (USENIX ATC, 2024)

A General and Scalable Method for Optimizing Real-Time Systems. - Sen Wang; Dong Li 035; Shao-Yu Huang; Xuanliang Deng; Ashrarul H. Sifat; Changhee Jung; Ryan K. Williams; Haibo Zeng 001 (CoRR, 2024)

Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables. - Sen Wang; Dong Li 035; Shao-Yu Huang; Xuanliang Deng; Ashrarul H. Sifat; Changhee Jung; Ryan K. Williams; Haibo Zeng 001 (CoRR, 2024)

Partitioned scheduling with safety-performance trade-offs in stochastic conditional DAG models. - Xuanliang Deng; Ashrarul H. Sifat; Shao-Yu Huang; Sen Wang; Jia-Bin Huang 001; Changhee Jung; Ryan K. Williams; Haibo Zeng 001 (J. Syst. Archit., 2024)

Implications of architecture and implementation choices on timing analysis of automotive CAN networks. - Dongwen Yang; Marco Di Natale; Haibo Zeng 001 (J. Syst. Archit., 2024)

Priority Assignment for Global Fixed Priority Scheduling on Multiprocessors. - Xuanliang Deng; Shriram Raja; Yecheng Zhao; Haibo Zeng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Time-Triggered Scheduling for Nonpreemptive Real-Time DAG Tasks Using 1-Opt Local Search. - Sen Wang; Dong Li 035; Shao-Yu Huang; Xuanliang Deng; Ashrarul H. Sifat; Jia-Bin Huang 001; Changhee Jung; Ryan K. Williams; Haibo Zeng 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Minimizing Emission for Timely Heavy-Duty Truck Transportation. - Junyan Su; Runzhi Zhou; Qingyu Liu; Wenjie Xu; Minghua Chen 001; Haibo Zeng 001 (IEEE Trans. Intell. Transp. Syst., 2025)

MULSAM: Multidimensional Attention With Hardware Acceleration for Efficient Intrusion Detection on Vehicular CAN Bus. - He Xu; Xiaokang Shi; Hansheng Liu; Yanwen Wang 001; Jiwu Lu; Haibo Zeng 001; Renfa Li; Di Wu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)