| 2025 | ICASSP | Robust and Efficient Text-based Speech Editing using Noise Conditioning and Rectified Flow. | Haowen Yin, Kai Wang, Hongli Yang, Hao Huang, Wushour Silamu |
| 2025 | Interspeech | Language-Aware Prompt Tuning for Parameter-Efficient Seamless Language Expansion in Multilingual ASR. | Hongli Yang, Sheng Li, Hao Huang, Ayiduosi Tuohan, Yizhou Peng |
| 2025 | Interspeech | Adapting Whisper for Parameter-efficient Code-Switching Speech Recognition via Soft Prompt Tuning. | Hongli Yang, Yizhou Peng, Hao Huang, Sheng Li |
| 2020 | ICCE | High School Students' Online Engagement During the Covid-19 Pandemic in China. | Hongli Yang, Hanyong Liu, Chunping Zheng |
| 2017 | ICFEM | Detecting Energy Bugs in Android Apps Using Static Analysis. | Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan |
| 2016 | SETTA | Identifying XML Schema Constraints Using Temporal Logic. | Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu |
| 2014 | TASE | Choreography Scenario-Based Test Data Generation. | Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin |
| 2013 | TASE | Towards Conformance Testing of Choreography Based on Scenario. | Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang |
| 2012 | ICECCS | Performance Analysis of Data Gathering Protocol Using PRISM. | Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu |
| 2011 | APSCC | Generating Scenarios from Web Service Choreography. | Ke Zhang Ke, Zongyan Qiu, Hongli Yang |
| 2011 | TASE | Analysis of WS-BPEL Processes in PRISM. | Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu |
| 2009 | TASE | Enforcing Constraints on Life Cycles of Business Artifacts. | Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu |
| 2008 | ICFEM | Correct Channel Passing by Construction. | Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
| 2008 | ICWS | A Formal Model of Human Workflow. | Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang |
| 2008 | TASE | Reasoning about Channel Passing in Choreography. | Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu |
| 2007 | FORTE | Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
| 2007 | WWW | Towards the theoretical foundation of choreography. | Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang |
| 2006 | ICFEM | Type Checking Choreography Description Language. | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
| 2006 | ICWS | A Formal Model forWeb Service Choreography Description Language (WS-CDL). | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
| 2006 | ISoLA | Patterns with Algebraic Properties in BPEL0. | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |