8 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 6 cited
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi +3
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical dom…
cs.LO2012★ 8 cited
First steps towards the certification of an ARM simulator using Compcert
Xiaomu Shi, Jean-François Monin, Frederic Tuong +1
The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hard…