A symbolic model checking approach to verifying satellite onboard software. - Xiang Gan; Jori Dubrovin; Keijo Heljanko (Sci. Comput. Program., 2014)

Transferable Adversarial Perturbations. - Wen Zhou; Xin Hou; Yongjun Chen; Mengyun Tang; Xiangqi Huang; Xiang Gan; Yong Yang (ECCV (14), 2018)