Huaikou Miao

An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process

Honghao Gao, Yucong Duan, Huaikou Miao et al. · IEEE Access · 2017 · 58 citations · Full text

Business, Information Systems, Systems Engineering +14

SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata

Honghao Gao, Yida Zhang, Huaikou Miao et al. · Mobile Networks and Applications · 2021 · 57 citations

Computing, Information Systems, Systems Engineering +17

Classification of wine quality with imbalanced data

Gongzhu Hu, Xi Tan, Faraz Mohammed et al. · 2016 · 44 citations

Computing, Computer Science, Data Science +16

Model Checking-based Verification of Web Application

Huaikou Miao, Hongwei Zeng · 2007 · 33 citations

Computing, Computer Science, Formal Methods +16

A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective

Honghao Gao, Baobin Dai, Huaikou Miao et al. · ACM Transactions on Multimedia Computing Communications and Applications · 2022 · 28 citations

Computing, Computer Engineering, Computer Science +15