Research on Web Service Composition Using Probabilistic Abstraction Refinement. - Honghao Gao; Huaikou Miao; Hongwei Zeng 004 (TASE, 2011)

Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. - Honghao Gao; Huaikou Miao; Hongwei Zeng 004 (ICWS, 2014)

A chain algorithm for conformance testing based on UIO sequences. - Weiwei Lin 003; Hongwei Zeng 004 (SNPD, 2015)

The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment. - Yu Wong; Hongwei Zeng 004; Huaikou Miao; Honghao Gao; Xiaoxian Yang (CollaborateCom, 2018)

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things. - Weiwei Lin 003; Hongwei Zeng 004; Honghao Gao; Huaikou Miao; Xiaolin Wang (Secur. Commun. Networks, 2018)

Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation. - Xiaolin Wang; Hongwei Zeng 004; Honghao Gao; Huaikou Miao; Weiwei Lin 003 (Mob. Inf. Syst., 2019)

Test Sequence Generation Based on Chain Unique Input-Output Sequence in FSM Conformance Testing. - Weiwei Lin 003; Hongwei Zeng 004 (CSSE, 2021)

Periodic Collaboration and Real-Time Dispatch Using an Actor-Critic Framework for UAV Movement in Mobile Edge Computing. - Hongwei Zeng 004; Zhongzhi Zhu; Ye Wang 019; Zhengzhe Xiang; Honghao Gao (IEEE Internet Things J., 2024)

UAV-D2D Assisted Multi-Agent Parameter-Sharing for Optimizing Energy Consumption and Task Latency in MEC Task Offloading. - Xi Wang; Xiaotian Liu; Hongwei Zeng 004; Zhengzhe Xiang; Honghao Gao (IEEE Trans. Consumer Electron., 2025)