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 systems engineering, software engineering, and engineering.

Top concepts

EngineeringSystems EngineeringSoftware EngineeringVerificationSoftware DesignComputer ScienceSoftware AnalysisFormal MethodsSystem SoftwareProgram Analysis

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

Engineering, Verification, Software Systems +30

Predictive Web Service Monitoring using Probabilistic Model Checking

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

Software Maintenance, Software Reliability Testing, Web Service Specification +20

Modeling and Refining the Service-Oriented Requirement

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

Service-oriented Requirement, Refinement Rules, Service Implementation +12

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

Web Service Specification, Web Services Composition, Engineering +17

1–4 of 4