| 2025 | ICASSP | RanDoctor: System-Level Ransomware Detection with ProbSparse Self-Attention. | Zhilu Wang, Peinan Li, Lingbo Zhao, Fengkai Yuan, Rui Hou, Dan Meng |
| 2025 | NDSS | ERW-Radar: An Adaptive Detection System against Evasive Ransomware by Contextual Behavior Detection and Fine-grained Content Analysis. | Lingbo Zhao, Yuhui Zhang, Zhilu Wang, Fengkai Yuan, Rui Hou |
| 2025 | SecureComm | Insights into Ransomware Detection based on Semantic Understanding. | Lingbo Zhao, Shuquan Wang, Zhilu Wang, Yuhui Zhang, Rui Hou |
| 2024 | AAAI | REGLO: Provable Neural Network Repair for Global Robustness Properties. | Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li |
| 2024 | QRS | FedCST: Federated Learning on Heterogeneous Resource-constrained Devices Using Clustering and Split Training. | Zhilu Wang, Haiyang Lin, Qi Liu, Yonghong Zhang, Xiaodong Liu |
| 2023 | ICML | Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. | Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu |
| 2023 | IJCAI | Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). | Zhilu Wang, Chao Huang, Qi Zhu |
| 2022 | ASPDAC | AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors. | Shuyue Lan, Zhilu Wang, John Mamish, Josiah D. Hester, Qi Zhu |
| 2022 | DAC | Design-while-verify: correct-by-construction control learning with verification in the loop. | Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu |
| 2022 | DATE | Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. | Zhilu Wang, Chao Huang, Qi Zhu |
| 2021 | ASPDAC | Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. | Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu |
| 2021 | DAC | Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. | Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu |
| 2021 | DATE | Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. | Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu |
| 2020 | DAC | Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. | Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu |
| 2020 | ICCAD | Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. | Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi |
| 2020 | ICCAD | Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. | Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu |
| 2019 | ICCD | Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. | Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu |
| 2018 | ITC | Design Automation for Intelligent Automotive Systems. | Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu |