Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQi Zhu 0002
Person information
- affiliation: Northwestern University, Department of Electrical Engineering and Computer Science, USA
- affiliation (former): University of California Riverside, Department of Electrical and Computer Engineering, CA, USA
- affiliation (former): Intel Corporation, Strategic CAD Laboratories, USA
- affiliation (PhD 2008): University of California Berkeley, Department of Electrical Engineering and Computer Science, CA, USA
- affiliation (former): Tsinghua University, Computer Science and Technology Department, Beijing, China
Other persons with the same name
- Qi Zhu — disambiguation page
- Qi Zhu 0001
![[0000-0001-5497-9478]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-5497-9478")
— Nanjing University of Aeronautics and Astronautics, Department of Computer Science and Technology, China (and 1 more) - Qi Zhu 0003 — Nanjing University of Posts and Telecommunications, School of Telecommunication and Information Engineering, Key Wireless Laboratory of Jiangsu Province, China
- Qi Zhu 0004 — National University of Defense Technology, College of Mechatronics and Automation, Changsha, China
- Qi Zhu 0005 — Central South University, School of Information Science and Engineering, Changsha, China
- Qi Zhu 0006 — University of Science and Technology of China, Department of Electronic Engineering and Information Science, Hefei, China (and 1 more)
- Qi Zhu 0007 — Beijing National Research Center for Information Science and Technology, Institute for Artificial Intelligence, China (and 1 more)
- Qi Zhu 0008 — University of Illinois at Urbana-Champaign, Department of Computer Science, IL, USA
- Qi Zhu 0009 — National Oceanic and Atmospheric Administration, NOAA, Center for Satellite Applications and Research, National Environmental Satellite, Data, and Information Service, NESDIS, MD, USA
- Qi Zhu 0010 — University of Science and Technology of China, Hefei, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu:
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3): 994-1007 (2024)- [j38]Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu:
Collaborative Multi-Agent Video Fast-Forwarding. IEEE Trans. Multim. 26: 1041-1054 (2024) - [c108]Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li:
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI 2024: 12061-12071 - [e2]Yu Chen, Chung-Wei Lin, Bo Chen, Qi Zhu:
Security and Privacy in Cyber-Physical Systems and Smart Vehicles - First EAI International Conference, SmartSP 2023, Chicago, USA, October 12-13, 2023, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 552, Springer 2024, ISBN 978-3-031-51629-0 [contents] - [i52]Lixu Wang, Shichao Xu, Xinyu Du, Qi Zhu:
DACR: Distribution-Augmented Contrastive Reconstruction for Time-Series Anomaly Detection. CoRR abs/2401.11271 (2024) - [i51]Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang:
Variational Delayed Policy Optimization. CoRR abs/2405.14226 (2024) - [i50]Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu:
Exploring Backdoor Attacks against Large Language Model-based Decision Making. CoRR abs/2405.20774 (2024) - 2023
- [j37]Guowen Li, Lingyu Ren, Yangyang Fu, Zhiyao Yang, Veronica Adetola, Jin Wen, Qi Zhu, Teresa Wu, K. Selcuk Candan, Zheng O'Neill:
A critical review of cyber-physical security for building automation systems. Annu. Rev. Control. 55: 237-254 (2023) - [j36]Qi Zhu, Bo Yu, Ziran Wang, Jie Tang, Qi Alfred Chen, Zihao Li, Xiangguo Liu, Yunpeng Luo, Lingzi Tu:
Cloud and Edge Computing for Connected and Automated Vehicles. Found. Trends Electron. Des. Autom. 14(1-2): 1-170 (2023) - [j35]Shiyan Hu, Yiran Chen, Qi Zhu, Armando Walter Colombo:
Guest Editorial Machine Learning for Resilient Industrial Cyber-Physical Systems. IEEE Trans Autom. Sci. Eng. 20(1): 3-4 (2023) - [j34]Yi-Ting Hsieh, Tzu-Tao Chang, Chen-Jun Tsai, Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Chung-Wei Lin, Eunsuk Kang, Chao Huang, Qi Zhu:
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM Trans. Cyber Phys. Syst. 7(3): 21:1-21:28 (2023) - [c107]Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu:
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton 2023: 1-8 - [c106]Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu:
Safety-Driven Interactive Planning for Neural Network-Based Lane Changing. ASP-DAC 2023: 39-45 - [c105]Pin-Chun Chen, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu:
Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators. ASP-DAC 2023: 52-57 - [c104]Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu:
Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic. AAMAS 2023: 2568-2570 - [c103]Xiangguo Liu, Yunpeng Luo, Anthony Goeckner, Trishna Chakraborty, Ruochen Jiao, Ningfei Wang, Yixuan Wang, Takami Sato, Qi Alfred Chen, Qi Zhu:
Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. DAC 2023: 1-4 - [c102]Kevin Kai-Chun Chang, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu:
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance. DATE 2023: 1-6 - [c101]Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS 2023: 132-141 - [c100]Ruochen Jiao, Xiangguo Liu, Takami Sato, Qi Alfred Chen, Qi Zhu:
Semi-supervised Semantics-guided Adversarial Training for Robust Trajectory Prediction. ICCV 2023: 8173-8183 - [c99]Chenxi Liu, Lixu Wang, Lingjuan Lyu, Chen Sun, Xiao Wang, Qi Zhu:
Deja Vu: Continual Model Generalization for Unseen Domains. ICLR 2023 - [c98]Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu:
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. ICML 2023: 36593-36604 - [c97]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). IJCAI 2023: 6498-6503 - [c96]Ruochen Jiao, Juyang Bai, Xiangguo Liu, Takami Sato, Xiaowei Yuan, Qi Alfred Chen, Qi Zhu:
Learning Representation for Anomaly Detection of Vehicle Trajectories. IROS 2023: 9699-9706 - [c95]Payal Mohapatra, Akash Pandey, Yueyuan Sui, Qi Zhu:
Effect of Attention and Self-Supervised Speech Embeddings on Non-Semantic Speech Tasks. ACM Multimedia 2023: 9511-9515 - [c94]Guowen Li, Zheng O'Neill, Jin Wen, Ojas Pradhan, Lingyu Ren, Teresa Wu, Veronica Adetola, K. Selcuk Candan, Qi Zhu:
CYDRES: CYber Defense and REsilient System for securing grid-interactive efficient buildings. BuildSys@SenSys 2023: 307-309 - [i49]Chenxi Liu, Lixu Wang, Lingjuan Lyu, Chen Sun, Xiao Wang, Qi Zhu:
DEJA VU: Continual Model Generalization For Unseen Domains. CoRR abs/2301.10418 (2023) - [i48]Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu:
Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic. CoRR abs/2302.02513 (2023) - [i47]Xiangguo Liu, Jianxing Chen, Shan Li, Yajia Zhang, Hongtao Yu, Fuqiang Huang, Jiechao Liu, Chao Wang, Liyun Li, Qi Zhu:
Interactive Trajectory Planner for Mandatory Lane Changing in Dense Non-Cooperative Traffic. CoRR abs/2303.02309 (2023) - [i46]Ruochen Jiao, Juyang Bai, Xiangguo Liu, Takami Sato, Xiaowei Yuan, Qi Alfred Chen, Qi Zhu:
Learning Representation for Anomaly Detection of Vehicle Trajectories. CoRR abs/2303.05000 (2023) - [i45]Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu:
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/2304.01218 (2023) - [i44]Anthony Goeckner, Xinliang Li, Ermin Wei, Qi Zhu:
Attrition-Aware Adaptation for Multi-Agent Patrolling. CoRR abs/2304.01386 (2023) - [i43]Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu:
Collaborative Multi-Agent Video Fast-Forwarding. CoRR abs/2305.17569 (2023) - [i42]Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu:
Safety-Assured Speculative Planning with Adaptive Prediction. CoRR abs/2307.11876 (2023) - [i41]Payal Mohapatra, Akash Pandey, Yueyuan Sui, Qi Zhu:
Effect of Attention and Self-Supervised Speech Embeddings on Non-Semantic Speech Tasks. CoRR abs/2308.14359 (2023) - [i40]Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu:
Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR abs/2309.09317 (2023) - [i39]Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu:
State-wise Safe Reinforcement Learning With Pixel Observations. CoRR abs/2311.02227 (2023) - [i38]Yixuan Wang, Ruochen Jiao, Chengtian Lang, Simon Sinong Zhan, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Empowering Autonomous Driving with Large Language Models: A Safety Perspective. CoRR abs/2312.00812 (2023) - [i37]Lixu Wang, Chenxi Liu, Junfeng Guo, Jiahua Dong, Xiao Wang, Heng Huang, Qi Zhu:
Federated Continual Novel Class Learning. CoRR abs/2312.13500 (2023) - 2022
- [j33]Jingtong Hu, Qi Zhu, Susmit Jha:
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2. ACM Trans. Cyber Phys. Syst. 6(2): 10:1-10:3 (2022) - [c93]Shuyue Lan, Zhilu Wang, John Mamish, Josiah D. Hester, Qi Zhu:
AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors. ASP-DAC 2022: 556-561 - [c92]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA 2022: 414-430 - [c91]Jiahua Dong, Lixu Wang, Zhen Fang, Gan Sun, Shichao Xu, Xiao Wang, Qi Zhu:
Federated Class-Incremental Learning. CVPR 2022: 10154-10163 - [c90]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu:
Design-while-verify: correct-by-construction control learning with verification in the loop. DAC 2022: 925-930 - [c89]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. DATE 2022: 1087-1092 - [c88]Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu:
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. ICCPS 2022: 137-146 - [c87]Lixu Wang, Shichao Xu, Ruiqi Xu, Xiao Wang, Qi Zhu:
Non-Transferable Learning: A New Approach for Model Ownership Verification and Applicability Authorization. ICLR 2022 - [c86]Ruochen Jiao, Xiangguo Liu, Bowen Zheng, Dave Liang, Qi Zhu:
TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor. IROS 2022: 12534-12541 - [c85]Ahmed Abdo, Guoyuan Wu, Qi Zhu, Nael B. Abu-Ghazaleh:
CVGuard: Mitigating Application Attacks on Connected Vehicles. IV 2022: 623-630 - [c84]Shichao Xu, Yangyang Fu, Yixuan Wang, Zhuoran Yang, Zheng O'Neill, Zhaoran Wang, Qi Zhu:
Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances. BuildSys@SenSys 2022: 89-98 - [i36]Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu:
Neural Network based Interactive Lane Changing Planner in Dense Traffic with Safety Guarantee. CoRR abs/2201.09112 (2022) - [i35]Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu:
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. CoRR abs/2201.09140 (2022) - [i34]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu:
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. CoRR abs/2201.12243 (2022) - [i33]Ruochen Jiao, Xiangguo Liu, Bowen Zheng, Dave Liang, Qi Zhu:
TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor. CoRR abs/2203.01261 (2022) - [i32]Jiahua Dong, Lixu Wang, Zhen Fang, Gan Sun, Shichao Xu, Xiao Wang, Qi Zhu:
Federated Class-Incremental Learning. CoRR abs/2203.11473 (2022) - [i31]Yuanzhe Jin, Xiangguo Liu, Qi Zhu:
DSRC & C-V2X Comparison for Connected and Automated Vehicles in Different Traffic Scenarios. CoRR abs/2203.12553 (2022) - [i30]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. CoRR abs/2203.14141 (2022) - [i29]Ruochen Jiao, Xiangguo Liu, Takami Sato, Qi Alfred Chen, Qi Zhu:
Semi-supervised Semantics-guided Adversarial Training for Trajectory Prediction. CoRR abs/2205.14230 (2022) - [i28]Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu:
A Tool for Neural Network Global Robustness Certification and Training. CoRR abs/2208.07289 (2022) - [i27]Shichao Xu, Yikang Li, Jenhao Hsiao, Chiuman Ho, Qi Zhu:
A Dual Modality Approach For (Zero-Shot) Multi-Label Classification. CoRR abs/2208.09562 (2022) - [i26]Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu:
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. CoRR abs/2209.15090 (2022) - [i25]Guowen Li, Lingyu Ren, Yangyang Fu, Zhiyao Yang, Veronica Adetola, Jin Wen, Qi Zhu, Teresa Wu, K. Selçuk Candan, Zheng O'Neill:
A critical review of cyber-physical security for building automation systems. CoRR abs/2210.11726 (2022) - 2021
- [j32]Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu:
Cross-Layer Design of Automotive Systems. IEEE Des. Test 38(5): 8-16 (2021) - [j31]Hyunjong Choi, Hyoseung Kim, Qi Zhu:
Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach. IEEE Internet Things J. 8(8): 6692-6708 (2021) - [j30]Jingtong Hu, Qi Zhu, Susmit Jha:
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1. ACM Trans. Cyber Phys. Syst. 5(4): 33:1-33:3 (2021) - [j29]Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu:
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. 20(5s): 100:1-100:25 (2021) - [j28]Tianshu Wei, Shaolei Ren, Qi Zhu:
Deep Reinforcement Learning for Joint Datacenter and HVAC Load Control in Distributed Mixed-Use Buildings. IEEE Trans. Sustain. Comput. 6(3): 370-384 (2021) - [c83]Lixu Wang, Shichao Xu, Xiao Wang, Qi Zhu:
Addressing Class Imbalance in Federated Learning. AAAI 2021: 10165-10173 - [c82]Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu:
Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC 2021: 753-760 - [c81]Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu:
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC 2021: 397-402 - [c80]Rumia Masburah, Rajib Lochan Jana, Ainuddin Khan, Shichao Xu, Shuyue Lan, Soumyajit Dey, Qi Zhu:
Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. DATE 2021: 72-75 - [c79]Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu:
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE 2021: 1745-1750 - [c78]Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu:
Co-designing Intelligent Control of Building HVACs and Microgrids. DSD 2021: 457-464 - [c77]Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu:
Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator. ICCV 2021: 8897-8906 - [c76]Ruochen Jiao, Hengyi Liang, Takami Sato, Junjie Shen, Qi Alfred Chen, Qi Zhu:
End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering. IV 2021: 266-273 - [c75]Xiangguo Liu, Baiting Luo, Ahmed Abdo, Nael B. Abu-Ghazaleh, Qi Zhu:
Securing Connected Vehicle Applications with an Efficient Dual Cyber- Physical Blockchain Framework. IV 2021: 393-400 - [c74]Baiting Luo, Xiangguo Liu, Qi Zhu:
Credibility Enhanced Temporal Graph Convolutional Network Based Sybil Attack Detection On Edge Computing Servers. IV 2021: 524-531 - [c73]Jinliang Xie, Jie Tang, Yanzhi Wang, Qi Zhu, Shaoshan Liu:
Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous Driving. RTAS 2021: 421-424 - [c72]Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu:
Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning. BuildSys@SenSys 2021: 1-10 - [c71]Yangyang Fu, Shichao Xu, Qi Zhu, Zheng O'Neill:
Containerized framework for building control performance comparisons: model predictive control vs deep reinforcement learning control. BuildSys@SenSys 2021: 276-280 - [i24]Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu:
Weak Adaptation Learning - Addressing Cross-domain Data Insufficiency with Weak Annotator. CoRR abs/2102.07358 (2021) - [i23]Xiangguo Liu, Baiting Luo, Ahmed Abdo, Nael B. Abu-Ghazaleh, Qi Zhu:
Securing Connected Vehicle Applications with an Efficient Dual Cyber-Physical Blockchain Framework. CoRR abs/2102.07690 (2021) - [i22]Ruochen Jiao, Hengyi Liang, Takami Sato, Junjie Shen, Qi Alfred Chen, Qi Zhu:
End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering. CoRR abs/2103.00345 (2021) - [i21]Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu:
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. CoRR abs/2103.05046 (2021) - [i20]Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu:
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR abs/2106.03245 (2021) - [i19]Lixu Wang, Shichao Xu, Ruiqi Xu, Xiao Wang, Qi Zhu:
Non-Transferable Learning: A New Approach for Model Verification and Authorization. CoRR abs/2106.06916 (2021) - [i18]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR abs/2106.13867 (2021) - [i17]Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu:
Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control. CoRR abs/2106.14144 (2021) - [i16]Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu:
Co-designing Intelligent Control of Building HVACs and Microgrids. CoRR abs/2107.08378 (2021) - 2020
- [j27]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3323-3335 (2020) - [j26]Bowen Zheng, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu:
Design and Analysis of Delay-Tolerant Intelligent Intersection Management. ACM Trans. Cyber Phys. Syst. 4(1): 3:1-3:27 (2020) - [c70]Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA 2020: 537-542 - [c69]Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu:
SAW: A Tool for Safety Analysis of Weakly-Hard Systems. CAV (1) 2020: 543-555 - [c68]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC 2020: 1-6 - [c67]Yixuan Wang, Chao Huang, Qi Zhu:
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. ICCAD 2020: 22:1-22:9 - [c66]Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi:
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD 2020: 82:1-82:9 - [c65]Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu:
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. ICCAD 2020: 101:1-101:9 - [c64]Xiangguo Liu, Neda Masoud, Qi Zhu:
Impact of Sharing Driving Attitude Information: A Quantitative Study on Lane Changing. IV 2020: 1998-2005 - [c63]Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu:
Distributed Multi-agent Video Fast-forwarding. ACM Multimedia 2020: 1075-1084 - [c62]Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo, Samarjit Chakraborty:
GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. RTSS 2020: 178-190 - [c61]Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu:
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. RV 2020: 497-516 - [c60]Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu:
One for Many: Transfer Learning for Building HVAC Control. BuildSys@SenSys 2020: 230-239 - [c59]Shichao Xu, Shuyue Lan, Qi Zhu:
MaskPlus: Improving Mask Generation for Instance Segmentation. WACV 2020: 2019-2027 - [i15]Xiangguo Liu, Guangchen Zhao, Neda Masoud, Qi Zhu:
Trajectory Planning for Connected and Automated Vehicles: Cruising, Lane Changing, and Platooning. CoRR abs/2001.08620 (2020) - [i14]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR abs/2005.03726 (2020) - [i13]Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu:
SAW: A Tool for Safety Analysis of Weakly-hard Systems. CoRR abs/2005.07159 (2020) - [i12]Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu:
Cross-Layer Design of Automotive Systems. CoRR abs/2005.11842 (2020) - [i11]Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu:
One for Many: Transfer Learning for Building HVAC Control. CoRR abs/2008.03625 (2020) - [i10]Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu:
Distributed Multi-agent Video Fast-forwarding. CoRR abs/2008.04437 (2020) - [i9]Yixuan Wang, Chao Huang, Qi Zhu:
Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. CoRR abs/2008.06162 (2020) - [i8]Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu:
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. CoRR abs/2008.06192 (2020) - [i7]Lixu Wang, Shichao Xu, Xiao Wang, Qi Zhu:
Towards Class Imbalance in Federated Learning. CoRR abs/2008.06217 (2020)
2010 – 2019
- 2019
- [j25]Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer:
Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. 18(4): 35:1-35:28 (2019) - [j24]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 106:1-106:22 (2019) - [c58]Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu:
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek 2019: 51-59 - [c57]Chao Huang, Wenchao Li, Qi Zhu:
Formal verification of weakly-hard systems. HSCC 2019: 197-207 - [c56]Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu:
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD 2019: 1-8 - [c55]Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu:
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. ICCD 2019: 217-226 - [c54]Ahmed Abdo, Sakib Md. Bin Malek, Zhiyun Qian, Qi Zhu, Matthew J. Barth, Nael B. Abu-Ghazaleh:
Application level attacks on Connected Vehicle Protocols. RAID 2019: 459-471 - [c53]Hyunjong Choi, Hyoseung Kim, Qi Zhu:
Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems. RTAS 2019: 241-253 - [e1]Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu:
Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6699-1 [contents] - [i6]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/1906.10654 (2019) - [i5]Shichao Xu, Shuyue Lan, Qi Zhu:
MaskPlus: Improving Mask Generation for Instance Segmentation. CoRR abs/1907.06713 (2019) - [i4]Lixu Wang, Shichao Xu, Xiao Wang, Qi Zhu:
Eavesdrop the Composition Proportion of Training Labels in Federated Learning. CoRR abs/1910.06044 (2019) - 2018
- [j23]Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li:
Design Automation for Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE 106(9): 1479-1483 (2018) - [j22]Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Codesign Methodologies and Tools for Cyber-Physical Systems. Proc. IEEE 106(9): 1484-1500 (2018) - [j21]Ying Zhang, Mohammad Hassan Hajiesmaili, Sinan Cai, Minghua Chen, Qi Zhu:
Peak-Aware Online Economic Dispatching for Microgrids. IEEE Trans. Smart Grid 9(1): 323-335 (2018) - [j20]Mingsong Chen, Xinqian Zhang, Haifeng Gu, Tongquan Wei, Qi Zhu:
Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations. IEEE Trans. Sustain. Comput. 3(2): 84-97 (2018) - [c52]Pu Zhao, Yanzhi Wang, Naehyuck Chang, Qi Zhu, Xue Lin:
A deep reinforcement learning framework for optimizing fuel economy of hybrid electric vehicles. ASP-DAC 2018: 196-202 - [c51]Shuyue Lan, Rameswar Panda, Qi Zhu, Amit K. Roy-Chowdhury:
FFNet: Video Fast-Forwarding via Reinforcement Learning. CVPR 2018: 6771-6780 - [c50]Avesta Sasan, Qi Zhu, Yanzhi Wang, Jae-sun Seo, Tinoosh Mohsenin:
Low Power and Trusted Machine Learning. ACM Great Lakes Symposium on VLSI 2018: 515 - [c49]Tianshu Wei, Xiaoming Chen, Xin Li, Qi Zhu:
Model-based and data-driven approaches for building automation and control. ICCAD 2018: 26 - [c48]Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu:
Network and system level security in connected vehicle applications. ICCAD 2018: 94 - [c47]Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu:
Design Automation for Intelligent Automotive Systems. ITC 2018: 1-10 - [i3]Shuyue Lan, Rameswar Panda, Qi Zhu, Amit K. Roy-Chowdhury:
FFNet: Video Fast-Forwarding via Reinforcement Learning. CoRR abs/1805.02792 (2018) - 2017
- [j19]Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S., Qi Zhu:
Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. 2(2): 55-56 (2017) - [j18]Tiansong Cui, Shuang Chen, Yanzhi Wang, Qi Zhu, Shahin Nazarian, Massoud Pedram:
An optimal energy co-scheduling framework for smart buildings. Integr. 58: 528-537 (2017) - [j17]Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu:
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(9): 1421-1434 (2017) - [j16]Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou:
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(12): 1989-2002 (2017) - [j15]Xin Li, Shiyan Hu, Qi Zhu:
Guest Editorial: Special Issue on Smart Homes, Buildings and Infrastructures. ACM Trans. Cyber Phys. Syst. 1(4): 17:1-17:2 (2017) - [c46]Qi Zhu, Hengyi Liang, Licong Zhang, Debayan Roy, Wenchao Li, Samarjit Chakraborty:
Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. DAC 2017: 13:1-13:6 - [c45]Tianshu Wei, Yanzhi Wang, Qi Zhu:
Deep Reinforcement Learning for Building HVAC Control. DAC 2017: 22:1-22:6 - [c44]Hongjia Li, Tianshu Wei, Ao Ren, Qi Zhu, Yanzhi Wang:
Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper. ICCAD 2017: 847-854 - [c43]Bowen Zheng, Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu:
Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper). ICCAD 2017: 984-991 - [c42]Hengyi Liang, Zhilu Wang, Bowen Zheng, Qi Zhu:
Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. NOCS 2017: 10:1-10:8 - [c41]Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu:
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. SMARTCOMP 2017: 1-8 - [i2]Hongjia Li, Tianshu Wei, Ao Ren, Qi Zhu, Yanzhi Wang:
Deep Reinforcement Learning: Framework, Applications, and Embedded Implementations. CoRR abs/1710.03792 (2017) - 2016
- [j14]Samarjit Chakraborty, Mohammad Abdullah Al Faruque, Wanli Chang, Dip Goswami, Marilyn Wolf, Qi Zhu:
Automotive Cyber-Physical Systems: A Tutorial Introduction. IEEE Des. Test 33(4): 92-108 (2016) - [j13]Tianshu Wei, Qi Zhu, Nanpeng Yu:
Proactive Demand Participation of Smart Buildings in Smart Grid. IEEE Trans. Computers 65(5): 1392-1406 (2016) - [j12]Peng Deng, Qi Zhu, Abhijit Davare, Anastasios I. Mourikis, Xue Liu, Marco Di Natale:
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. IEEE Trans. Computers 65(12): 3552-3566 (2016) - [j11]Bowen Zheng, Peng Deng, Anguluri Rajasekhar, Qi Zhu, Fabio Pasqualetti:
Cross-Layer Codesign for Secure Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(5): 699-711 (2016) - [c40]Tiansong Cui, Shuang Chen, Yanzhi Wang, Qi Zhu, Shahin Nazarian, Massoud Pedram:
Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation. ASP-DAC 2016: 775-780 - [c39]Tianshu Wei, Mohammad A. Islam, Shaolei Ren, Qi Zhu:
Co-scheduling of datacenter and HVAC loads in mixed-use buildings. IGSC 2016: 1-8 - [c38]Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu:
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. ICCAD 2016: 37 - [c37]Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu, Wenchao Li, Shiyan Hu:
Analysis of production data manipulation attacks in petroleum cyber-physical systems. ICCAD 2016: 108 - [c36]Shu Zhang, Qi Zhu, Amit K. Roy-Chowdhury:
Adaptive algorithm selection, with applications in pedestrian detection. ICIP 2016: 3768-3772 - [c35]Tianshu Wei, Qi Zhu:
Co-scheduling of flexible energy loads in building clusters. ISCAS 2016: 958-961 - [c34]Bowen Zheng, Hengyi Liang, Qi Zhu, Huafeng Yu, Chung-Wei Lin:
Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. ISVLSI 2016: 53-58 - [c33]Hang Su, Peng Deng, Dakai Zhu, Qi Zhu:
Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization. RTCSA 2016: 59-68 - [i1]Shu Zhang, Qi Zhu, Amit K. Roy-Chowdhury:
Adaptive Algorithm and Platform Selection for Visual Detection and Tracking. CoRR abs/1605.06597 (2016) - 2015
- [j10]Fabio Pasqualetti, Qi Zhu:
Design and Operation of Secure Cyber-Physical Systems. IEEE Embed. Syst. Lett. 7(1): 3-6 (2015) - [j9]Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems. IEEE Embed. Syst. Lett. 7(1): 11-14 (2015) - [j8]Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Security-Aware Design Methodology and Optimization for Automotive Systems. ACM Trans. Design Autom. Electr. Syst. 21(1): 18:1-18:26 (2015) - [c32]Nanpeng Yu, Tianshu Wei, Qi Zhu:
From passive demand response to proactive demand participation. CASE 2015: 1300-1306 - [c31]Bowen Zheng, Yue Gao, Qi Zhu, Sandeep K. Gupta:
Analysis and optimization of soft error tolerance strategies for real-time systems. CODES+ISSS 2015: 55-64 - [c30]Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar:
Design and verification for transportation system security. DAC 2015: 96:1-96:6 - [c29]Tiansong Cui, Yanzhi Wang, Shuang Chen, Qi Zhu, Shahin Nazarian, Massoud Pedram:
Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation. DAC 2015: 134:1-134:6 - [c28]Tianshu Wei, Qi Zhu:
Proactive demand participation of heterogeneous flexible loads in smart grid. IGSC 2015: 1-2 - [c27]Tianshu Wei, Bowen Zheng, Qi Zhu, Shiyan Hu:
Security Analysis of Proactive Participation of Smart Buildings in Smart Grid. ICCAD 2015: 465-472 - [c26]Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng:
A model-based synthesis flow for automotive CPS. ICCPS 2015: 198-207 - [c25]Mehmet E. Belviranli, Peng Deng, Laxmi N. Bhuyan, Rajiv Gupta, Qi Zhu:
PeerWave: Exploiting Wavefront Parallelism on GPUs with Peer-SM Synchronization. ICS 2015: 25-35 - [c24]Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer:
Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS 2015: 172-181 - 2014
- [j7]Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. 60(4): 315-328 (2014) - [j6]Haibo Zeng, Marco Di Natale, Qi Zhu:
Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embed. Comput. Syst. 13(5s): 149:1-149:25 (2014) - [c23]Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee:
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS 2014: 24:1-24:10 - [c22]Tianshu Wei, Taeyoung Kim, Sangyoung Park, Qi Zhu, Sheldon X.-D. Tan, Naehyuck Chang, Sadrul Ula, Mehdi Maasoumy:
Battery Management and Application for Energy-Efficient Buildings. DAC 2014: 136:1-136:6 - [c21]Chun Zhang, Peng Deng, Hui Geng, Jianming Liu, Qi Zhu, Jinjun Xiong, Yiyu Shi:
MSim: A general cycle accurate simulation platform for memcomputing studies. DATE 2014: 1-5 - [c20]Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Security-aware mapping for TDMA-based real-time distributed systems. ICCAD 2014: 24-31 - [c19]Tianshu Wei, Qi Zhu, Mehdi Maasoumy:
Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency. ICCAD 2014: 191-196 - [c18]Taeyoung Kim, Bowen Zheng, Hai-Bao Chen, Qi Zhu, Valeriy Sukharev, Sheldon X.-D. Tan:
Lifetime optimization for real-time embedded systems considering electromigration effects. ICCAD 2014: 434-439 - [c17]Peng Deng, Anastasios I. Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale:
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. ICCPS 2014: 215 - [c16]Qi Zhu, Peng Deng:
Design synthesis and optimization for automotive embedded systems. ISPD 2014: 141-148 - [c15]Qi Zhu:
Model-based synthesis for real-time embedded systems. MWSCAS 2014: 366-369 - [c14]Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng:
Task synthesis for latency-sensitive synchronous block diagram. SIES 2014: 112-121 - 2013
- [j5]Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu:
metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(1s): 49:1-49:31 (2013) - [c13]Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng:
Robust and extensible task implementations of synchronous finite state machines. DATE 2013: 1319-1324 - [c12]Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli:
Security-aware mapping for CAN-based real-time distributed automotive systems. ICCAD 2013: 115-121 - [c11]Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli:
Co-design of control algorithm and embedded platform for building HVAC systems. ICCPS 2013: 61-70 - 2012
- [j4]Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli:
Development of Building Automation and Control Systems. IEEE Des. Test Comput. 29(4): 45-55 (2012) - [j3]Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. 11(4): 85:1-85:30 (2012) - [c10]Haibo Zeng, Marco Di Natale, Qi Zhu:
Optimizing stack memory requirements for real-time embedded applications. ETFA 2012: 1-8 - 2010
- [j2]Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli:
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Ind. Informatics 6(4): 621-636 (2010) - [c9]Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu:
A Design Flow for Building Automation and Control Systems. RTSS 2010: 105-116
2000 – 2009
- 2009
- [c8]Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 275-284 - 2007
- [c7]Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
Period Optimization for Hard Real-time Distributed Automotive Systems. DAC 2007: 278-283 - [c6]Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. RTSS 2007: 161-170 - 2006
- [c5]Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli:
SAT sweeping with local observability don't-cares. DAC 2006: 229-234 - [c4]Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli:
A semantic-driven synthesis flow for platform-based design. MEMOCODE 2006: 199 - 2005
- [j1]Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong, Yang Yang:
Spanning graph-based nonrectilinear steiner tree algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(7): 1066-1075 (2005) - [c3]Yang Yang, Tong Jing, Xianlong Hong, Yu Hu, Qi Zhu, Xiaodong Hu, Guiying Yan:
Via-Aware Global Routing for Good VLSI Manufacturability and High Yield. ASAP 2005: 198-203 - [c2]Abhijit Davare, Qi Zhu, John Moondanos, Alberto L. Sangiovanni-Vincentelli:
JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. ESTIMedia 2005: 89-94 - 2004
- [c1]Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong, Yang Yang:
Efficient octilinear Steiner tree construction based on spanning graphs. ASP-DAC 2004: 687-690
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-27 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
