Zhilu Wang

Orcid: 0000-0002-6645-262X

According to our database1, Zhilu Wang authored at least 26 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

Collaborative Multi-Agent Video Fast-Forwarding.
IEEE Trans. Multim., 2024

REGLO: Provable Neural Network Repair for Global Robustness Properties.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.
Proceedings of the International Conference on Machine Learning, 2023

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022
Scanning of Bridge Surface Roughness from Two-Axle Vehicle Response by EKF-UI and Contact Residual: Theoretical Study.
Sensors, 2022

A Tool for Neural Network Global Robustness Certification and Training.
CoRR, 2022

Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Design-while-verify: correct-by-construction control learning with verification in the loop.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors.
Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping.
ACM Trans. Embed. Comput. Syst., 2021

Cross-Layer Design of Automotive Systems.
IEEE Des. Test, 2021

Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
CoRR, 2021

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems.
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020
Design of a Wireless Router with Virtual Channel Fault Tolerant in WiNoC.
J. Circuits Syst. Comput., 2020

Distributed Multi-agent Video Fast-forwarding.
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018
Design Automation for Intelligent Automotive Systems.
Proceedings of the IEEE International Test Conference, 2018

2017
Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems.
Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017

2012
Evaluating System of Treatment of Quercetin and Resveratrol Mixture in Type 2 Diabetic Rats.
Proceedings of the Information Computing and Applications - Third International Conference, 2012


  Loading...