-
- [TPC] Prof. Zhu will serve in the TPC for IGSC 2017, DATE 2018 and ICCPS 2018. (7/2017)
- [Publication] Our paper "Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management" was accepted by the 3rd IEEE International Conference on Smart Computing (SMARTCOMP). (4/2017)
- [Publication] We co-authored an invited paper "Extensibility-Driven Automotive In-Vehicle Architecture Design" for the 54th IEEE/ACM Design Automation Conference (DAC). (4/2017)
- [Special Issue] Prof. Zhu serves as a
guest editor for the Proceedings
of IEEE, for a special issue on design automation for
cyber-physical systems. (03/2017)
- [Publication] Prof. Zhu co-authored a paper "Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking" in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). (3/2017)
- [Fellowship] Prof. Zhu received the Humboldt
Research Fellowship for Experienced Researchers from
the Humboldt Foundation. His academic hosts at Germany are Prof.
Rolf Ernst at TU Braunschweig and Prof.
Samarjit Chakraborty at TU Munich. (03/2017)
- [Tutorial] Prof. Zhu gave a tutorial "Design
Automation for Cyber-Physical Systems: Challenges and
Opportunities" at the IEEE 18th International
Symposium on Quality Electronic Design (ISQED). (03/2017)
- [Award] Prof. Zhu received the IEEE TCCPS (Technical Committee on Cyber-Physical Systems) Early-Career Award. (3/2017)
- [Publication] Our paper "Deep Reinforcement Learning for HVAC Control in Smart Buildings" is accepted by the 54th IEEE/ACM Design Automation Conference (DAC). (2/2017)
- [Publication] Prof. Zhu co-authored a keynote paper "Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities" in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). (12/2016)
- [Publication] We published an invited paper "CONVINCE: A Cross-Layer Modeling, Exploration and Validation Framework for Next-Generation Connected Vehicles" in the 35th IEEE/ACM International Conference on Computer-Aided Design (ICCAD), in collaboration with Toyota. (11/2016)
- [TPC] Prof. Zhu served in the DATE 2017 TPC. (11/2016)
- [Publication] We published paper "An Efficient Control-driven Period Optimization Algorithm for Distributed Real-time Systems" in the IEEE Transactions on Computers (TC). (10/2016)
- [Funding] Our proposals on addressing timing attacks in CPS and on extensibility-driven CPS design are funded by the NSF CPS program. (09/2016)
- [TPC] Prof. Zhu served in the ASP-DAC 2017 TPC. (08/2016)
- [Award] Bowen Zheng and Prof. Zhu received the ACM TODAES 2016 Best Paper Award at DAC for paper "Security-Aware Design Methodology and Optimization for Automotive Systems". (06/2016)
- [Publication] We published paper "Cross-Layer Codesign for Secure Cyber-Physical Systems" in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). (05/2016)
- [Publication] We published paper "Proactive Demand Participation of Smart Buildings in Smart Grid" in the IEEE Transactions on Computers (TC). (05/2016)
-
