Towards Model-based Verification of BPEL with Model Checking. - Honghua Cao; Shi Ying; Dehui Du (CIT, 2006)

A New Architecture Description Language for Service-Oriented Architec. - Xiangyang Jia; Shi Ying; Tao Zhang; Honghua Cao; Dan Xie (GCC, 2007)

A Rigorous Model of Contract-Based Service Component Architecture. - Dehui Du; Jing Liu 012; Honghua Cao (CSSE (2), 2008)

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. - Dehui Du; Jing Liu 012; Honghua Cao; Miaomiao Zhang 003 (TTSS, 2008)

Impact of Intelligent Financial Applications on customer satisfaction. - Feng Wu; Nusanee Meekaewkunchorn; Honghua Cao; Chaiyawit Muangmee (ICEMC, 2022)

Evaluating the Marketing Strategy of Sports and Fitness Enterprises based on 4C Marketing Theory. - Haohai Wang; Chaiyawit Muangmee; Nusanee Meekaewkunchorn; Honghua Cao; Tatchapong Sattabut (MSIE, 2022)