Zhilu Wang

41 papers A* 8A 5C 1Misc 1Journal 19Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
ERW-Radar: An Adaptive Detection System against Evasive Ransomware by Contextual Behavior Detection and Fine-grained Content Analysis.
NDSS
Lingbo Zhao, Yuhui Zhang, Zhilu Wang, Fengkai Yuan, Rui Hou
2025 J jnl
Exploring the ransomware ecosystem and the active defense concept: Review of attacks and defense.
J. Inf. Secur. Appl.
Lingbo Zhao, Zhilu Wang, Shuquan Wang, Yuhui Zhang, Rui Hou, Dan Meng
2025 J jnl
GSFL: A Privacy-Preserving Grouping-Split Federated Learning Approach in Resource-Constrained Edge Computing Scenarios.
ACM Trans. Auton. Adapt. Syst.
Qi Liu, Zhilu Wang, Xiaokang Zhou, Yonghong Zhang, Xiaodong Liu, Haiyang Lin
2025 Misc conf
RanDoctor: System-Level Ransomware Detection with ProbSparse Self-Attention.
ICASSP
Zhilu Wang, Peinan Li, Lingbo Zhao, Fengkai Yuan, Rui Hou, Dan Meng
2025 — conf
RanHunter: Advancing Ransomware Detection with Channel Attention and Multi-head Attention.
ICIC (4)
Zhilu Wang, Peinan Li, Lingbo Zhao, Fengkai Yuan, Rui Hou, Dan Meng
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 — conf
FedCST: Federated Learning on Heterogeneous Resource-constrained Devices Using Clustering and Split Training.
QRS Companion
Zhilu Wang, Haiyang Lin, Qi Liu, Yonghong Zhang, Xiaodong Liu
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 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
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
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).
IJCAI
Zhilu Wang, Chao Huang, 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 — 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
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
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 — conf
AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors.
ASP-DAC
Shuyue Lan, Zhilu Wang, John Mamish, Josiah D. Hester, 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 J jnl
Scanning of Bridge Surface Roughness from Two-Axle Vehicle Response by EKF-UI and Contact Residual: Theoretical Study.
Sensors
Yeong-Bin Yang, Baoquan Wang, Zhilu Wang, Kang Shi, Hao Xu
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
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 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 — 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 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
2020 J jnl
Cross-Layer Design of Automotive Systems.
CoRR
Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
2020 J jnl
Design of a Wireless Router with Virtual Channel Fault Tolerant in WiNoC.
J. Circuits Syst. Comput.
Yiming Ouyang, Wu Zhou, Sheng Li, Zhilu Wang, Huaguo Liang, Gaoming Du
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 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
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
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
2018 A conf
Design Automation for Intelligent Automotive Systems.
ITC
Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu
2017 — conf
Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems.
NOCS
Hengyi Liang, Zhilu Wang, Bowen Zheng, Qi Zhu
2012 — conf
Evaluating System of Treatment of Quercetin and Resveratrol Mixture in Type 2 Diabetic Rats.
ICICA (2)
Yan Jiang, Zhilu Wang, Jinxiu Chu, Hong Yu, Ting Han, Xin Zhao, Shuying Han