Xiang Gan

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Formal Specification

Binary Decision Diagrams

Software Systems

Partial Observability

Top Venues

Sci. Comput. Program.

Publications

Wen Zhou, Xin Hou, Yongjun Chen, Mengyun Tang, Xiangqi Huang, Xiang Gan, Yong Yang
Transferable Adversarial Perturbations. ECCV (14) (2018)
Xiang Gan, Jori Dubrovin, Keijo Heljanko
A symbolic model checking approach to verifying satellite onboard software. Sci. Comput. Program. 82 (2014)
Xiang Gan, Jori Dubrovin, Keijo Heljanko
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)