Haibo Zeng
Orcid: 0000-0003-1162-759XAffiliations:
- Virginia Tech, Department of Electrical and Computer Engineering , Blacksburg, VA, USA
- McGill University, Montreal, QC, Canada (former)
- General Motors, Detroit, MI, USA (former)
- University of California at Berkeley, CA, USA (PhD 2008)
According to our database1,
Haibo Zeng
authored at least 129 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
-
on ece.vt.edu
On csauthors.net:
Bibliography
2024
Time-Triggered Scheduling for Nonpreemptive Real-Time DAG Tasks Using 1-Opt Local Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024
Implications of architecture and implementation choices on timing analysis of automotive CAN networks.
J. Syst. Archit., 2024
Partitioned scheduling with safety-performance trade-offs in stochastic conditional DAG models.
J. Syst. Archit., 2024
CoRR, 2024
Models on the Move: Towards Feasible Embedded AI for Intrusion Detection on Vehicular CAN Bus.
Proceedings of the 2024 USENIX Annual Technical Conference, 2024
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024
2023
A Model-Based Method for Enabling Source Mapping and Intrusion Detection on Proprietary Can Bus.
IEEE Trans. Intell. Transp. Syst., November, 2023
IEEE Robotics Autom. Lett., September, 2023
Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation.
IEEE Trans. Intell. Transp. Syst., May, 2023
RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2023
A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
IEEE/ACM Trans. Netw., 2022
Minimizing Stack Memory for Partitioned Mixed-criticality Scheduling on Multiprocessor Platforms.
ACM Trans. Embed. Comput. Syst., 2022
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection.
ACM Trans. Embed. Comput. Syst., 2022
Real Time Syst., 2022
Improved analysis and optimal priority assignment for communicating threads on uni-processor.
J. Syst. Archit., 2022
Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds.
J. Syst. Archit., 2022
E2Pilot: An energy-efficient navigation system for long-haul timely truck transportation: demo.
Proceedings of the e-Energy '22: The Thirteenth ACM International Conference on Future Energy Systems, Virtual Event, 28 June 2022, 2022
2021
A DVFS-Weakly Dependent Energy-Efficient Scheduling Approach for Deadline-Constrained Parallel Applications on Heterogeneous Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
Towards Computational Awareness in Autonomous Robots: An Empirical Study of Computational Kernels.
CoRR, 2021
Software-Defined Edge Computing: A New Architecture Paradigm to Support IoT Data Analysis.
CoRR, 2021
Energy efficient timely transportation: a comparative study of internal combustion trucks and electric trucks.
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021
2020
Network Utility Maximization Under Maximum Delay Constraints and Throughput Requirements.
IEEE/ACM Trans. Netw., 2020
IEEE Trans. Intell. Transp. Syst., 2020
Spatial-Temporal Feature Learning in Smart Grids: A Case Study on Short-Term Voltage Stability Assessment.
IEEE Trans. Ind. Informatics, 2020
BTMonitor: Bit-time-based Intrusion Detection and Attacker Identification in Controller Area Network.
ACM Trans. Embed. Comput. Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, 2020
An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Cost Minimization in Multi-Path Communication under Throughput and Maximum Delay Constraints.
Proceedings of the 39th IEEE Conference on Computer Communications, 2020
2019
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.
ACM Trans. Embed. Comput. Syst., 2019
The Concept of Unschedulability Core for Optimizing Real-Time Systems with Fixed-Priority Scheduling.
IEEE Trans. Computers, 2019
The concept of Maximal Unschedulable Deadline Assignment for optimization in fixed-priority scheduled real-time systems.
Real Time Syst., 2019
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs.
Real Time Syst., 2019
Minimizing Age-of-Information with Throughput Requirements in Multi-Path Network Communication.
Proceedings of the Twentieth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2019
Opportunistic Driving: a Critical Design Space for Reducing Fuel Consumption of Timely Long-Haul Truck Transportation.
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019
Delay-constrained offloading of computationally intensive workloads in edge computing.
Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 2019
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019
2018
IEEE Trans. Intell. Transp. Syst., 2018
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Computers, 2018
Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement.
Real Time Syst., 2018
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling.
J. Syst. Archit., 2018
Minimizing Age-of-Information with Throughput Constraints in Multi-Path Network Communication.
CoRR, 2018
Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018
2017
Proceedings of the Handbook of Hardware/Software Codesign., 2017
ACM Trans. Design Autom. Electr. Syst., 2017
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines.
ACM Trans. Embed. Comput. Syst., 2017
An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling.
Real Time Syst., 2017
Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling.
J. Syst. Archit., 2017
The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Information Theory Workshop, 2017
Online message delay prediction for model predictive control over controller area network.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017
The concept of unschedulability core for optimizing priority assignment in real-time systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017
2016
Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization.
IEEE Trans. Parallel Distributed Syst., 2016
Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems.
IEEE Trans. Parallel Distributed Syst., 2016
Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling.
ACM Trans. Design Autom. Electr. Syst., 2016
ACM Trans. Embed. Comput. Syst., 2016
HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling.
J. Syst. Archit., 2016
Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the 2016 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2016
Design space exploration for deterministic ethernet-based architecture of automotive systems.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Fault-tolerant scheduling of multicore mixed-criticality systems under permanent failures.
Proceedings of the 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling.
ACM Trans. Embed. Comput. Syst., 2015
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015
Computing periodic request functions to speed-up the analysis of non-cyclic task models.
Real Time Syst., 2015
Task placement and selection of data consistency mechanisms for real-time multicore applications.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015
Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015
Impact assessment of electric vehicle charging on hydro Ottawa distribution networks at neighborhood levels.
Proceedings of the IEEE 28th Canadian Conference on Electrical and Computer Engineering, 2015
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
2014
Experimental Evaluation and Selection of Data Consistency Mechanisms for Hard Real-Time Applications on Multicore Platforms.
IEEE Trans. Ind. Informatics, 2014
ACM Trans. Embed. Comput. Syst., 2014
Proc. IEEE, 2014
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling.
IEEE Embed. Syst. Lett., 2014
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Assigning time budgets to component functions in the design of time-critical automotive systems.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Blowing hard is not all we want: Quantity vs quality of wind power in the smart grid.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization.
IEEE Trans. Computers, 2013
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures.
J. Syst. Archit., 2013
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software.
IEEE Embed. Syst. Lett., 2013
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
Integration of resource synchronization and preemption-thresholds into EDF-based mixed-criticality scheduling algorithm.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013
Proceedings of the International Green Computing Conference, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Optimization of task allocation and priority assignment in hard real-time distributed systems.
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
2011
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment.
IEEE Trans. Ind. Informatics, 2011
Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms.
Proceedings of the Industrial Embedded Systems (SIES), 2011
2010
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network.
IEEE Trans. Ind. Informatics, 2010
IEEE Trans. Ind. Informatics, 2010
System identification and extraction of timing properties from controller area network (CAN) message traces.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
IEEE Trans. Ind. Informatics, 2009
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009
Proceedings of the 46th Design Automation Conference, 2009
2006
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
2003
A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003