| emsoft | participants

Liqian Chen

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

EMSOFT 2015: 15th International Conference on Embedded Software

Numerical Static Analysis of Interrupt-driven Programs via Sequentialization

Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, and Ji Wang