☰

Haibo Zeng, Ph.D. - Publications

Affiliations: 
2008 University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de

42 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Zhou J, Joshi P, Zeng H, Li R. BTMonitor Acm Transactions On Embedded Computing Systems. 18: 1-23. DOI: 10.1145/3362034  0.37
2020 Liu Q, Zeng H, Chen M. Network Utility Maximization Under Maximum Delay Constraints and Throughput Requirements Ieee Acm Transactions On Networking. 1-14. DOI: 10.1109/Tnet.2020.3007842  0.372
2020 Liu Q, Deng L, Zeng H, Chen M. A Tale of Two Metrics in Network Delay Optimization Ieee Acm Transactions On Networking. 28: 1241-1254. DOI: 10.1109/Tnet.2020.2983867  0.357
2020 Zhu L, Lu C, Kamwa I, Zeng H. Spatial–Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment Ieee Transactions On Industrial Informatics. 16: 1470-1482. DOI: 10.1109/Tii.2018.2873605  0.352
2020 Liu Y, Peng C, Zhao Y, Li Y, Zeng H. Schedulability Analysis of Engine Control Systems with Dynamic Switching Speeds Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 1-1. DOI: 10.1109/Tcad.2019.2951124  0.369
2020 Joshi P, Ravi SS, Liu Q, Bordoloi UD, Samii S, Shukla SK, Zeng H. Approaches for Assigning Offsets to Signals for Improving Frame Packing in CAN-FD Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 39: 1109-1122. DOI: 10.1109/Tcad.2019.2907921  0.375
2019 Al-bayati Z, Sun Y, Zeng H, Natale MD, Zhu Q, Meyer BH. Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems Acm Transactions in Embedded Computing Systems. 18: 35. DOI: 10.1145/3320271  0.383
2019 Liu Q, Zeng H, Chen M. Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks Ieee Transactions On Intelligent Transportation Systems. 1-12. DOI: 10.1109/Tits.2019.2949267  0.387
2019 Zhao Y, Zeng H. The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling Ieee Transactions On Computers. 68: 926-938. DOI: 10.1109/Tc.2018.2878835  0.388
2019 Zhao Y, Zeng H. The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems Real-Time Systems. 55: 667-707. DOI: 10.1007/S11241-019-09332-0  0.392
2019 Peng C, Zeng H, Natale MD. A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs Real-Time Systems. 55: 598-638. DOI: 10.1007/S11241-019-09331-1  0.363
2018 Deng L, Hajiesmaili MH, Chen M, Zeng H. Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks Ieee Transactions On Intelligent Transportation Systems. 19: 2099-2113. DOI: 10.1109/Tits.2017.2749262  0.387
2018 Zhao Y, Gala V, Zeng H. A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2188-2199. DOI: 10.1109/Tcad.2018.2857380  0.394
2018 Caplan J, Al-bayati Z, Zeng H, Meyer BH. Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy Ieee Transactions On Computers. 67: 582-588. DOI: 10.1109/Tc.2017.2762293  0.359
2018 Peng C, Zeng H. Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement Real-Time Systems. 54: 91-131. DOI: 10.1007/S11241-017-9290-7  0.373
2017 Zhao Y, Peng C, Zeng H, Gu Z. Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines Acm Transactions in Embedded Computing Systems. 16: 175. DOI: 10.1145/3126515  0.389
2017 Zhao Q, Al-Bayati Z, Gu Z, Zeng H. Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models Acm Transactions On Design Automation of Electronic Systems. 22: 23. DOI: 10.1145/2968445  0.395
2017 Zhao Q, Gu Z, Zeng H, Zheng N. Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling Journal of Systems Architecture. 83: 57-74. DOI: 10.1016/J.Sysarc.2017.03.007  0.403
2017 Zhao Q, Gu Z, Zeng H. Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling Journal of Systems Architecture. 72: 61-68. DOI: 10.1016/J.Sysarc.2016.08.003  0.397
2017 Zhao Y, Zeng H. An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling Real-Time Systems. 53: 467-525. DOI: 10.1007/S11241-017-9267-6  0.384
2016 Gu Z, Wang C, Zeng H. Cache-Partitioned Preemption Threshold Scheduling Acm Transactions in Embedded Computing Systems. 16: 13. DOI: 10.1145/2950057  0.36
2016 Wang C, Dong C, Zeng H, Gu Z. Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling Acm Transactions On Design Automation of Electronic Systems. 21: 46. DOI: 10.1145/2846096  0.404
2016 Wang C, Gu Z, Zeng H. Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization Ieee Transactions On Parallel and Distributed Systems. 27: 3242-3255. DOI: 10.1109/Tpds.2016.2528978  0.385
2016 Gu Z, Han G, Zeng H, Zhao Q. Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems Ieee Transactions On Parallel and Distributed Systems. 27: 3044-3057. DOI: 10.1109/Tpds.2016.2520949  0.382
2016 Zhao Q, Gu Z, Yao M, Zeng H. Hlc-Pcp Journal of Systems Architecture. 66: 84-99. DOI: 10.1016/J.Sysarc.2016.01.008  0.389
2015 Zhao Q, Gu Z, Zeng H. Resource synchronization and preemption thresholds within mixed-criticality scheduling Acm Transactions On Embedded Computing Systems. 14. DOI: 10.1145/2783440  0.37
2015 Dong C, Zeng H, Chen M. Online Algorithms for Automotive Idling Reduction With Effective Statistics Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 34: 1742-1755. DOI: 10.1109/Tcad.2015.2469779  0.361
2015 Zeng H, Di Natale M. Computing periodic request functions to speed-up the analysis of non-cyclic task models Real-Time Systems. 51: 360-394. DOI: 10.1007/S11241-014-9209-5  0.367
2014 Zeng H, Natale MD, Zhu Q. Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications Acm Transactions in Embedded Computing Systems. 13: 149. DOI: 10.1145/2632160  0.389
2014 Han G, Zeng H, Natale MD, Liu X, Dou W. Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms Ieee Transactions On Industrial Informatics. 10: 903-918. DOI: 10.1109/Tii.2013.2290585  0.392
2014 Zhao Q, Gu Z, Zeng H. HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling Ieee Embedded Systems Letters. 6: 8-11. DOI: 10.1109/Les.2013.2273352  0.389
2013 Zeng H, Natale MD. An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization Ieee Transactions On Computers. 62: 644-661. DOI: 10.1109/Tc.2012.21  0.39
2013 Ghosal A, Zeng H, Giusto P, Sangiovanni-Vincentelli A, Rajkumar R, Ernst R, Di Natale M. Guest editorial: Special issue on system level design of automotive electronics/software Ieee Embedded Systems Letters. 5: 29. DOI: 10.1109/Les.2013.2274794  0.635
2013 Han G, Natale MD, Zeng H, Liu X, Dou W. Optimizing the implementation of real-time Simulink models onto distributed automotive architectures Journal of Systems Architecture. 59: 1115-1127. DOI: 10.1016/J.Sysarc.2013.08.009  0.379
2012 Guo L, Ghosal A, Zeng H, Giusto P, Sangiovanni-Vincentelli A. Methods and tools for calculating the flexibility of automotive HW/SW architectures Sae Technical Papers. DOI: 10.4271/2012-01-0005  0.643
2012 Zhu Q, Zeng H, Zheng W, Di Natale M, Sangiovanni-Vincentelli A. Optimization of task allocation and priority assignment in hard real-time distributed systems Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2362336.2362352  0.544
2011 Ghosal A, Bai F, Debouk R, Zeng H. Reliability and Safety/Integrity Analysis for Vehicle-to-Vehicle Wireless Communication Sae International Journal of Passenger Cars - Electronic and Electrical Systems. 4: 156-165. DOI: 10.4271/2011-01-1045  0.551
2011 Zeng H, Di Natale M, Ghosal A, Sangiovanni-Vincentelli A. Schedule optimization of time-triggered systems communicating over the flexray static segment Ieee Transactions On Industrial Informatics. 7: 1-17. DOI: 10.1109/Tii.2010.2089465  0.652
2010 Di Natale M, Guo L, Zeng H, Sangiovanni-Vincentelli A. Synthesis of multitask implementations of Simulink models with minimum delays Ieee Transactions On Industrial Informatics. 6: 637-651. DOI: 10.1109/Tii.2010.2072511  0.545
2010 Zeng H, Di Natale M, Giusto P, Sangiovanni-Vincentelli A. Using statistical methods to compute the probability distribution of message response time in controller area network Ieee Transactions On Industrial Informatics. 6: 678-691. DOI: 10.1109/Tii.2010.2050143  0.527
2010 Di Natale M, Ghosal A, Giusto P, Sangiovanni-Vincentelli A, Zeng H, Seshia S. Guest editorial special issue on automotive embedded systems Ieee Embedded Systems Letters. 2: 21-22. DOI: 10.1109/Les.2010.2051138  0.631
2009 Zeng H, Di Natale M, Giusto P, Sangiovanni-Vincentelli A. Stochastic analysis of can-based real-time automotive systems Ieee Transactions On Industrial Informatics. 5: 388-401. DOI: 10.1109/Tii.2009.2032067  0.541
Show low-probability matches.