Sign in
Xiaoxin An
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Ground Truth
Top Venues
NFM
ISSPIT
</>
Publications
</>
Xiaoxin An
,
Freek Verbeek
,
Binoy Ravindran
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth.
NFM
(2022)
Xiaoxin An
,
Amer Tahat
,
Binoy Ravindran
A Validation Methodology for OCaml-to-PVS Translation.
NFM
(2020)
Yankui Sun
,
Xiaoxin An
,
Zi Ye
,
Zhongyang Sun
Efficient terrain data coding for rendering on mobile devices.
ISSPIT
(2015)