| 2025 | ICECCS | Checking Linearizability of Multi-core Task Management and Scheduling System. | Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv |
| 2023 | TASE | VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. | Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang |
| 2022 | ITP | Compositional Verification of Interacting Systems Using Event Monads. | Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia |
| 2021 | DASC | Research on Modeling of E-banking Fraud Account Identification Based on Federated Learning. | Boliang Lv, Peizhe Cheng, Cheng Zhang, Hong Ye, Xianzhe Meng, Xiao Wang |
| 2019 | EDUCON | Thinking Maps in Teaching Analogue Circuits Concepts Applied to Electronic Engineering: A Four-Year Case Study at UESTC, China. | Yuanwang Yang, Changjiang You, Hong Ye, Weijian Chen, Yiru Zhang |
| 2018 | Interspeech | Active Learning for LF-MMI Trained Neural Networks in ASR. | Yanhua Long, Hong Ye, Yijie Li, Jiaen Liang |
| 2017 | QRS | A Model Driven Approach for Device Driver Development. | Yunwei Dong, Yuanyuan He, Yin Lu, Hong Ye |
| 2016 | QRS | A Wireless Power Transfer CPS Based on 2D Omni-directional Rotating Magnetic Field. | Pengpeng Sun, Yunwei Dong, Hong Ye, Hongbin Zhao |
| 2015 | TASE | QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. | Xiaomin Wei, Yunwei Dong, Hong Ye |
| 2014 | RTCSA | Hazard analysis for AADL model. | Xiaomin Wei, Yunwei Dong, Mengmeng Yang, Ning Hu, Hong Ye |
| 2012 | ICNC | The recognition of train wheel tread damages based on PSO-RBFNN algorithm. | Yong Zhao, Hong Ye, Zheng-sheng Kang, Song-shan Shi, Lin Zhou |
| 2012 | UIC | On Enhancing Adaptive Random Testing for AADL Model. | Bo Sun, Yunwei Dong, Hong Ye |
| 2011 | COMPSAC | Semantic-Based Test Oracles. | Xiaoying Bai, Kejia Hou, Hao Lu, Yao Zhang, Linping Hu, Hong Ye |
| 2011 | COMPSAC | Interface-Based Automated Testing for Open Software Architecture. | Xiaoying Bai, Hao Lu, Yao Zhang, Renwei Zhang, Linping Hu, Hong Ye |
| 2010 | SMC | Foot age estimation by gait sole pressure changes. | Takahiro Takeda, Hong Ye, Kazuhiko Taniguchi, Kazunari Asari, Yoshitada Sakai, Kei Kuramoto, Syoji Kobashi, Yutaka Hata |
| 2008 | HAIS | Extracting Multi-knowledge from fMRI Data through Swarm-Based Rough Set Reduction. | Hongbo Liu, Ajith Abraham, Hong Ye |
| 2006 | ICARCV | DC-Modulated Power Factor Correction on AC/AC Luo-Converter. | Fang Lin Luo, Hong Ye |
| 2003 | ISCAS | Global optimization of neural network weights using subenergy tunneling function and ripple search. | Hong Ye, Zhiping Lin |
| 2003 | SAC | An Integrated Framework for Formal Development of Open Distributed Systems. | Issa Traor, Demissie B. Aredo, Hong Ye |