| emsoft | participants

Wei Dong

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