| emsoft | participants

Jiangchao Liu

EMSOFT 2022: 22nd International Conference on Embedded Software

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement

Banghu Yin, Liqian Chen, Jiangchao Liu, and Ji Wang

EMSOFT 2018: 18th International Conference on Embedded Software

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions

Jiangchao Liu, Liqian Chen, and Xavier Rival