Haibo Zeng - RankMe

144 papers A* 8A 22B 10C 5Misc 1Journal 69Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A DVFS-weakly dependent real-time scheduling for multiple parallel applications on energy-aware heterogeneous systems. J. Syst. Archit. Yuhong Chen, Jing Huang, Lijun Xiao, Haibo Zeng
2025	J	`jnl`	Edge Energy-Aware Offloading Strategy for Tasks with DAG Structure in Mobile Edge Computing. J. Circuits Syst. Comput. Jing Huang, Zihao Deng, Luxiu Yin, Lijun Xiao, Haibo Zeng
2025	J	`jnl`	MULSAM: Multidimensional Attention With Hardware Acceleration for Efficient Intrusion Detection on Vehicular CAN Bus. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. He Xu, Xiaokang Shi, Hansheng Liu, Yanwen Wang, Jiwu Lu, Haibo Zeng, Renfa Li, Di Wu
2025	J	`jnl`	Minimizing Emission for Timely Heavy-Duty Truck Transportation. IEEE Trans. Intell. Transp. Syst. Junyan Su, Runzhi Zhou, Qingyu Liu, Wenjie Xu, Minghua Chen, Haibo Zeng
2024	J	`jnl`	A General and Scalable Method for Optimizing Real-Time Systems. CoRR Sen Wang, Dong Li, Shao-Yu Huang, Xuanliang Deng, Ashrarul H. Sifat, Changhee Jung, Ryan K. Williams, Haibo Zeng
2024	J	`jnl`	Implications of architecture and implementation choices on timing analysis of automotive CAN networks. J. Syst. Archit. Dongwen Yang, Marco Di Natale, Haibo Zeng
2024	—	`conf`	Models on the Move: Towards Feasible Embedded AI for Intrusion Detection on Vehicular CAN Bus. USENIX ATC He Xu, Di Wu, Yufeng Lu, Jiwu Lu, Haibo Zeng
2024	A	`conf`	Optimizing Logical Execution Time Model for Both Determinism and Low Latency. RTAS Sen Wang, Dong Li, Ashrarul H. Sifat, Shao-Yu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng
2024	J	`jnl`	Partitioned scheduling with safety-performance trade-offs in stochastic conditional DAG models. J. Syst. Archit. Xuanliang Deng, Ashrarul H. Sifat, Shao-Yu Huang, Sen Wang, Jia-Bin Huang, Changhee Jung, Ryan K. Williams, Haibo Zeng
2024	J	`jnl`	Priority Assignment for Global Fixed Priority Scheduling on Multiprocessors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xuanliang Deng, Shriram Raja, Yecheng Zhao, Haibo Zeng
2024	J	`jnl`	Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables. CoRR Sen Wang, Dong Li, Shao-Yu Huang, Xuanliang Deng, Ashrarul H. Sifat, Changhee Jung, Ryan K. Williams, Haibo Zeng
2024	—	`conf`	Safe and Efficient Unsignalized Intersection Management with Breadth-First Spanning Tree. ITSC Dong Li, Sen Wang, Haibo Zeng
2024	J	`jnl`	Time-Triggered Scheduling for Nonpreemptive Real-Time DAG Tasks Using 1-Opt Local Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sen Wang, Dong Li, Shao-Yu Huang, Xuanliang Deng, Ashrarul H. Sifat, Jia-Bin Huang, Changhee Jung, Ryan K. Williams, Haibo Zeng
2023	A	`conf`	A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables. RTAS Sen Wang, Ryan K. Williams, Haibo Zeng
2023	J	`jnl`	A Model-Based Method for Enabling Source Mapping and Intrusion Detection on Proprietary Can Bus. IEEE Trans. Intell. Transp. Syst. Jia Zhou, Guoqi Xie, Haibo Zeng, Weizhe Zhang, Laurence T. Yang, Mamoun Alazab, Renfa Li
2023	J	`jnl`	A Safety-Performance Metric Enabling Computational Awareness in Autonomous Robots. IEEE Robotics Autom. Lett. Ashrarul H. Sifat, Xuanliang Deng, Burhanuddin Bharmal, Sen Wang, Shao-Yu Huang, Jia-Bin Huang, Changhee Jung, Haibo Zeng, Ryan K. Williams
2023	—	`conf`	Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. CDC Junyan Su, Qiulin Lin, Minghua Chen, Haibo Zeng
2023	J	`jnl`	Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. CoRR Junyan Su, Qiulin Lin, Minghua Chen, Haibo Zeng
2023	J	`jnl`	Optimizing Logical Execution Time Model for Both Determinism and Low Latency. CoRR Sen Wang, Dong Li, Ashrarul H. Sifat, Shao-Yu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng
2023	A	`conf`	RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems. RTSS Shao-Yu Huang, Jianping Zeng, Xuanliang Deng, Sen Wang, Ashrarul H. Sifat, Burhanuddin Bharmal, Jia-Bin Huang, Ryan K. Williams, Haibo Zeng, Changhee Jung
2023	J	`jnl`	Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. IEEE Trans. Intell. Transp. Syst. Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng
2023	J	`jnl`	Towards computational awareness in autonomous robots: an empirical study of computational kernels. Complex Intell. Syst. Ashrarul H. Sifat, Burhanuddin Bharmal, Haibo Zeng, Jia-Bin Huang, Changhee Jung, Ryan K. Williams
2022	J	`jnl`	CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. ACM Trans. Embed. Comput. Syst. Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, Samarjit Chakraborty
2022	J	`jnl`	Design optimization for real-time systems with sustainable schedulability analysis. Real Time Syst. Yecheng Zhao, Runzhi Zhou, Haibo Zeng
2022	—	`conf`	E2Pilot: An energy-efficient navigation system for long-haul timely truck transportation: demo. e-Energy Junyan Su, Minghua Chen, Haibo Zeng
2022	J	`jnl`	Improved analysis and optimal priority assignment for communicating threads on uni-processor. J. Syst. Archit. Qingling Zhao, Yecheng Zhao, Minhui Zou, Zhigang Gao, Haibo Zeng
2022	J	`jnl`	Minimizing AoI With Throughput Requirements in Multi-Path Network Communication. IEEE/ACM Trans. Netw. Qingyu Liu, Haibo Zeng, Minghua Chen
2022	J	`jnl`	Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms. ACM Trans. Embed. Comput. Syst. Qingling Zhao, Mengfei Qu, Zonghua Gu, Haibo Zeng
2022	J	`jnl`	Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds. J. Syst. Archit. Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang, Haibo Zeng
2021	J	`jnl`	A DVFS-Weakly Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jing Huang, Renfa Li, Jiyao An, Haibo Zeng, Wanli Chang
2021	—	`conf`	Energy efficient timely transportation: a comparative study of internal combustion trucks and electric trucks. BuildSys Junyan Su, Minghua Chen, Haibo Zeng
2021	J	`jnl`	Software-Defined Edge Computing: A New Architecture Paradigm to Support IoT Data Analysis. CoRR Di Wu, Xiaofeng Xie, Xiang Nie, Bin Fu, Hanhui Deng, Haibo Zeng, Zhijin Qin
2021	J	`jnl`	Towards Computational Awareness in Autonomous Robots: An Empirical Study of Computational Kernels. CoRR Ashrarul H. Sifat, Burhanuddin Bharmal, Haibo Zeng, Jia-Bin Huang, Changhee Jung, Ryan K. Williams
2020	J	`jnl`	A Tale of Two Metrics in Network Delay Optimization. IEEE/ACM Trans. Netw. Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
2020	A	`conf`	An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis. RTSS Yecheng Zhao, Runzhi Zhou, Haibo Zeng
2020	J	`jnl`	Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Prachi Joshi, S. S. Ravi, Qingyu Liu, Unmesh D. Bordoloi, Soheil Samii, Sandeep Kumar Shukla, Haibo Zeng
2020	J	`jnl`	BTMonitor: Bit-time-based Intrusion Detection and Attacker Identification in Controller Area Network. ACM Trans. Embed. Comput. Syst. Jia Zhou, Prachi Joshi, Haibo Zeng, Renfa Li
2020	A*	`conf`	Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints. INFOCOM Qingyu Liu, Haibo Zeng, Minghua Chen, Lingjia Liu
2020	J	`jnl`	Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. IEEE Trans. Intell. Transp. Syst. Qingyu Liu, Haibo Zeng, Minghua Chen
2020	—	`conf`	Minimizing Emission for Timely Truck Transportation with Adaptive Fuel Injection. BuildSys Runzhi Zhou, Qingyu Liu, Wenjie Xu, Minghua Chen, Haibo Zeng
2020	J	`jnl`	Network Utility Maximization Under Maximum Delay Constraints and Throughput Requirements. IEEE/ACM Trans. Netw. Qingyu Liu, Haibo Zeng, Minghua Chen
2020	J	`jnl`	Schedulability Analysis of Engine Control Systems With Dynamic Switching Speeds. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yu Liu, Chao Peng, Yecheng Zhao, Yangyang Li, Haibo Zeng
2020	J	`jnl`	Spatial-Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment. IEEE Trans. Ind. Informatics Lipeng Zhu, Chao Lu, Innocent Kamwa, Haibo Zeng
2019	J	`jnl`	A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real Time Syst. Chao Peng, Haibo Zeng, Marco Di Natale
2019	J	`jnl`	Adversarial de-noising of electrocardiogram. Neurocomputing Jilong Wang, Renfa Li, Rui Li, Keqin Li, Haibo Zeng, Guoqi Xie, Li Liu
2019	Misc	`conf`	Delay-constrained offloading of computationally intensive workloads in edge computing. SEC Qingyu Liu, Haibo Zeng, Lingjia Liu, Minghua Chen
2019	A*	`conf`	Dynamic Switching Speed Reconfiguration for Engine Performance Optimization. DAC Chao Peng, Yecheng Zhao, Haibo Zeng
2019	B	`conf`	Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication. MobiHoc Qingyu Liu, Haibo Zeng, Minghua Chen
2019	B	`conf`	Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. MobiHoc Qingyu Liu, Haibo Zeng, Minghua Chen
2019	—	`conf`	Opportunistic Driving: a Critical Design Space for Reducing Fuel Consumption of Timely Long-Haul Truck Transportation. e-Energy Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng
2019	—	`conf`	Optimization techniques for time-critical cyber-physical systems. DESTION@CPSIoTWeek Yecheng Zhao, Haibo Zeng
2019	J	`jnl`	Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2019	—	`conf`	Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation. BuildSys Wenjie Xu, Qingyu Liu, Minghua Chen, Haibo Zeng
2019	J	`jnl`	The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling. IEEE Trans. Computers Yecheng Zhao, Haibo Zeng
2019	J	`jnl`	The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems. Real Time Syst. Yecheng Zhao, Haibo Zeng
2018	A*	`conf`	A Tale of Two Metrics in Network Delay Optimization. INFOCOM Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
2018	J	`jnl`	A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yecheng Zhao, Vinit Gala, Haibo Zeng
2018	J	`jnl`	Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks. IEEE Trans. Intell. Transp. Syst. Lei Deng, Mohammad Hassan Hajiesmaili, Minghua Chen, Haibo Zeng
2018	—	`conf`	Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks. e-Energy Qingyu Liu, Haibo Zeng, Minghua Chen
2018	J	`jnl`	Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy. IEEE Trans. Computers Jonah Caplan, Zaid Al-bayati, Haibo Zeng, Brett H. Meyer
2018	J	`jnl`	Minimizing Age-of-Information with Throughput Constraints in Multi-Path Network Communication. CoRR Qingyu Liu, Haibo Zeng, Minghua Chen
2018	J	`jnl`	Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements. CoRR Qingyu Liu, Haibo Zeng, Minghua Chen
2018	A	`conf`	Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. RTSS Shamit Bansal, Yecheng Zhao, Haibo Zeng, Kehua Yang
2018	J	`jnl`	Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement. Real Time Syst. Chao Peng, Haibo Zeng
2018	A	`conf`	Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds. RTSS Chao Peng, Yecheng Zhao, Haibo Zeng
2018	J	`jnl`	Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. Qingling Zhao, Zonghua Gu, Haibo Zeng, Nenggan Zheng
2018	A	`conf`	The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. RTAS Yecheng Zhao, Haibo Zeng
2017	J	`jnl`	An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling. Real Time Syst. Yecheng Zhao, Haibo Zeng
2017	J	`jnl`	Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. Qingling Zhao, Zonghua Gu, Haibo Zeng
2017	—	`ch.`	Networked Real-Time Embedded Systems. Handbook of Hardware/Software Codesign Haibo Zeng, Prachi Joshi, Daniel Thiele, Jonas Diemer, Philip Axer, Rolf Ernst, Petru Eles
2017	A	`conf`	Offset Assignment to Signals for Improving Frame Packing in CAN-FD. RTSS Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng
2017	J	`jnl`	On the Min-Max-Delay Problem: NP-completeness, Algorithm, and Int-Gap. CoRR Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
2017	B	`conf`	On the min-max-delay problem: NP-completeness, algorithm, and integrality gap. ITW Qingyu Liu, Lei Deng, Haibo Zeng, Minghua Chen
2017	A	`conf`	Online message delay prediction for model predictive control over controller area network. ICCAD Amith Kaushal Rao, Haibo Zeng
2017	J	`jnl`	Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines. ACM Trans. Embed. Comput. Syst. Yecheng Zhao, Chao Peng, Haibo Zeng, Zonghua Gu
2017	J	`jnl`	Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models. ACM Trans. Design Autom. Electr. Syst. Qingling Zhao, Zaid Al-bayati, Zonghua Gu, Haibo Zeng
2017	A*	`conf`	Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu
2017	B	`conf`	The Multi-Domain Frame Packing Problem for CAN-FD. ECRTS Prachi Joshi, Haibo Zeng, Unmesh D. Bordoloi, Soheil Samii, S. S. Ravi, Sandeep K. Shukla
2017	A	`conf`	The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling. RTSS Yecheng Zhao, Haibo Zeng
2017	A	`conf`	The concept of unschedulability core for optimizing priority assignment in real-time systems. DATE Yecheng Zhao, Haibo Zeng
2016	A	`conf`	A four-mode model for efficient fault-tolerant mixed-criticality systems. DATE Zaid Al-bayati, Jonah Caplan, Brett H. Meyer, Haibo Zeng
2016	—	`conf`	CPS based electric vehicle charging directing system design in Smart Grid. ISGT Chen Wang, Di Wu, Haibo Zeng, Virgilio Centeno
2016	J	`jnl`	Cache-Partitioned Preemption Threshold Scheduling. ACM Trans. Embed. Comput. Syst. Zonghua Gu, Chao Wang, Haibo Zeng
2016	—	`conf`	Design space exploration for deterministic ethernet-based architecture of automotive systems. HLDVT Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu
2016	—	`conf`	Energy-efficient timely transportation of long-haul heavy-duty trucks. e-Energy Lei Deng, Mohammad Hassan Hajiesmaili, Minghua Chen, Haibo Zeng
2016	—	`conf`	Fault-tolerant scheduling of multicore mixed-criticality systems under permanent failures. DFT Zaid Al-bayati, Brett H. Meyer, Haibo Zeng
2016	J	`jnl`	Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization. IEEE Trans. Parallel Distributed Syst. Chao Wang, Zonghua Gu, Haibo Zeng
2016	J	`jnl`	HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. J. Syst. Archit. Qingling Zhao, Zonghua Gu, Min Yao, Haibo Zeng
2016	J	`jnl`	Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling. ACM Trans. Design Autom. Electr. Syst. Chao Wang, Chuansheng Dong, Haibo Zeng, Zonghua Gu
2016	J	`jnl`	Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. Zonghua Gu, Gang Han, Haibo Zeng, Qingling Zhao
2016	—	`conf`	Synthesizing Runtime Enforcer of Safety Properties Under Burst Error. NFM Meng Wu, Haibo Zeng, Chao Wang
2016	—	`conf`	Traffic Assignment with Maximum Delay Constraint in Stochastic Network. VTC Spring Chuansheng Dong, Qingyu Liu, Haibo Zeng
2015	—	`conf`	A model-based synthesis flow for automotive CPS. ICCPS Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng
2015	J	`jnl`	Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real Time Syst. Haibo Zeng, Marco Di Natale
2015	—	`conf`	Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms. ASP-DAC Zaid Al-bayati, Qingling Zhao, Ahmed Youssef, Haibo Zeng, Zonghua Gu
2015	—	`conf`	Impact assessment of electric vehicle charging on hydro Ottawa distribution networks at neighborhood levels. CCECE Jian Xiong, Di Wu, Haibo Zeng, Shichao Liu, Xiaoyu Wang
2015	B	`conf`	Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems. ECRTS Chao Wang, Zonghua Gu, Haibo Zeng
2015	J	`jnl`	Online Algorithms for Automotive Idling Reduction With Effective Statistics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chuansheng Dong, Haibo Zeng, Minghua Chen
2015	—	`conf`	Online Energy Management Strategy for Hybrid Electric Vehicle. e-Energy Lok To Mak, Minghua Chen, Guanglin Zhang, Longbo Huang, Haibo Zeng
2015	J	`jnl`	Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling. ACM Trans. Embed. Comput. Syst. Qingling Zhao, Zonghua Gu, Haibo Zeng
2015	A	`conf`	Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2014	A*	`conf`	A Cost Efficient Online Algorithm for Automotive Idling Reduction. DAC Chuansheng Dong, Haibo Zeng, Minghua Chen
2014	A*	`conf`	Assigning time budgets to component functions in the design of time-critical automotive systems. ASE Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
2014	A*	`conf`	Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid. INFOCOM Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng
2014	—	`book`	Embedded Systems Development, From Functional Models to Implementations Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
2014	J	`jnl`	Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms. IEEE Trans. Ind. Informatics Gang Han, Haibo Zeng, Marco Di Natale, Xue Liu, Wenhua Dou
2014	J	`jnl`	HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. IEEE Embed. Syst. Lett. Qingling Zhao, Zonghua Gu, Haibo Zeng
2014	—	`ch.`	Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. Embedded Systems Development, From Functional Models to Implementations Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
2014	J	`jnl`	Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embed. Comput. Syst. Haibo Zeng, Marco Di Natale, Qi Zhu
2014	A	`conf`	Minimizing stack memory for hard real-time applications on multicore platforms. DATE Chuansheng Dong, Haibo Zeng
2014	J	`jnl`	Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid. Proc. IEEE Fanxin Kong, Chuansheng Dong, Xue Liu, Haibo Zeng
2014	A	`conf`	SAFE: Security-Aware FlexRay Scheduling Engine. DATE Gang Han, Haibo Zeng, Yaping Li, Wenhua Dou
2014	—	`conf`	Task synthesis for latency-sensitive synchronous block diagram. SIES Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng
2013	B	`conf`	A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
2013	J	`jnl`	An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization. IEEE Trans. Computers Haibo Zeng, Marco Di Natale
2013	C	`conf`	An FPGA implementation of wait-free data synchronization protocols. ETFA Benjamin Nahill, Ari Ramdial, Haibo Zeng, Marco Di Natale, Zeljko Zilic
2013	—	`conf`	Green power analysis for Geographical Load Balancing based datacenters. IGCC Chuansheng Dong, Fanxin Kong, Xue Liu, Haibo Zeng
2013	J	`jnl`	Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. IEEE Embed. Syst. Lett. Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale
2013	B	`conf`	Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm. RTCSA Qingling Zhao, Zonghua Gu, Haibo Zeng
2013	—	`conf`	Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling. SIES Zaid Al-bayati, Haibo Zeng, Marco Di Natale, Zonghua Gu
2013	J	`jnl`	Optimizing the implementation of real-time Simulink models onto distributed automotive architectures. J. Syst. Archit. Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, Wenhua Dou
2013	B	`conf`	Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models. ECRTS Haibo Zeng, Marco Di Natale
2013	A	`conf`	PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. DATE Qingling Zhao, Zonghua Gu, Haibo Zeng
2013	C	`conf`	Practical issues with the timing analysis of the Controller Area Network. ETFA Marco Di Natale, Haibo Zeng
2013	A	`conf`	Robust and extensible task implementations of synchronous finite state machines. DATE Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng
2013	A	`conf`	Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli
2012	—	`conf`	Efficient implementation of AUTOSAR components with minimal memory usage. SIES Haibo Zeng, Marco Di Natale
2012	J	`jnl`	Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2012	C	`conf`	Optimizing stack memory requirements for real-time embedded applications. ETFA Haibo Zeng, Marco Di Natale, Qi Zhu
2012	B	`conf`	Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines. ECRTS Haibo Zeng, Marco Di Natale
2012	A	`conf`	Task implementation of synchronous finite state machines. DATE Marco Di Natale, Haibo Zeng
2011	—	`conf`	Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. SIES Haibo Zeng, Marco Di Natale
2011	J	`jnl`	Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Ind. Informatics Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli
2010	A	`conf`	Computing robustness of FlexRay schedules to uncertainties in design parameters. DATE Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim
2010	B	`conf`	Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods. ECRTS Haibo Zeng, Marco Di Natale
2010	J	`jnl`	Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Ind. Informatics Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli
2010	C	`conf`	System identification and extraction of timing properties from controller area network (CAN) message traces. ETFA Marco Di Natale, Haibo Zeng
2010	C	`conf`	Timing Analysis and Optimization of FlexRay Dynamic Segment. CIT Haibo Zeng, Arkadeb Ghosal, Marco Di Natale
2010	J	`jnl`	Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Ind. Informatics Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	A*	`conf`	Scheduling the FlexRay bus using optimization techniques. DAC Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	—	`conf`	Statistical analysis of Controller Area Network message response times. SIES Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Ind. Informatics Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. DATE Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2003	A	`conf`	A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. ICCAD Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli