default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhilu Wang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]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)- [j5]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) - [c19]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 - [c18]Zhilu Wang, Haiyang Lin, Qi Liu, Yonghong Zhang, Xiaodong Liu:
FedCST: Federated Learning on Heterogeneous Resource-constrained Devices Using Clustering and Split Training. QRS Companion 2024: 786-792 - 2023
- [c17]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 - [c16]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 - [c15]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). IJCAI 2023: 6498-6503 - [i11]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) - [i10]Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu:
Collaborative Multi-Agent Video Fast-Forwarding. CoRR abs/2305.17569 (2023) - 2022
- [j4]Y. B. Yang, Baoquan Wang, Zhilu Wang, Kang Shi, Hao Xu:
Scanning of Bridge Surface Roughness from Two-Axle Vehicle Response by EKF-UI and Contact Residual: Theoretical Study. Sensors 22(9): 3410 (2022) - [c14]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 - [c13]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 - [c12]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. DATE 2022: 1087-1092 - [i9]Zhilu Wang, Chao Huang, Qi Zhu:
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. CoRR abs/2203.14141 (2022) - [i8]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) - [i7]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) - 2021
- [j3]Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu:
Cross-Layer Design of Automotive Systems. IEEE Des. Test 38(5): 8-16 (2021) - [j2]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) - [c11]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 - [c10]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 - [c9]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 - [i6]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) - [i5]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) - 2020
- [j1]Yiming Ouyang, Wu Zhou, Sheng Li, Zhilu Wang, Huaguo Liang, Gaoming Du:
Design of a Wireless Router with Virtual Channel Fault Tolerant in WiNoC. J. Circuits Syst. Comput. 29(10): 2050171:1-2050171:27 (2020) - [c8]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 - [c7]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 - [c6]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 - [c5]Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu:
Distributed Multi-agent Video Fast-forwarding. ACM Multimedia 2020: 1075-1084 - [i4]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) - [i3]Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu:
Cross-Layer Design of Automotive Systems. CoRR abs/2005.11842 (2020) - [i2]Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu:
Distributed Multi-agent Video Fast-forwarding. CoRR abs/2008.04437 (2020) - [i1]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)
2010 – 2019
- 2019
- [c4]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 - 2018
- [c3]Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu:
Design Automation for Intelligent Automotive Systems. ITC 2018: 1-10 - 2017
- [c2]Hengyi Liang, Zhilu Wang, Bowen Zheng, Qi Zhu:
Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. NOCS 2017: 10:1-10:8 - 2012
- [c1]Yan Jiang, Zhilu Wang, Jinxiu Chu, Hong Yu, Ting Han, Xin Zhao, Shuying Han:
Evaluating System of Treatment of Quercetin and Resveratrol Mixture in Type 2 Diabetic Rats. ICICA (2) 2012: 583-589
Coauthor Index
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 2025-02-12 01:07 CET 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:
