| emsoft | participants

Chao Huang

EMSOFT 2021: 21st International Conference on Embedded Software

Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping

Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, and Qi Zhu

EMSOFT 2020: 20th International Conference on Embedded Software

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, and Qi Zhu

EMSOFT 2019: 19th International Conference on Embedded Software

ReachNN: Reachability Analysis of Neural-Network Controlled Systems

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, and Qi Zhu

EMSOFT 2017: 17th International Conference on Embedded Software

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, and Xuandong Li