Qi Zhu - RankMe

247 papers A* 32A 38B 7C 10Misc 6Journal 116Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Unified Framework for Rethinking Policy Divergence Measures in GRPO. CoRR Qingyuan Wu, Yuhui Wang, Simon Sinong Zhan, Yanning Dai, Shilong Deng, Sarra Habchi, Qi Zhu, Matthias Gallé, Chao Huang
2026	J	`jnl`	ODESteer: A Unified ODE-Based Steering Framework for LLM Alignment. CoRR Hongjue Zhao, Haosen Sun, Jiangtao Kong, Xiaochang Li, Qineng Wang, Liwei Jiang, Qi Zhu, Tarek F. Abdelzaher, Yejin Choi, Manling Li, Huajie Shao
2026	J	`jnl`	STEP-LLM: Generating CAD STEP Models from Natural Language with Large Language Models. CoRR Xiangyu Shi, Junyang Ding, Xu Zhao, Sinong Zhan, Payal Mohapatra, Daniel Quispe, Kojo Welbeck, Jian Cao, Wei Chen, Ping Guo, Qi Zhu
2026	J	`jnl`	TimeSliver : Symbolic-Linear Decomposition for Explainable Time Series Classification. CoRR Akash Pandey, Payal Mohapatra, Wei Chen, Qi Zhu, Sinan Keten
2025	J	`jnl`	Adapting Offline Reinforcement Learning with Online Delays. CoRR Simon Sinong Zhan, Qingyuan Wu, Frank Yang, Xiangyu Shi, Chao Huang, Qi Zhu
2025	—	`conf`	Can LLMs Understand Unvoiced Speech? Exploring EMG-to-Text Conversion with LLMs. ACL (2) Payal Mohapatra, Akash Pandey, Xiaoyuan Zhang, Qi Zhu
2025	J	`jnl`	Can LLMs Understand Unvoiced Speech? Exploring EMG-to-Text Conversion with LLMs. CoRR Payal Mohapatra, Akash Pandey, Xiaoyuan Zhang, Qi Zhu
2025	A*	`conf`	Can We Trust Embodied Agents? Exploring Backdoor Attacks against Embodied LLM-Based Decision-Making Systems. ICLR Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu
2025	A*	`conf`	Directly Forecasting Belief for Reinforcement Learning with Delays. ICML Qingyuan Wu, Yuhui Wang, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang
2025	J	`jnl`	Directly Forecasting Belief for Reinforcement Learning with Delays. CoRR Qingyuan Wu, Yuhui Wang, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang
2025	J	`jnl`	Guest Editorial Special Issue on Security and Privacy of Intelligent Vehicles. IEEE Internet Things J. Chung-Wei Lin, Bo Chen, Weizhi Meng, Yu Chen, Qi Zhu
2025	J	`jnl`	MAESTRO : Adaptive Sparse Attention and Robust Learning for Multimodal Dynamic Time Series. CoRR Payal Mohapatra, Yueyuan Sui, Akash Pandey, Stephen Xia, Qi Zhu
2025	A*	`conf`	On Large Language Model Continual Unlearning. ICLR Chongyang Gao, Lixu Wang, Kaize Ding, Chenkai Weng, Xiao Wang, Qi Zhu
2025	J	`jnl`	Phase-driven Generalizable Representation Learning for Nonstationary Time Series Classification. Trans. Mach. Learn. Res. Payal Mohapatra, Lixu Wang, Qi Zhu
2025	J	`jnl`	SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of LLM-based Embodied Agents. CoRR Simon Sinong Zhan, Yao Liu, Philip Wang, ZiNan Wang, Qineng Wang, Zhian Ruan, Xiangyu Shi, Xinyu Cao, Frank Yang, Kangrui Wang, Huajie Shao, Manling Li, Qi Zhu
2025	A*	`conf`	Split Adaptation for Pre-trained Vision Transformers. CVPR Lixu Wang, Bingqi Shang, Yi Li, Payal Mohapatra, Wei Dong, Xiao Wang, Qi Zhu
2025	J	`jnl`	Split Adaptation for Pre-trained Vision Transformers. CoRR Lixu Wang, Bingqi Shang, Yi Li, Payal Mohapatra, Wei Dong, Xiao Wang, Qi Zhu
2025	Misc	`conf`	Tutorial: Design Automation for ML-enabled Cyber-Physical Systems: From Verification to Synthesis. EMSOFT Samarjit Chakraborty, Jingtong Hu, Qi Zhu
2024	J	`jnl`	Attrition-Aware Adaptation for Multi-Agent Patrolling. IEEE Robotics Autom. Lett. Anthony Goeckner, Xinliang Li, Ermin Wei, Qi Zhu
2024	J	`jnl`	Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task. CoRR Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
2024	A*	`conf`	Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays. ICML Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang
2024	B	`conf`	Case Study: Runtime Safety Verification of Neural Network Controlled System. RV Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu
2024	J	`jnl`	Case Study: Runtime Safety Verification of Neural Network Controlled System. CoRR Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu
2024	J	`jnl`	Collaborative Multi-Agent Video Fast-Forwarding. IEEE Trans. Multim. Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu
2024	Misc	`conf`	DACR: Distribution-Augmented Contrastive Reconstruction for Time-Series Anomaly Detection. ICASSP Lixu Wang, Shichao Xu, Xinyu Du, Qi Zhu
2024	J	`jnl`	DACR: Distribution-Augmented Contrastive Reconstruction for Time-Series Anomaly Detection. CoRR Lixu Wang, Shichao Xu, Xinyu Du, Qi Zhu
2024	J	`jnl`	Exploring Backdoor Attacks against Large Language Model-based Decision Making. CoRR Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu
2024	J	`jnl`	Federated Learning with New Knowledge: Fundamentals, Advances, and Futures. CoRR Lixu Wang, Yang Zhao, Jiahua Dong, Ating Yin, Qinbin Li, Xiao Wang, Dusit Niyato, Qi Zhu
2024	J	`jnl`	Graph Neural Network-based Multi-agent Reinforcement Learning for Resilient Distributed Coordination of Multi-Robot Systems. CoRR Anthony Goeckner, Yueyuan Sui, Nicolas Martinet, Xinliang Li, Qi Zhu
2024	J	`jnl`	Inverse Delayed Reinforcement Learning. CoRR Simon Sinong Zhan, Qingyuan Wu, Zhian Ruan, Frank Yang, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu
2024	A*	`conf`	Invited: Algorithm and Hardware Co-Design for Energy-Efficient Neural SLAM. DAC Lingyi Huang, Cheng Yang, Yu Gong, Yang Sui, Xiao Zang, Anthony Goeckner, Qi Zhu, Bo Yuan
2024	A	`conf`	Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. IROS Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Simon Sinong Zhan, Chao Huang, Qi Zhu
2024	A	`conf`	Missingness-resilient Video-enhanced Multimodal Disfluency Detection. INTERSPEECH Payal Mohapatra, Shamika Likhite, Subrata Biswas, Bashima Islam, Qi Zhu
2024	J	`jnl`	Missingness-resilient Video-enhanced Multimodal Disfluency Detection. CoRR Payal Mohapatra, Shamika Likhite, Subrata Biswas, Bashima Islam, Qi Zhu
2024	J	`jnl`	Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments. CoRR Simon Sinong Zhan, Qingyuan Wu, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu
2024	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2024	J	`jnl`	Phase-driven Domain Generalizable Learning for Nonstationary Time Series. CoRR Payal Mohapatra, Lixu Wang, Qi Zhu
2024	J	`jnl`	Practical Unlearning for Large Language Models. CoRR Chongyang Gao, Lixu Wang, Chenkai Weng, Xiao Wang, Qi Zhu
2024	A*	`conf`	REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
2024	—	`ed.`	Security and Privacy in Cyber-Physical Systems and Smart Vehicles - First EAI International Conference, SmartSP 2023, Chicago, USA, October 12-13, 2023, Proceedings SmartSP Yu Chen, Chung-Wei Lin, Bo Chen, Qi Zhu
2024	A*	`conf`	Semantic Feature Learning for Universal Unsupervised Cross-Domain Retrieval. NeurIPS Lixu Wang, Xinyu Du, Qi Zhu
2024	J	`jnl`	Semantic Feature Learning for Universal Unsupervised Cross-Domain Retrieval. CoRR Lixu Wang, Xinyu Du, Qi Zhu
2024	—	`conf`	State-wise safe reinforcement learning with pixel observations. L4DC Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
2024	J	`jnl`	Towards a Digital Twin Framework in Additive Manufacturing: Machine Learning and Bayesian Optimization for Time Series Process Optimization. CoRR Vispi Karkaria, Anthony Goeckner, Rujing Zha, Jie Chen, Jianjing Zhang, Qi Zhu, Jian Cao, Robert X. Gao, Wei Chen
2024	A*	`conf`	Variational Delayed Policy Optimization. NeurIPS Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
2024	J	`jnl`	Variational Delayed Policy Optimization. CoRR Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
2023	A	`conf`	A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance. DATE Kevin Kai-Chun Chang, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu
2023	J	`jnl`	A critical review of cyber-physical security for building automation systems. Annu. Rev. Control. Guowen Li, Lingyu Ren, Yangyang Fu, Zhiyao Yang, Veronica Adetola, Jin Wen, Qi Zhu, Teresa Wu, K. Selcuk Candan, Zheng O'Neill
2023	J	`jnl`	Attrition-Aware Adaptation for Multi-Agent Patrolling. CoRR Anthony Goeckner, Xinliang Li, Ermin Wei, Qi Zhu
2023	—	`conf`	CYDRES: CYber Defense and REsilient System for securing grid-interactive efficient buildings. BuildSys Guowen Li, Zheng O'Neill, Jin Wen, Ojas Pradhan, Lingyu Ren, Teresa Wu, Veronica Adetola, K. Selcuk Candan, Qi Zhu
2023	J	`jnl`	Cloud and Edge Computing for Connected and Automated Vehicles. Found. Trends Electron. Des. Autom. Qi Zhu, Bo Yu, Ziran Wang, Jie Tang, Qi Alfred Chen, Zihao Li, Xiangguo Liu, Yunpeng Luo, Lingzi Tu
2023	J	`jnl`	Collaborative Multi-Agent Video Fast-Forwarding. CoRR Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu
2023	A	`conf`	Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic. AAMAS Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu
2023	J	`jnl`	Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic. CoRR Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu
2023	J	`jnl`	DEJA VU: Continual Model Generalization For Unseen Domains. CoRR Chenxi Liu, Lixu Wang, Lingjuan Lyu, Chen Sun, Xiao Wang, Qi Zhu
2023	A*	`conf`	Deja Vu: Continual Model Generalization for Unseen Domains. ICLR Chenxi Liu, Lixu Wang, Lingjuan Lyu, Chen Sun, Xiao Wang, Qi Zhu
2023	A*	`conf`	Effect of Attention and Self-Supervised Speech Embeddings on Non-Semantic Speech Tasks. ACM Multimedia Payal Mohapatra, Akash Pandey, Yueyuan Sui, Qi Zhu
2023	J	`jnl`	Effect of Attention and Self-Supervised Speech Embeddings on Non-Semantic Speech Tasks. CoRR Payal Mohapatra, Akash Pandey, Yueyuan Sui, Qi Zhu
2023	A*	`conf`	Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). IJCAI Zhilu Wang, Chao Huang, Qi Zhu
2023	Misc	`conf`	Efficient Stuttering Event Detection Using Siamese Networks. ICASSP Payal Mohapatra, Bashima Islam, Md Tamzeed Islam, Ruochen Jiao, Qi Zhu
2023	J	`jnl`	Empowering Autonomous Driving with Large Language Models: A Safety Perspective. CoRR Yixuan Wang, Ruochen Jiao, Chengtian Lang, Simon Sinong Zhan, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
2023	A*	`conf`	Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. ICML Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
2023	J	`jnl`	Federated Continual Novel Class Learning. CoRR Lixu Wang, Chenxi Liu, Junfeng Guo, Jiahua Dong, Xiao Wang, Heng Huang, Qi Zhu
2023	J	`jnl`	Guest Editorial Machine Learning for Resilient Industrial Cyber-Physical Systems. IEEE Trans Autom. Sci. Eng. Shiyan Hu, Yiran Chen, Qi Zhu, Armando Walter Colombo
2023	J	`jnl`	Interactive Trajectory Planner for Mandatory Lane Changing in Dense Non-Cooperative Traffic. CoRR Xiangguo Liu, Jianxing Chen, Shan Li, Yajia Zhang, Hongtao Yu, Fuqiang Huang, Jiechao Liu, Chao Wang, Liyun Li, Qi Zhu
2023	A*	`conf`	Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. DAC Xiangguo Liu, Yunpeng Luo, Anthony Goeckner, Trishna Chakraborty, Ruochen Jiao, Ningfei Wang, Yixuan Wang, Takami Sato, Qi Alfred Chen, Qi Zhu
2023	—	`conf`	Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
2023	J	`jnl`	Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu
2023	A	`conf`	Learning Representation for Anomaly Detection of Vehicle Trajectories. IROS Ruochen Jiao, Juyang Bai, Xiangguo Liu, Takami Sato, Xiaowei Yuan, Qi Alfred Chen, Qi Zhu
2023	J	`jnl`	Learning Representation for Anomaly Detection of Vehicle Trajectories. CoRR Ruochen Jiao, Juyang Bai, Xiangguo Liu, Takami Sato, Xiaowei Yuan, Qi Alfred Chen, Qi Zhu
2023	—	`conf`	Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators. ASP-DAC Pin-Chun Chen, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu
2023	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2023	Misc	`conf`	Person Identification with Wearable Sensing Using Missing Feature Encoding and Multi-Stage Modality Fusion. ICASSP Payal Mohapatra, Akash Pandey, Sinan Keten, Wei Chen, Qi Zhu
2023	A	`conf`	Safety-Assured Speculative Planning with Adaptive Prediction. IROS Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu
2023	J	`jnl`	Safety-Assured Speculative Planning with Adaptive Prediction. CoRR Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu
2023	—	`conf`	Safety-Driven Interactive Planning for Neural Network-Based Lane Changing. ASP-DAC Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu
2023	A*	`conf`	Semi-supervised Semantics-guided Adversarial Training for Robust Trajectory Prediction. ICCV Ruochen Jiao, Xiangguo Liu, Takami Sato, Qi Alfred Chen, Qi Zhu
2023	J	`jnl`	State-wise Safe Reinforcement Learning With Pixel Observations. CoRR Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
2023	J	`jnl`	System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. ACM Trans. Cyber Phys. Syst. 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
2023	—	`conf`	Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu
2022	J	`jnl`	A Dual Modality Approach For (Zero-Shot) Multi-Label Classification. CoRR Shichao Xu, Yikang Li, Jenhao Hsiao, Chiuman Ho, Qi Zhu
2022	J	`jnl`	A Tool for Neural Network Global Robustness Certification and Training. CoRR Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu
2022	J	`jnl`	A critical review of cyber-physical security for building automation systems. CoRR Guowen Li, Lingyu Ren, Yangyang Fu, Zhiyao Yang, Veronica Adetola, Jin Wen, Qi Zhu, Teresa Wu, K. Selçuk Candan, Zheng O'Neill
2022	—	`conf`	ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
2022	—	`conf`	Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances. BuildSys Shichao Xu, Yangyang Fu, Yixuan Wang, Zhuoran Yang, Zheng O'Neill, Zhaoran Wang, Qi Zhu
2022	—	`conf`	AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors. ASP-DAC Shuyue Lan, Zhilu Wang, John Mamish, Josiah D. Hester, Qi Zhu
2022	C	`conf`	CVGuard: Mitigating Application Attacks on Connected Vehicles. IV Ahmed Abdo, Guoyuan Wu, Qi Zhu, Nael B. Abu-Ghazaleh
2022	J	`jnl`	DSRC & C-V2X Comparison for Connected and Automated Vehicles in Different Traffic Scenarios. CoRR Yuanzhe Jin, Xiangguo Liu, Qi Zhu
2022	A*	`conf`	Design-while-verify: correct-by-construction control learning with verification in the loop. DAC Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
2022	A	`conf`	Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. DATE Zhilu Wang, Chao Huang, Qi Zhu
2022	J	`jnl`	Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. CoRR Zhilu Wang, Chao Huang, Qi Zhu
2022	J	`jnl`	Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. CoRR Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
2022	A*	`conf`	Federated Class-Incremental Learning. CVPR Jiahua Dong, Lixu Wang, Zhen Fang, Gan Sun, Shichao Xu, Xiao Wang, Qi Zhu
2022	J	`jnl`	Federated Class-Incremental Learning. CoRR Jiahua Dong, Lixu Wang, Zhen Fang, Gan Sun, Shichao Xu, Xiao Wang, Qi Zhu
2022	J	`jnl`	Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2. ACM Trans. Cyber Phys. Syst. Jingtong Hu, Qi Zhu, Susmit Jha
2022	J	`jnl`	Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. CoRR Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
2022	J	`jnl`	Neural Network based Interactive Lane Changing Planner in Dense Traffic with Safety Guarantee. CoRR Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu
2022	A*	`conf`	Non-Transferable Learning: A New Approach for Model Ownership Verification and Applicability Authorization. ICLR Lixu Wang, Shichao Xu, Ruiqi Xu, Xiao Wang, Qi Zhu
2022	B	`conf`	POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2022	—	`conf`	Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. ICCPS Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu
2022	J	`jnl`	Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. CoRR Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu
2022	J	`jnl`	Semi-supervised Semantics-guided Adversarial Training for Trajectory Prediction. CoRR Ruochen Jiao, Xiangguo Liu, Takami Sato, Qi Alfred Chen, Qi Zhu
2022	—	`conf`	Speech Disfluency Detection with Contextual Representation and Data Distillation. IASA@MobiSys Payal Mohapatra, Akash Pandey, Bashima Islam, Qi Zhu
2022	A	`conf`	TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor. IROS Ruochen Jiao, Xiangguo Liu, Bowen Zheng, Dave Liang, Qi Zhu
2022	J	`jnl`	TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor. CoRR Ruochen Jiao, Xiangguo Liu, Bowen Zheng, Dave Liang, Qi Zhu
2021	A	`conf`	Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. DATE Rumia Masburah, Rajib Lochan Jana, Ainuddin Khan, Shichao Xu, Shuyue Lan, Soumyajit Dey, Qi Zhu
2021	A*	`conf`	Addressing Class Imbalance in Federated Learning. AAAI Lixu Wang, Shichao Xu, Xiao Wang, Qi Zhu
2021	A	`conf`	Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu
2021	A	`conf`	Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous Driving. RTAS Jinliang Xie, Jie Tang, Yanzhi Wang, Qi Zhu, Shaoshan Liu
2021	C	`conf`	Co-designing Intelligent Control of Building HVACs and Microgrids. DSD Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu
2021	J	`jnl`	Co-designing Intelligent Control of Building HVACs and Microgrids. CoRR Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu
2021	A*	`conf`	Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
2021	J	`jnl`	Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. CoRR Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
2021	—	`conf`	Containerized framework for building control performance comparisons: model predictive control vs deep reinforcement learning control. BuildSys Yangyang Fu, Shichao Xu, Qi Zhu, Zheng O'Neill
2021	C	`conf`	Credibility Enhanced Temporal Graph Convolutional Network Based Sybil Attack Detection On Edge Computing Servers. IV Baiting Luo, Xiangguo Liu, Qi Zhu
2021	J	`jnl`	Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu
2021	J	`jnl`	Cross-Layer Design of Automotive Systems. IEEE Des. Test Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
2021	J	`jnl`	Deep Reinforcement Learning for Joint Datacenter and HVAC Load Control in Distributed Mixed-Use Buildings. IEEE Trans. Sustain. Comput. Tianshu Wei, Shaolei Ren, Qi Zhu
2021	C	`conf`	End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering. IV Ruochen Jiao, Hengyi Liang, Takami Sato, Junjie Shen, Qi Alfred Chen, Qi Zhu
2021	J	`jnl`	End-to-end Uncertainty-based Mitigation of Adversarial Attacks to Automated Lane Centering. CoRR Ruochen Jiao, Hengyi Liang, Takami Sato, Junjie Shen, Qi Alfred Chen, Qi Zhu
2021	J	`jnl`	Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1. ACM Trans. Cyber Phys. Syst. Jingtong Hu, Qi Zhu, Susmit Jha
2021	A*	`conf`	Invited: Towards Fully Intelligent Transportation through Infrastructure-Vehicle Cooperative Autonomous Driving: Challenges and Opportunities. DAC Shaoshan Liu, Bo Yu, Jie Tang, Qi Zhu
2021	—	`conf`	Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning. BuildSys Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu
2021	J	`jnl`	Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control. CoRR Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu
2021	J	`jnl`	Non-Transferable Learning: A New Approach for Model Verification and Authorization. CoRR Lixu Wang, Shichao Xu, Ruiqi Xu, Xiao Wang, Qi Zhu
2021	J	`jnl`	POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2021	—	`conf`	Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu
2021	C	`conf`	Securing Connected Vehicle Applications with an Efficient Dual Cyber- Physical Blockchain Framework. IV Xiangguo Liu, Baiting Luo, Ahmed Abdo, Nael B. Abu-Ghazaleh, Qi Zhu
2021	J	`jnl`	Securing Connected Vehicle Applications with an Efficient Dual Cyber-Physical Blockchain Framework. CoRR Xiangguo Liu, Baiting Luo, Ahmed Abdo, Nael B. Abu-Ghazaleh, Qi Zhu
2021	J	`jnl`	Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach. IEEE Internet Things J. Hyunjong Choi, Hyoseung Kim, Qi Zhu
2021	J	`jnl`	Towards Fully Intelligent Transportation through Infrastructure-Vehicle Cooperative Autonomous Driving: Challenges and Opportunities. CoRR Shaoshan Liu, Bo Yu, Jie Tang, Qi Zhu
2021	J	`jnl`	Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
2021	J	`jnl`	Weak Adaptation Learning - Addressing Cross-domain Data Insufficiency with Weak Annotator. CoRR Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu
2021	A*	`conf`	Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator. ICCV Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu
2020	J	`jnl`	Cross-Layer Design of Automotive Systems. CoRR Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
2020	J	`jnl`	Design and Analysis of Delay-Tolerant Intelligent Intersection Management. ACM Trans. Cyber Phys. Syst. Bowen Zheng, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu
2020	A*	`conf`	Distributed Multi-agent Video Fast-forwarding. ACM Multimedia Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu
2020	J	`jnl`	Distributed Multi-agent Video Fast-forwarding. CoRR Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu
2020	J	`jnl`	Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2020	B	`conf`	Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. RV Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu
2020	A	`conf`	Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. ICCAD Yixuan Wang, Chao Huang, Qi Zhu
2020	J	`jnl`	Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. CoRR Yixuan Wang, Chao Huang, Qi Zhu
2020	A	`conf`	GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. RTSS Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo, Samarjit Chakraborty
2020	C	`conf`	Impact of Sharing Driving Attitude Information: A Quantitative Study on Lane Changing. IV Xiangguo Liu, Neda Masoud, Qi Zhu
2020	A	`conf`	Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi
2020	A	`conf`	Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. ICCAD Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu
2020	J	`jnl`	Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. CoRR Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu
2020	A	`conf`	MaskPlus: Improving Mask Generation for Instance Segmentation. WACV Shichao Xu, Shuyue Lan, Qi Zhu
2020	—	`conf`	One for Many: Transfer Learning for Building HVAC Control. BuildSys Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu
2020	J	`jnl`	One for Many: Transfer Learning for Building HVAC Control. CoRR Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu
2020	A*	`conf`	Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
2020	J	`jnl`	Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
2020	B	`conf`	ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
2020	—	`conf`	SAW: A Tool for Safety Analysis of Weakly-Hard Systems. CAV (1) Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu
2020	J	`jnl`	SAW: A Tool for Safety Analysis of Weakly-hard Systems. CoRR Chao Huang, Kai-Chieh Chang, Chung-Wei Lin, Qi Zhu
2020	J	`jnl`	Towards Class Imbalance in Federated Learning. CoRR Lixu Wang, Shichao Xu, Xiao Wang, Qi Zhu
2020	J	`jnl`	Trajectory Planning for Connected and Automated Vehicles: Cruising, Lane Changing, and Platooning. CoRR Xiangguo Liu, Guangchen Zhao, Neda Masoud, Qi Zhu
2019	A	`conf`	Application level attacks on Connected Vehicle Protocols. RAID Ahmed Abdo, Sakib Md. Bin Malek, Zhiyun Qian, Qi Zhu, Matthew J. Barth, Nael B. Abu-Ghazaleh
2019	J	`jnl`	Eavesdrop the Composition Proportion of Training Labels in Federated Learning. CoRR Lixu Wang, Shichao Xu, Xiao Wang, Qi Zhu
2019	—	`conf`	Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu
2019	—	`conf`	Formal verification of weakly-hard systems. HSCC Chao Huang, Wenchao Li, Qi Zhu
2019	A	`conf`	Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems. RTAS Hyunjong Choi, Hyoseung Kim, Qi Zhu
2019	J	`jnl`	MaskPlus: Improving Mask Generation for Instance Segmentation. CoRR Shichao Xu, Shuyue Lan, Qi Zhu
2019	J	`jnl`	Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems. ACM Trans. Embed. Comput. Syst. Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2019	—	`ed.`	Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019 DESTION@CPSIoTWeek Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu
2019	J	`jnl`	ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
2019	J	`jnl`	ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
2019	C	`conf`	Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. ICCD Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu
2019	A	`conf`	Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu
2018	—	`conf`	A deep reinforcement learning framework for optimizing fuel economy of hybrid electric vehicles. ASP-DAC Pu Zhao, Yanzhi Wang, Naehyuck Chang, Qi Zhu, Xue Lin
2018	J	`jnl`	Codesign Methodologies and Tools for Cyber-Physical Systems. Proc. IEEE Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	Design Automation for Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li
2018	A	`conf`	Design Automation for Intelligent Automotive Systems. ITC Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu
2018	A*	`conf`	FFNet: Video Fast-Forwarding via Reinforcement Learning. CVPR Shuyue Lan, Rameswar Panda, Qi Zhu, Amit K. Roy-Chowdhury
2018	J	`jnl`	FFNet: Video Fast-Forwarding via Reinforcement Learning. CoRR Shuyue Lan, Rameswar Panda, Qi Zhu, Amit K. Roy-Chowdhury
2018	—	`conf`	Low Power and Trusted Machine Learning. ACM Great Lakes Symposium on VLSI Avesta Sasan, Qi Zhu, Yanzhi Wang, Jae-sun Seo, Tinoosh Mohsenin
2018	A	`conf`	Model-based and data-driven approaches for building automation and control. ICCAD Tianshu Wei, Xiaoming Chen, Xin Li, Qi Zhu
2018	A	`conf`	Network and system level security in connected vehicle applications. ICCAD Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu
2018	J	`jnl`	Peak-Aware Online Economic Dispatching for Microgrids. IEEE Trans. Smart Grid Ying Zhang, Mohammad Hassan Hajiesmaili, Sinan Cai, Minghua Chen, Qi Zhu
2018	J	`jnl`	Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations. IEEE Trans. Sustain. Comput. Mingsong Chen, Xinqian Zhang, Haifeng Gu, Tongquan Wei, Qi Zhu
2017	—	`conf`	Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. NOCS Hengyi Liang, Zhilu Wang, Bowen Zheng, Qi Zhu
2017	J	`jnl`	An optimal energy co-scheduling framework for smart buildings. Integr. Tiansong Cui, Shuang Chen, Yanzhi Wang, Qi Zhu, Shahin Nazarian, Massoud Pedram
2017	A*	`conf`	Deep Reinforcement Learning for Building HVAC Control. DAC Tianshu Wei, Yanzhi Wang, Qi Zhu
2017	J	`jnl`	Deep Reinforcement Learning: Framework, Applications, and Embedded Implementations. CoRR Hongjia Li, Tianshu Wei, Ao Ren, Qi Zhu, Yanzhi Wang
2017	A	`conf`	Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper. ICCAD Hongjia Li, Tianshu Wei, Ao Ren, Qi Zhu, Yanzhi Wang
2017	B	`conf`	Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. SMARTCOMP Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu
2017	J	`jnl`	Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu
2017	A*	`conf`	Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. DAC Qi Zhu, Hengyi Liang, Licong Zhang, Debayan Roy, Wenchao Li, Samarjit Chakraborty
2017	J	`jnl`	Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S., Qi Zhu
2017	J	`jnl`	Guest Editorial: Special Issue on Smart Homes, Buildings and Infrastructures. ACM Trans. Cyber Phys. Syst. Xin Li, Shiyan Hu, Qi Zhu
2017	J	`jnl`	Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou
2017	A	`conf`	Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper). ICCAD Bowen Zheng, Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu
2016	J	`jnl`	Adaptive Algorithm and Platform Selection for Visual Detection and Tracking. CoRR Shu Zhang, Qi Zhu, Amit K. Roy-Chowdhury
2016	B	`conf`	Adaptive algorithm selection, with applications in pedestrian detection. ICIP Shu Zhang, Qi Zhu, Amit K. Roy-Chowdhury
2016	J	`jnl`	An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems. IEEE Trans. Computers Peng Deng, Qi Zhu, Abhijit Davare, Anastasios I. Mourikis, Xue Liu, Marco Di Natale
2016	A	`conf`	Analysis of production data manipulation attacks in petroleum cyber-physical systems. ICCAD Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu, Wenchao Li, Shiyan Hu
2016	J	`jnl`	Automotive Cyber-Physical Systems: A Tutorial Introduction. IEEE Des. Test Samarjit Chakraborty, Mohammad Abdullah Al Faruque, Wanli Chang, Dip Goswami, Marilyn Wolf, Qi Zhu
2016	A	`conf`	CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. ICCAD Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu
2016	—	`conf`	Co-scheduling of datacenter and HVAC loads in mixed-use buildings. IGSC Tianshu Wei, Mohammad A. Islam, Shaolei Ren, Qi Zhu
2016	C	`conf`	Co-scheduling of flexible energy loads in building clusters. ISCAS Tianshu Wei, Qi Zhu
2016	J	`jnl`	Cross-Layer Codesign for Secure Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bowen Zheng, Peng Deng, Anguluri Rajasekhar, Qi Zhu, Fabio Pasqualetti
2016	B	`conf`	Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization. RTCSA Hang Su, Peng Deng, Dakai Zhu, Qi Zhu
2016	—	`conf`	Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. ISVLSI Bowen Zheng, Hengyi Liang, Qi Zhu, Huafeng Yu, Chung-Wei Lin
2016	—	`conf`	Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation. ASP-DAC Tiansong Cui, Shuang Chen, Yanzhi Wang, Qi Zhu, Shahin Nazarian, Massoud Pedram
2016	J	`jnl`	Proactive Demand Participation of Smart Buildings in Smart Grid. IEEE Trans. Computers Tianshu Wei, Qi Zhu, Nanpeng Yu
2015	—	`conf`	A model-based synthesis flow for automotive CPS. ICCPS Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng
2015	Misc	`conf`	Analysis and optimization of soft error tolerance strategies for real-time systems. CODES+ISSS Bowen Zheng, Yue Gao, Qi Zhu, Sandeep K. Gupta
2015	J	`jnl`	Design and Operation of Secure Cyber-Physical Systems. IEEE Embed. Syst. Lett. Fabio Pasqualetti, Qi Zhu
2015	A*	`conf`	Design and verification for transportation system security. DAC Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar
2015	—	`conf`	From passive demand response to proactive demand participation. CASE Nanpeng Yu, Tianshu Wei, Qi Zhu
2015	A*	`conf`	Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation. DAC Tiansong Cui, Yanzhi Wang, Shuang Chen, Qi Zhu, Shahin Nazarian, Massoud Pedram
2015	A	`conf`	PeerWave: Exploiting Wavefront Parallelism on GPUs with Peer-SM Synchronization. ICS Mehmet E. Belviranli, Peng Deng, Laxmi N. Bhuyan, Rajiv Gupta, Qi Zhu
2015	—	`conf`	Proactive demand participation of heterogeneous flexible loads in smart grid. IGSC Tianshu Wei, Qi Zhu
2015	A	`conf`	Security Analysis of Proactive Participation of Smart Buildings in Smart Grid. ICCAD Tianshu Wei, Bowen Zheng, Qi Zhu, Shiyan Hu
2015	J	`jnl`	Security-Aware Design Methodology and Optimization for Automotive Systems. ACM Trans. Design Autom. Electr. Syst. Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems. IEEE Embed. Syst. Lett. Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2015	A	`conf`	Task placement and selection of data consistency mechanisms for real-time multicore applications. RTAS Zaid Al-bayati, Youcheng Sun, Haibo Zeng, Marco Di Natale, Qi Zhu, Brett H. Meyer
2014	A*	`conf`	Battery Management and Application for Energy-Efficient Buildings. DAC Tianshu Wei, Taeyoung Kim, Sangyoung Park, Qi Zhu, Sheldon X.-D. Tan, Naehyuck Chang, Sadrul Ula, Mehdi Maasoumy
2014	A	`conf`	Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency. ICCAD Tianshu Wei, Qi Zhu, Mehdi Maasoumy
2014	—	`conf`	Design synthesis and optimization for automotive embedded systems. ISPD Qi Zhu, Peng Deng
2014	A	`conf`	Lifetime optimization for real-time embedded systems considering electromigration effects. ICCAD Taeyoung Kim, Bowen Zheng, Hai-Bao Chen, Qi Zhu, Valeriy Sukharev, Sheldon X.-D. Tan
2014	A	`conf`	MSim: A general cycle accurate simulation platform for memcomputing studies. DATE Chun Zhang, Peng Deng, Hui Geng, Jianming Liu, Qi Zhu, Jinjun Xiong, Yiyu Shi
2014	Misc	`conf`	Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee
2014	J	`jnl`	Minimizing Stack and Communication Memory Usage in Real-Time Embedded Applications. ACM Trans. Embed. Comput. Syst. Haibo Zeng, Marco Di Natale, Qi Zhu
2014	—	`conf`	Model-based synthesis for real-time embedded systems. MWSCAS Qi Zhu
2014	J	`jnl`	Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2014	A	`conf`	Security-aware mapping for TDMA-based real-time distributed systems. ICCAD Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2014	—	`conf`	Task synthesis for latency-sensitive synchronous block diagram. SIES Peng Deng, Qi Zhu, Marco Di Natale, Haibo Zeng
2014	—	`conf`	WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. ICCPS Peng Deng, Anastasios I. Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale
2013	—	`conf`	Co-design of control algorithm and embedded platform for building HVAC systems. ICCPS Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli
2013	A	`conf`	Robust and extensible task implementations of synchronous finite state machines. DATE Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng
2013	A	`conf`	Security-aware mapping for CAN-based real-time distributed automotive systems. ICCAD Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli
2013	J	`jnl`	metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
2012	J	`jnl`	Development of Building Automation and Control Systems. IEEE Des. Test Comput. Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2012	C	`conf`	Optimizing stack memory requirements for real-time embedded applications. ETFA Haibo Zeng, Marco Di Natale, Qi Zhu
2010	A	`conf`	A Design Flow for Building Automation and Control Systems. RTSS Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu
2010	J	`jnl`	Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Ind. Informatics Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli
2009	A	`conf`	Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2007	A	`conf`	Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. RTSS Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2007	A*	`conf`	Period Optimization for Hard Real-time Distributed Automotive Systems. DAC Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2006	C	`conf`	A semantic-driven synthesis flow for platform-based design. MEMOCODE Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli
2006	A*	`conf`	SAT sweeping with local observability don't-cares. DAC Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. ESTIMedia Abhijit Davare, Qi Zhu, John Moondanos, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	Spanning graph-based nonrectilinear steiner tree algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong, Yang Yang
2005	—	`conf`	Via-Aware Global Routing for Good VLSI Manufacturability and High Yield. ASAP Yang Yang, Tong Jing, Xianlong Hong, Yu Hu, Qi Zhu, Xiaodong Hu, Guiying Yan
2004	—	`conf`	Efficient octilinear Steiner tree construction based on spanning graphs. ASP-DAC Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong, Yang Yang