Haibo Zeng
Haibo Zeng
Electrical & Computer Engineering, Virginia Tech
Verified email at vt.edu
Title
Cited by
Cited by
Year
Understanding and using the controller area network communication protocol: theory and practice
M Di Natale, H Zeng, P Giusto, A Ghosal
Springer Science & Business Media, 2012
2382012
A next-generation design framework for platform-based design
A Davare, D Densmore, T Meyerowitz, A Pinto, A Sangiovanni-Vincentelli, ...
Conference on using hardware design and verification languages (DVCon) 152, 2007
1422007
Schedule optimization of time-triggered systems communicating over the FlexRay static segment
H Zeng, M Di Natale, A Ghosal, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 7 (1), 1-17, 2010
1392010
Two-stage energy management for office buildings with workplace EV charging and renewable energy
D Wu, H Zeng, C Lu, B Boulet
IEEE Transactions on Transportation Electrification 3 (1), 225-237, 2017
1092017
Stochastic analysis of CAN-based real-time automotive systems
H Zeng, M Di Natale, P Giusto, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 5 (4), 388-401, 2009
992009
Optimization of task allocation and priority assignment in hard real-time distributed systems
Q Zhu, H Zeng, W Zheng, MDI Natale, A Sangiovanni-Vincentelli
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-30, 2013
972013
Synthesis of multitask implementations of simulink models with minimum delays
M Di Natale, L Guo, H Zeng, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 6 (4), 637-651, 2010
672010
Using statistical methods to compute the probability distribution of message response time in controller area network
H Zeng, M Di Natale, P Giusto, A Sangiovanni-Vincentelli
IEEE Transactions on Industrial Informatics 6 (4), 678-691, 2010
602010
Security-aware mapping and scheduling with hardware co-processors for flexray-based distributed embedded systems
Z Gu, G Han, H Zeng, Q Zhao
IEEE Transactions on parallel and distributed systems 27 (10), 3044-3057, 2016
482016
PT-AMC: Integrating preemption thresholds into mixed-criticality scheduling
Q Zhao, Z Gu, H Zeng
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 141-146, 2013
462013
Quantity versus quality: Optimal harvesting wind power for the smart grid
F Kong, C Dong, X Liu, H Zeng
Proceedings of the IEEE 102 (11), 1762-1776, 2014
452014
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
A Mehiaoui, E Wozniak, S Tucci-Piergiovanni, C Mraidha, M Di Natale, ...
Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages†…, 2013
442013
Scheduling the FlexRay bus using optimization techniques
H Zeng, W Zheng, M Di Natale, A Ghosal, P Giusto, ...
Design Automation Conference, 2009. DAC'09. 46th ACM/IEEE, 874-877, 2009
432009
An efficient formulation of the real-time feasibility region for design optimization
H Zeng, M Di Natale
IEEE Transactions on Computers 62 (4), 644-661, 2012
382012
Timing analysis and optimization of FlexRay dynamic segment
H Zeng, A Ghosal, M Di Natale
2010 10th IEEE International Conference on Computer and Information†…, 2010
362010
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling
Q Zhao, Z Gu, H Zeng, N Zheng
Journal of Systems Architecture 83, 57-74, 2018
342018
SAFE: Security-aware flexray scheduling engine
G Han, H Zeng, Y Li, W Dou
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014
332014
A four-mode model for efficient fault-tolerant mixed-criticality systems
Z Al-bayati, J Caplan, BH Meyer, H Zeng
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 97-102, 2016
322016
Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling
Q Zhao, Z Gu, H Zeng
Journal of Systems Architecture 72, 61-68, 2017
312017
Minimizing stack and communication memory usage in real-time embedded applications
H Zeng, MD Natale, Q Zhu
ACM Transactions on Embedded Computing Systems (TECS) 13 (5s), 1-25, 2014
302014
The system can't perform the operation now. Try again later.
Articles 1–20