Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaibo Zeng 0001
Person information
- affiliation: Virginia Tech, Department of Electrical and Computer Engineering , Blacksburg, VA, USA
- affiliation (former): McGill University, Montreal, QC, Canada
- affiliation (former): General Motors, Detroit, MI, USA
- affiliation (PhD 2008): University of California at Berkeley, CA, USA
Other persons with the same name
- Haibo Zeng 0002
![[0000-0002-0281-3617]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0281-3617")
— Nanjing University of Science and Technology, Institute of Optoelectronics & Nanomaterials, Nanjing, China (and 2 more) - Haibo Zeng 0004 — Second Surveying and Mapping Institute of Hunan Province, Changsha, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i9]Sen Wang, Dong Li, Shaoyu Huang, Xuanliang Deng, Ashrarul H. Sifat, Changhee Jung, Ryan K. Williams, Haibo Zeng:
A General and Scalable Method for Optimizing Real-Time Systems. CoRR abs/2401.03284 (2024)- [i8]Sen Wang, Dong Li, Shaoyu Huang, Xuanliang Deng, Ashrarul H. Sifat, Changhee Jung, Ryan K. Williams, Haibo Zeng:
Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables. CoRR abs/2401.11620 (2024) - 2023
- [j51]Ashrarul H. Sifat, Xuanliang Deng, Burhanuddin Bharmal, Sen Wang, Shaoyu Huang, Jia-Bin Huang, Changhee Jung, Haibo Zeng, Ryan K. Williams:
A Safety-Performance Metric Enabling Computational Awareness in Autonomous Robots. IEEE Robotics Autom. Lett. 8(9): 5727-5734 (2023) - [j50]Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng:
Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. IEEE Trans. Intell. Transp. Syst. 24(5): 4777-4793 (2023) - [j49]Jia Zhou, Guoqi Xie, Haibo Zeng, Weizhe Zhang, Laurence T. Yang, Mamoun Alazab, Renfa Li:
A Model-Based Method for Enabling Source Mapping and Intrusion Detection on Proprietary Can Bus. IEEE Trans. Intell. Transp. Syst. 24(11): 12922-12932 (2023) - [c69]Junyan Su, Qiulin Lin, Minghua Chen, Haibo Zeng:
Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. CDC 2023: 7773-7778 - [c68]Sen Wang, Ryan K. Williams, Haibo Zeng:
A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables. RTAS 2023: 119-132 - [c67]Shaoyu Huang, Jianping Zeng, Xuanliang Deng, Sen Wang, Ashrarul H. Sifat, Burhanuddin Bharmal, Jia-Bin Huang, Ryan K. Williams, Haibo Zeng, Changhee Jung:
RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems. RTSS 2023: 344-357 - [i7]Junyan Su, Qiulin Lin, Minghua Chen, Haibo Zeng:
Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. CoRR abs/2308.09866 (2023) - [i6]Sen Wang, Dong Li, Ashrarul H. Sifat, Shaoyu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng:
Optimizing Logical Execution Time Model for Both Determinism and Low Latency. CoRR abs/2310.19699 (2023) - 2022
- [j48]Qingling Zhao, Yecheng Zhao, Minhui Zou, Zhigang Gao, Haibo Zeng:
Improved analysis and optimal priority assignment for communicating threads on uni-processor. J. Syst. Archit. 124: 102377 (2022) - [j47]Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang, Haibo Zeng:
Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds. J. Syst. Archit. 124: 102383 (2022) - [j46]Yecheng Zhao, Runzhi Zhou, Haibo Zeng:
Design optimization for real-time systems with sustainable schedulability analysis. Real Time Syst. 58(3): 275-312 (2022) - [j45]Qingling Zhao, Mengfei Qu, Zonghua Gu, Haibo Zeng:
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms. ACM Trans. Embed. Comput. Syst. 21(2): 20:1-20:30 (2022) - [j44]Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, Samarjit Chakraborty:
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. ACM Trans. Embed. Comput. Syst. 21(4): 45:1-45:30 (2022) - [j43]Qingyu Liu, Haibo Zeng, Minghua Chen:
Minimizing AoI With Throughput Requirements in Multi-Path Network Communication. IEEE/ACM Trans. Netw. 30(3): 1203-1216 (2022) - [c66]Junyan Su, Minghua Chen, Haibo Zeng:
E2Pilot: An energy-efficient navigation system for long-haul timely truck transportation: demo. e-Energy 2022: 430-431 - 2021
- [j42]Jing Huang, Renfa Li, Jiyao An, Haibo Zeng, Wanli Chang:
A DVFS-Weakly Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(12): 2481-2494 (2021) - [c65]Junyan Su, Minghua Chen, Haibo Zeng:
Energy efficient timely transportation: a comparative study of internal combustion trucks and electric trucks. BuildSys@SenSys 2021: 224-225 - [i5]Di Wu, Xiaofeng Xie, Xiang Nie, Bin Fu, Hanhui Deng, Haibo Zeng, Zhijin Qin:
Software-Defined Edge Computing: A New Architecture Paradigm to Support IoT Data Analysis. CoRR abs/2104.11645 (2021) - [i4]Ashrarul H. Sifat, Burhanuddin Bharmal, Haibo Zeng, Jia-Bin Huang, Changhee Jung, Ryan K. Williams:
Towards Computational Awareness in Autonomous Robots: An Empirical Study of Computational Kernels. CoRR abs/2112.10303 (2021) - 2020
- [j41]Prachi Joshi, S. S. Ravi, Qingyu Liu, Unmesh D. Bordoloi, Soheil Samii, Sandeep Kumar Shukla, Haibo Zeng:
Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(5): 1109-1122 (2020) - [j40]Yu Liu, Chao Peng, Yecheng Zhao, Yangyang Li, Haibo Zeng:
Schedulability Analysis of Engine Control Systems With Dynamic Switching Speeds. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2067-2080 (2020) - [j39]Jia Zhou, Prachi Joshi, Haibo Zeng, Renfa Li:
BTMonitor: Bit-time-based Intrusion Detection and Attacker Identification in Controller Area Network. ACM Trans. Embed. Comput. Syst. 18(6): 117:1-117:23 (2020) - [j38]Lipeng Zhu, Chao Lu, Innocent Kamwa, Haibo Zeng:
Spatial-Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment. IEEE Trans. Ind. Informatics 16(3): 1470-1482 (2020) - [j37]Qingyu Liu, Haibo Zeng, Minghua Chen:
Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. IEEE Trans. Intell. Transp. Syst. 21(12): 5148-5159 (2020) - [j36]Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen:
A Tale of Two Metrics in Network Delay Optimization. IEEE/ACM Trans. Netw. 28(3): 1241-1254 (2020) - [j35]Qingyu Liu, Haibo Zeng, Minghua Chen:
Network Utility Maximization Under Maximum Delay Constraints and Throughput Requirements. IEEE/ACM Trans. Netw. 28(5): 2132-2145 (2020) - [c64]Qingyu Liu, Haibo Zeng, Minghua Chen, Lingjia Liu:
Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints. INFOCOM 2020: 2263-2272 - [c63]Yecheng Zhao, Runzhi Zhou, Haibo Zeng:
An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis. RTSS 2020: 333-344 - [c62]Runzhi Zhou, Qingyu Liu, Wenjie Xu, Minghua Chen, Haibo Zeng:
Minimizing Emission for Timely Truck Transportation with Adaptive Fuel Injection. BuildSys@SenSys 2020: 240-249
2010 – 2019
- 2019
- [j34]Jilong Wang, Renfa Li, Rui Li, Keqin Li, Haibo Zeng, Guoqi Xie, Li Liu:
Adversarial de-noising of electrocardiogram. Neurocomputing 349: 212-224 (2019) - [j33]Chao Peng, Haibo Zeng, Marco Di Natale:
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real Time Syst. 55(3): 598-638 (2019) - [j32]Yecheng Zhao, Haibo Zeng:
The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems. Real Time Syst. 55(3): 667-707 (2019) - [j31]Yecheng Zhao, Haibo Zeng:
The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling. IEEE Trans. Computers 68(6): 926-938 (2019) - [j30]Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer:
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. 18(4): 35:1-35:28 (2019) - [c61]Yecheng Zhao, Haibo Zeng:
Optimization techniques for time-critical cyber-physical systems. DESTION@CPSIoTWeek 2019: 41-50 - [c60]Chao Peng, Yecheng Zhao, Haibo Zeng:
Dynamic Switching Speed Reconfiguration for Engine Performance Optimization. DAC 2019: 11 - [c59]Qingyu Liu, Haibo Zeng, Lingjia Liu, Minghua Chen:
Delay-constrained offloading of computationally intensive workloads in edge computing. SEC 2019: 346 - [c58]Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng:
Opportunistic Driving: a Critical Design Space for Reducing Fuel Consumption of Timely Long-Haul Truck Transportation. e-Energy 2019: 393-395 - [c57]Qingyu Liu, Haibo Zeng, Minghua Chen:
Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication. MobiHoc 2019: 41-50 - [c56]Qingyu Liu, Haibo Zeng, Minghua Chen:
Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. MobiHoc 2019: 391-392 - [c55]Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng:
Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. BuildSys@SenSys 2019: 169-178 - 2018
- [j29]Qingling Zhao, Zonghua Gu, Haibo Zeng, Nenggan Zheng:
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 83: 57-74 (2018) - [j28]Chao Peng, Haibo Zeng:
Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement. Real Time Syst. 54(1): 91-131 (2018) - [j27]Jonah Caplan, Zaid Al-bayati, Haibo Zeng, Brett H. Meyer:
Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy. IEEE Trans. Computers 67(4): 582-588 (2018) - [j26]Yecheng Zhao, Vinit Gala, Haibo Zeng:
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2188-2199 (2018) - [j25]Lei Deng, Mohammad Hassan Hajiesmaili, Minghua Chen, Haibo Zeng:
Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks. IEEE Trans. Intell. Transp. Syst. 19(7): 2099-2113 (2018) - [c54]Qingyu Liu, Haibo Zeng, Minghua Chen:
Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. e-Energy 2018: 324-339 - [c53]Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen:
A Tale of Two Metrics in Network Delay Optimization. INFOCOM 2018: 2123-2131 - [c52]Yecheng Zhao, Haibo Zeng:
The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. RTAS 2018: 283-294 - [c51]Shamit Bansal, Yecheng Zhao, Haibo Zeng, Kehua Yang:
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. RTSS 2018: 242-253 - [c50]Chao Peng, Yecheng Zhao, Haibo Zeng:
Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds. RTSS 2018: 396-407 - [i3]Qingyu Liu, Haibo Zeng, Minghua Chen:
Minimizing Age-of-Information with Throughput Constraints in Multi-Path Network Communication. CoRR abs/1811.12605 (2018) - [i2]Qingyu Liu, Haibo Zeng, Minghua Chen:
Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. CoRR abs/1812.06169 (2018) - 2017
- [j24]Qingling Zhao, Zonghua Gu, Haibo Zeng:
Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 72: 61-68 (2017) - [j23]Yecheng Zhao, Haibo Zeng:
An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling. Real Time Syst. 53(4): 467-525 (2017) - [j22]Yecheng Zhao, Chao Peng, Haibo Zeng, Zonghua Gu:
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines. ACM Trans. Embed. Comput. Syst. 16(5s): 175:1-175:21 (2017) - [j21]Qingling Zhao, Zaid Al-bayati, Zonghua Gu, Haibo Zeng:
Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models. ACM Trans. Design Autom. Electr. Syst. 22(2): 23:1-23:25 (2017) - [c49]Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu:
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC 2017: 84:1-84:6 - [c48]Yecheng Zhao, Haibo Zeng:
The concept of unschedulability core for optimizing priority assignment in real-time systems. DATE 2017: 232-237 - [c47]Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla:
The Multi-Domain Frame Packing Problem for CAN-FD. ECRTS 2017: 12:1-12:22 - [c46]Amith Kaushal Rao, Haibo Zeng:
Online message delay prediction for model predictive control over controller area network. ICCAD 2017: 177-184 - [c45]Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen:
On the min-max-delay problem: NP-completeness, algorithm, and integrality gap. ITW 2017: 21-25 - [c44]Yecheng Zhao, Haibo Zeng:
The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling. RTSS 2017: 116-127 - [c43]Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng:
Offset Assignment to Signals for Improving Frame Packing in CAN-FD. RTSS 2017: 167-177 - [p2]Haibo Zeng, Prachi Joshi, Daniel Thiele, Jonas Diemer, Philip Axer, Rolf Ernst, Petru Eles:
Networked Real-Time Embedded Systems. Handbook of Hardware/Software Codesign 2017: 753-792 - [i1]Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen:
On the Min-Max-Delay Problem: NP-completeness, Algorithm, and Int-Gap. CoRR abs/1707.02650 (2017) - 2016
- [j20]Qingling Zhao, Zonghua Gu, Min Yao, Haibo Zeng:
HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. J. Syst. Archit. 66-67: 84-99 (2016) - [j19]Zonghua Gu, Chao Wang, Haibo Zeng:
Cache-Partitioned Preemption Threshold Scheduling. ACM Trans. Embed. Comput. Syst. 16(1): 13:1-13:30 (2016) - [j18]Chao Wang, Chuansheng Dong, Haibo Zeng, Zonghua Gu:
Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling. ACM Trans. Design Autom. Electr. Syst. 21(3): 46:1-46:25 (2016) - [j17]Zonghua Gu, Gang Han, Haibo Zeng, Qingling Zhao:
Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 27(10): 3044-3057 (2016) - [j16]Chao Wang, Zonghua Gu, Haibo Zeng:
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization. IEEE Trans. Parallel Distributed Syst. 27(11): 3242-3255 (2016) - [c42]Zaid Al-bayati, Jonah Caplan, Brett H. Meyer, Haibo Zeng:
A four-mode model for efficient fault-tolerant mixed-criticality systems. DATE 2016: 97-102 - [c41]Zaid Al-bayati, Brett H. Meyer, Haibo Zeng:
Fault-tolerant scheduling of multicore mixed-criticality systems under permanent failures. DFT 2016: 57-62 - [c40]Lei Deng, Mohammad Hassan Hajiesmaili, Minghua Chen, Haibo Zeng:
Energy-efficient timely transportation of long-haul heavy-duty trucks. e-Energy 2016: 10:1-10:12 - [c39]Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu:
Design space exploration for deterministic ethernet-based architecture of automotive systems. HLDVT 2016: 53-61 - [c38]Chen Wang, Di Wu, Haibo Zeng, Virgilio Centeno:
CPS based electric vehicle charging directing system design in Smart Grid. ISGT 2016: 1-5 - [c37]Meng Wu, Haibo Zeng, Chao Wang:
Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM 2016: 65-81 - [c36]Chuansheng Dong, Qingyu Liu, Haibo Zeng:
Traffic Assignment with Maximum Delay Constraint in Stochastic Network. VTC Spring 2016: 1-5 - 2015
- [j15]Haibo Zeng, Marco Di Natale:
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real Time Syst. 51(4): 360-394 (2015) - [j14]Chuansheng Dong, Haibo Zeng, Minghua Chen:
Online Algorithms for Automotive Idling Reduction With Effective Statistics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(11): 1742-1755 (2015) - [j13]Qingling Zhao, Zonghua Gu, Haibo Zeng:
Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. ACM Trans. Embed. Comput. Syst. 14(4): 81:1-81:25 (2015) - [c35]Zaid Al-bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, Zonghua Gu:
Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. ASP-DAC 2015: 630-635 - [c34]Jian Xiong, Di Wu, Haibo Zeng, Shichao Liu, Xiaoyu Wang:
Impact assessment of electric vehicle charging on hydro Ottawa distribution networks at neighborhood levels. CCECE 2015: 1072-1077 - [c33]Chao Wang, Zonghua Gu, Haibo Zeng:
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. ECRTS 2015: 69-79 - [c32]Lok To Mak, Minghua Chen, Guanglin Zhang, Longbo Huang, Haibo Zeng:
Online Energy Management Strategy for Hybrid Electric Vehicle. e-Energy 2015: 201-202 - [c31]Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng:
A model-based synthesis flow for automotive CPS. ICCPS 2015: 198-207 - [c30]Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer:
Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS 2015: 172-181 - 2014
- [j12]Qingling Zhao, Zonghua Gu, Haibo Zeng:
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. IEEE Embed. Syst. Lett. 6(1): 8-11 (2014) - [j11]Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng:
Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid. Proc. IEEE 102(11): 1762-1776 (2014) - [j10]Haibo Zeng, Marco Di Natale, Qi Zhu:
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embed. Comput. Syst. 13(5s): 149:1-149:25 (2014) - [j9]Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, Wenhua Dou:
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms. IEEE Trans. Ind. Informatics 10(2): 903-918 (2014) - [c29]Chuansheng Dong, Haibo Zeng, Minghua Chen:
A Cost Efficient Online Algorithm for Automotive Idling Reduction. DAC 2014: 92:1-92:6 - [c28]Chuansheng Dong, Haibo Zeng:
Minimizing stack memory for hard real-time applications on multicore platforms. DATE 2014: 1-6 - [c27]Gang Han, Haibo Zeng, Yaping Li, Wenhua Dou:
SAFE: Security-Aware FlexRay Scheduling Engine. DATE 2014: 1-4 - [c26]Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng:
Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid. INFOCOM 2014: 2813-2821 - [c25]Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard:
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE 2014: 235-246 - [c24]Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng:
Task synthesis for latency-sensitive synchronous block diagram. SIES 2014: 112-121 - [p1]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. Embedded Systems Development, From Functional Models to Implementations 2014: 1-16 - [e1]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Embedded Systems Development, From Functional Models to Implementations. Springer 2014, ISBN 978-1-4614-3878-6 [contents] - 2013
- [j8]Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale:
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. IEEE Embed. Syst. Lett. 5(3): 29 (2013) - [j7]Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, Wenhua Dou:
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures. J. Syst. Archit. 59(10-D): 1115-1127 (2013) - [j6]Haibo Zeng, Marco Di Natale:
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. IEEE Trans. Computers 62(4): 644-661 (2013) - [c23]Qingling Zhao, Zonghua Gu, Haibo Zeng:
PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. DATE 2013: 141-146 - [c22]Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng:
Robust and extensible task implementations of synchronous finite state machines. DATE 2013: 1319-1324 - [c21]Haibo Zeng, Marco Di Natale:
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. ECRTS 2013: 205-214 - [c20]Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic:
An FPGA implementation of wait-free data synchronization protocols. ETFA 2013: 1-8 - [c19]Marco Di Natale, Haibo Zeng:
Practical issues with the timing analysis of the Controller Area Network. ETFA 2013: 1-8 - [c18]Chuansheng Dong, Fanxin Kong, Xue Liu, Haibo Zeng:
Green power analysis for Geographical Load Balancing based datacenters. IGCC 2013: 1-8 - [c17]Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard:
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES 2013: 121-132 - [c16]Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli:
Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 227-236 - [c15]Qingling Zhao, Zonghua Gu, Haibo Zeng:
Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm. RTCSA 2013: 227-236 - [c14]Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu:
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES 2013: 168-177 - 2012
- [j5]Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. 11(4): 85:1-85:30 (2012) - [c13]Marco Di Natale, Haibo Zeng:
Task implementation of synchronous finite state machines. DATE 2012: 206-211 - [c12]Haibo Zeng, Marco Di Natale:
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. ECRTS 2012: 353-362 - [c11]Haibo Zeng, Marco Di Natale, Qi Zhu:
Optimizing stack memory requirements for real-time embedded applications. ETFA 2012: 1-8 - [c10]Haibo Zeng, Marco Di Natale:
Efficient implementation of AUTOSAR components with minimal memory usage. SIES 2012: 130-137 - 2011
- [j4]Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli:
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Ind. Informatics 7(1): 1-17 (2011) - [c9]Haibo Zeng, Marco Di Natale:
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. SIES 2011: 140-149 - 2010
- [j3]Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli:
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Ind. Informatics 6(4): 637-651 (2010) - [j2]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Ind. Informatics 6(4): 678-691 (2010) - [c8]Haibo Zeng, Arkadeb Ghosal, Marco Di Natale:
Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT 2010: 1932-1939 - [c7]Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim:
Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE 2010: 550-555 - [c6]Haibo Zeng, Marco Di Natale:
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. ECRTS 2010: 279-290 - [c5]Marco Di Natale, Haibo Zeng:
System identification and extraction of timing properties from controller area network (CAN) message traces. ETFA 2010: 1-8
2000 – 2009
- 2009
- [j1]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Ind. Informatics 5(4): 388-401 (2009) - [c4]Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Scheduling the FlexRay bus using optimization techniques. DAC 2009: 874-877 - [c3]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10 - 2006
- [c2]Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. DATE 2006: 548-553 - 2003
- [c1]Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli:
A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. ICCAD 2003: 778-785
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 23:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
