Haibo Zeng

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 13

Top Topics

Approximation Guarantees

Traffic Conditions

Autonomous Robots

Continuous Variables

Top Venues

IEEE Trans. Intell. Transp. Syst.

IEEE Robotics Autom. Lett.

Publications

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 (2024)
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. RTAS (2024)
He Xu, Di Wu, Yufeng Lu, Jiwu Lu, Haibo Zeng
Models on the Move: Towards Feasible Embedded AI for Intrusion Detection on Vehicular CAN Bus. USENIX ATC (2024)
Xuanliang Deng, Ashrarul H. Sifat, Shaoyu Huang, Sen Wang, Jia-Bin Huang, Changhee Jung, Ryan K. Williams, Haibo Zeng
Partitioned scheduling with safety-performance trade-offs in stochastic conditional DAG models. J. Syst. Archit. 153 (2024)
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 (2024)
Junyan Su, Qiulin Lin, Minghua Chen, Haibo Zeng
Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. CDC (2023)
Sen Wang, Ryan K. Williams, Haibo Zeng
A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables. RTAS (2023)
Junyan Su, Qiulin Lin, Minghua Chen, Haibo Zeng
Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm. CoRR (2023)
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)
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) (2023)
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) (2023)
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) (2023)
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 (2023)