Qi Zhu

According to our database1, Qi Zhu authored at least 71 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Formal verification of weakly-hard systems.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Exploring weakly-hard paradigm for networked systems.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018
Peak-Aware Online Economic Dispatching for Microgrids.
IEEE Trans. Smart Grid, 2018

Design Automation for Cyber-Physical Systems [Scanning the Issue].
Proceedings of the IEEE, 2018

Codesign Methodologies and Tools for Cyber-Physical Systems.
Proceedings of the IEEE, 2018

Design Automation for Intelligent Automotive Systems.
Proceedings of the IEEE International Test Conference, 2018

Network and system level security in connected vehicle applications.
Proceedings of the International Conference on Computer-Aided Design, 2018

FFNet: Video Fast-Forwarding via Reinforcement Learning.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

2017
Guest Editorial: Special Issue on Smart Homes, Buildings and Infrastructures.
TCPS, 2017

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

An optimal energy co-scheduling framework for smart buildings.
Integration, 2017

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.
Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017

Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems.
Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017

Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper).
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

Deep Reinforcement Learning for Building HVAC Control.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Cross-Layer Codesign for Secure Cyber-Physical Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

Proactive Demand Participation of Smart Buildings in Smart Grid.
IEEE Trans. Computers, 2016

An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems.
IEEE Trans. Computers, 2016

Automotive Cyber-Physical Systems: A Tutorial Introduction.
IEEE Design & Test, 2016

Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Co-scheduling of flexible energy loads in building clusters.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Adaptive algorithm selection, with applications in pedestrian detection.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Analysis of production data manipulation attacks in petroleum cyber-physical systems.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Co-scheduling of datacenter and HVAC loads in mixed-use buildings.
Proceedings of the Seventh International Green and Sustainable Computing Conference, 2016

Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015
Security-Aware Design Methodology and Optimization for Automotive Systems.
ACM Trans. Design Autom. Electr. Syst., 2015

Design and Operation of Secure Cyber-Physical Systems.
Embedded Systems Letters, 2015

Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems.
Embedded Systems Letters, 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

PeerWave: Exploiting Wavefront Parallelism on GPUs with Peer-SM Synchronization.
Proceedings of the 29th ACM on International Conference on Supercomputing, 2015

A model-based synthesis flow for automotive CPS.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Security Analysis of Proactive Participation of Smart Buildings in Smart Grid.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Proactive demand participation of heterogeneous flexible loads in smart grid.
Proceedings of the Sixth International Green and Sustainable Computing Conference, 2015

Design and verification for transportation system security.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Analysis and optimization of soft error tolerance strategies for real-time systems.
Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015

From passive demand response to proactive demand participation.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications.
ACM Trans. Embedded Comput. Syst., 2014

Optimized implementation of synchronous models on industrial LTTA systems.
Journal of Systems Architecture - Embedded Systems Design, 2014

Task synthesis for latency-sensitive synchronous block diagram.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Design synthesis and optimization for automotive embedded systems.
Proceedings of the International Symposium on Physical Design, 2014

WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Security-aware mapping for TDMA-based real-time distributed systems.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Lifetime optimization for real-time embedded systems considering electromigration effects.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

MSim: A general cycle accurate simulation platform for memcomputing studies.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Battery Management and Application for Energy-Efficient Buildings.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

2013
metroII: A design environment for cyber-physical systems.
ACM Trans. Embedded Comput. Syst., 2013

Co-design of control algorithm and embedded platform for building HVAC systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Security-aware mapping for CAN-based real-time distributed automotive systems.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Robust and extensible task implementations of synchronous finite state machines.
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

Development of Building Automation and Control Systems.
IEEE Design & Test of Computers, 2012

Optimizing stack memory requirements for real-time embedded applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2010
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems.
IEEE Trans. Industrial Informatics, 2010

A Design Flow for Building Automation and Control Systems.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

2009
Optimizing Extensibility in Hard Real-Time Distributed Systems.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

2007
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Period Optimization for Hard Real-time Distributed Automotive Systems.
Proceedings of the 44th Design Automation Conference, 2007

2006
A semantic-driven synthesis flow for platform-based design.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

SAT sweeping with local observability don't-cares.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Spanning graph-based nonrectilinear steiner tree algorithms.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2005

JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study.
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

Via-Aware Global Routing for Good VLSI Manufacturability and High Yield.
Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

2004
Efficient octilinear Steiner tree construction based on spanning graphs.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004


  Loading...