Concepedia

Huaikou Miao

HM

Statistics

Publications

4

Citations

100

H-Index

4

Active since

2008

Affiliations

Shanghai University(Current)

Shanghai University of Engineering Science

Huaikou Miao is an author at Shanghai University specializing in computer science, computing, and formal methods.

Publications per year

2008–2018

4

Publications

4

Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective

Honghao Gao, Huaikou Miao, Lilan Liu et al. · International Journal of Software Engineering and Knowledge Engineering · 2018 · 58 citations

Computing, Computer Science, Systems Engineering +17

Predictive Web Service Monitoring using Probabilistic Model Checking

Honghao Gao, Huaikou Miao, Hongwei Zeng · Applied Mathematics & Information Sciences · 2013 · 18 citations

Computing, Computer Science, Computer Systems +16

Modeling and Refining the Service-Oriented Requirement

Xiaoxia Cao, Huaikou Miao, Qingguo Xu · 2008 · 14 citations

Engineering, Information Systems, Systems Engineering +14

Verifying Web Services Composition Based on Interface Automata Using SPIN

Jia Mei, Huaikou Miao, Yihai Chen et al. · International Journal of Digital Content Technology and its Applications · 2010 · 10 citations

Computing, Computer Science, Information Systems +17

1–4 of 4