Xiaoxin An

According to our database, Xiaoxin An authored at least 3 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

DSV: Disassembly Soundness Validation Without Assuming a Ground Truth.

Xiaoxin An, Freek Verbeek, Binoy Ravindran

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

A Validation Methodology for OCaml-to-PVS Translation.

Xiaoxin An, Amer Tahat, Binoy Ravindran

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2015

Efficient terrain data coding for rendering on mobile devices.

Yankui Sun, Xiaoxin An, Zi Ye, Zhongyang Sun

Proceedings of the IEEE International Symposium on Signal Processing and Information Technology, 2015