| 2026 | ITP | Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. | Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff |
| 2025 | ICCV | Semantics Versus Identity: A Divide-and-Conquer Approach Towards Adjustable Medical Image De-Identification. | Yuan Tian, Shuo Wang, Rongzhao Zhang, Zijian Chen, Yankai Jiang, Chunyi Li, Xiangyang Zhu, Fang Yan, Qiang Hu, Xiaosong Wang, Guangtao Zhai |
| 2024 | CSCWD | End-to-end intelligent MCS selection algorithm. | Xiaosong Xue, Wei Pan, Fang Yan, Na Li |
| 2024 | MICCAI | PathoTune: Adapting Visual Foundation Model to Pathological Specialists. | Jiaxuan Lu, Fang Yan, Xiaofan Zhang, Yue Gao, Shaoting Zhang |
| 2023 | ICECCS | Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. | Fang Yan, Simon Foster, Ibrahim Habli |
| 2022 | MODELSWARD | Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases. | Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei |
| 2021 | ISSRE | Generation and Verification of Executable Assurance Case by Model-based Engineering. | Fang Yan |
| 2018 | ICA3PP | Security Extension and Robust Upgrade of Smart-Watch Wi-Fi Controller Firmware. | Wencong Han, Quanxin Zhang, Chongzhi Gao, Jingjing Hu, Fang Yan |
| 2018 | MICCAI | Deep Random Walk for Drusen Segmentation from Fundus Images. | Fang Yan, Jia Cui, Yu Wang, Hong Liu, Hui Liu, Benzheng Wei, Yilong Yin, Yuanjie Zheng |
| 2012 | APCC | Experimental demonstration of sub-carrier multiplexing-based MIMO-OFDM system for visible light communication. | Fang Yan, Yuanquan Wang, Yufeng Shao, Yiguang Wang, Li Tao, Nan Chi, Minglun Zhang |
| 2012 | PDCAT | Energy Aware Data Layout for De-duplication System. | Fang Yan, Yu-An Tan, Qinggang Liang, Ningning Xing, Yaolei Wang, Xiang Zhang |