| 2024 | ICWS | Collect Fresh Data@Edge: with Freshness-Sensitive Server Placement & Traffic Management Strategies. | Yimin Jiao, Yue Yang, Honghao Gao, Dezhi Wang, Zhengzhe Xiang, Yufei Zhang |
| 2024 | ICWS | Providing Sustainable Unmanned Facial Detection and Recognition Service on Edge. | Zhengzhe Xiang, Xizi Xue, Dongjing Wang, Yuanyi Chen, Zengwei Zheng, Honghao Gao |
| 2023 | ICWS | Cost-effective Service Deployment and Balanced Traffic Management on Edge. | Zhengzhe Xiang, Hao Yan, Yueshen Xu, Honghao Gao, Shuiguang Deng |
| 2020 | ICWS | Computing Power Allocation and Traffic Scheduling for Edge Service Provisioning. | Zhengzhe Xiang, Shuiguang Deng, Fangqiao Jiang, Honghao Gao, Javid Taheri, Jianwei Yin |
| 2019 | ICWS | Data-Intensive Application Deployment at Edge: A Deep Reinforcement Learning Approach. | Yishan Chen, Shuiguang Deng, Hailiang Zhao, Qiang He, Ying Li, Honghao Gao |
| 2018 | ICWS | MeCo-TSM: Multi-Entity Complex Process-Oriented Service Modeling Method. | Ying Li, Meng Xi, Yuyu Yin, Zhiling Luo, Honghao Gao, Jianwei Yin |
| 2018 | SEKE | A Novel Hybrid Collaborative Filtering Approach to Recommendation Using Reviews: The Product Attribute Perspective (S). | Min Cao, Sijing Zhou, Honghao Gao, Youhuizi Li |
| 2017 | Mobiquitous | An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective. | Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao |
| 2017 | SEKE | Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph. | Lixu Shao, Yucong Duan, Xiaobing Sun, Honghao Gao, Donghai Zhu, Weikai Miao |
| 2017 | SEKE | Applying Probability Model to The Genetic Algorithm Based Cloud Rendering Task Scheduling. | Guobin Zhang, Huahu Xu, Honghao Gao, Ankang Liu |
| 2016 | SERA | Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. | Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao |
| 2016 | SERVICES | The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary. | Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao |
| 2015 | ICWS | Manifold-Learning Based API Recommendation for Mashup Creation. | Wei Gao, Liang Chen, Jian Wu, Honghao Gao |
| 2015 | SNPD | Test suite reduction for mutation testing based on formal concept analysis. | Liping Li, Honghao Gao |
| 2015 | SNPD | Survivability prediction of web system based on log statistics. | Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao |
| 2015 | SERVICES | IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary. | Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao |
| 2014 | ICWS | Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. | Honghao Gao, Huaikou Miao, Hongwei Zeng |
| 2014 | SNPD | A requirements description language pLSC for probabilistic branches and three-stage events. | Jinyu Kai, Huaikou Miao, Honghao Gao |
| 2014 | SERVICES | IEEE 2014 Fourth International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2014) Workshop Summary. | Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao |
| 2013 | SNPD | A Quantitative Model-Based Selection of Web Service Reconfiguration. | Honghao Gao, Huaikou Miao |
| 2012 | SNPD | An Approach to Modeling and Verifying Router-Based Network. | Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao |
| 2012 | SNPD | Test Suite Reduction Using Weighted Set Covering Techniques. | Shengwei Xu, Huaikou Miao, Honghao Gao |
| 2011 | APSCC | Generating Quantitative Test Cases for Probabilistic Timed Web Service Composition. | Honghao Gao, Ying Li |
| 2011 | SERVICES | Probabilistic Timed Model Checking for Atomic Web Service. | Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei |
| 2011 | TASE | Research on Web Service Composition Using Probabilistic Abstraction Refinement. | Honghao Gao, Huaikou Miao, Hongwei Zeng |