| 2025 | ICTAI | OEMLLM: Ophthalmology Expert MLLM for Various Fundus Disease Assisted Diagnosis. | Junfeng Sun, Yunchao Gu, Xinliang Wang |
| 2024 | MICCAI | Bag of Tricks for Ultra-widefield Fundus Image Quality Assessment. | Junfeng Sun, Xinliang Wang, Yunchao Gu |
| 2023 | COMPSAC | Enhancing the Formal Verification of Train Control Systems based on Decomposition. | Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun |
| 2021 | IJCNN | Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. | Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang |
| 2021 | TASE | Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. | Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang |
| 2020 | TrustCom | Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. | Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun |
| 2018 | ICNC | Improved BPA based Multi-source Nonhomogeneous Continuous Context Inconsistency Resolution Approach. | Lingling Pan, Hongji Xu, Min Chen, Yingming Zhou, Junfeng Sun |
| 2017 | APSEC | Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. | Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun |
| 2016 | COMPSAC | Safety Requirements Specification and Verification for Railway Interlocking Systems. | Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen |
| 2015 | ICSE | Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems. | Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun |
| 2014 | APSEC | Formal Design and Verification of Zone Controller. | Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun |
| 2012 | ICDM | Socialized Gaussian Process Model for Human Behavior Prediction in a Health Social Network. | Yelong Shen, Ruoming Jin, Dejing Dou, Nafisa Afrin Chowdhury, Junfeng Sun, Brigitte Piniewski, David Kil |