# Haibo Zeng

According to our database

Collaborative distances:

^{1}, Haibo Zeng authored at least 99 papers between 2003 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems.

ACM Trans. Embedded 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 Systems, 2019

A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs.

Real-Time Systems, 2019

Adversarial de-noising of electrocardiogram.

Neurocomputing, 2019

Ride the Tide of Traffic Conditions: Opportunistic Driving Improves Energy Efficiency of Timely Truck Transportation.

Proceedings of the 6th ACM International Conference on Systems for Energy-Efficient Buildings, 2019

Network Utility Maximization under Maximum Delay Constraints and Throughput Requirements.

Proceedings of the Twentieth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 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

Dynamic Switching Speed Reconfiguration for Engine Performance Optimization.

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Optimization techniques for time-critical cyber-physical systems.

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

Energy-Efficient Timely Transportation of Long-Haul Heavy-Duty Trucks.

IEEE Trans. Intelligent Transportation Systems, 2018

A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems.

IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy.

IEEE Trans. Computers, 2018

Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement.

Real-Time Systems, 2018

Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling.

Journal of Systems Architecture - Embedded Systems Design, 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

A Tale of Two Metrics in Network Delay Optimization.

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Energy-Efficient Timely Truck Transportation for Geographically-Dispersed Tasks.

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

2017

Networked Real-Time Embedded Systems.

Proceedings of the Handbook of Hardware/Software Codesign., 2017

Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models.

ACM Trans. Design Autom. Electr. Syst., 2017

Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines.

ACM Trans. Embedded Comput. Syst., 2017

An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling.

Real-Time Systems, 2017

Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling.

Journal of Systems Architecture - Embedded Systems Design, 2017

On the Min-Max-Delay Problem: NP-completeness, Algorithm, and Int-Gap.

CoRR, 2017

The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling.

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Offset Assignment to Signals for Improving Frame Packing in CAN-FD.

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

On the min-max-delay problem: NP-completeness, algorithm, and integrality gap.

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

The Multi-Domain Frame Packing Problem for CAN-FD.

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 Distrib. Syst., 2016

Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems.

IEEE Trans. Parallel Distrib. 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

Cache-Partitioned Preemption Threshold Scheduling.

ACM Trans. Embedded Comput. Syst., 2016

HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling.

Journal of Systems Architecture - Embedded Systems Design, 2016

Traffic Assignment with Maximum Delay Constraint in Stochastic Network.

Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

CPS based electric vehicle charging directing system design in Smart Grid.

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

A four-mode model for efficient fault-tolerant mixed-criticality systems.

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Resource Synchronization and Preemption Thresholds Within Mixed-Criticality Scheduling.

ACM Trans. Embedded Comput. Syst., 2015

Online Algorithms for Automotive Idling Reduction With Effective Statistics.

IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

Computing periodic request functions to speed-up the analysis of non-cyclic task models.

Real-Time Systems, 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

A model-based synthesis flow for automotive CPS.

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Online Energy Management Strategy for Hybrid Electric Vehicle.

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

Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore platforms.

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. Industrial Informatics, 2014

Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications.

ACM Trans. Embedded Comput. Syst., 2014

Quantity Versus Quality: Optimal Harvesting Wind Power for the Smart Grid.

Proceedings of the IEEE, 2014

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling.

Embedded Systems Letters, 2014

Task synthesis for latency-sensitive synchronous block diagram.

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

SAFE: Security-Aware FlexRay Scheduling Engine.

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Minimizing stack memory for hard real-time applications on multicore platforms.

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

A Cost Efficient Online Algorithm for Automotive Idling Reduction.

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.

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.

Journal of Systems Architecture - Embedded Systems Design, 2013

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software.

Embedded Systems Letters, 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

Timing analysis of process graphs with finite communication buffers.

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

Green power analysis for Geographical Load Balancing based datacenters.

Proceedings of the International Green Computing Conference, 2013

Practical issues with the timing analysis of the Controller Area Network.

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

An FPGA implementation of wait-free data synchronization protocols.

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

Robust and extensible task implementations of synchronous finite state machines.

Proceedings of the Design, Automation and Test in Europe, 2013

PT-AMC: integrating preemption thresholds into mixed-criticality scheduling.

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. Embedded Comput. Syst., 2012

Efficient implementation of AUTOSAR components with minimal memory usage.

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Optimizing stack memory requirements for real-time embedded applications.

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

Task implementation of synchronous finite state machines.

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. Industrial 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. Industrial Informatics, 2010

Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays.

IEEE Trans. Industrial 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

Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods.

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Computing robustness of FlexRay schedules to uncertainties in design parameters.

Proceedings of the Design, Automation and Test in Europe, 2010

Timing Analysis and Optimization of FlexRay Dynamic Segment.

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Stochastic Analysis of Distributed Real-time Automotive Systems.

IEEE Trans. Industrial Informatics, 2009

A Comprehensive Review of One-Dimensional Metal-Oxide Nanostructure Photodetectors.

Sensors, 2009

Statistical analysis of Controller Area Network message response times.

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Scheduling the FlexRay bus using optimization techniques.

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