| 2007 |
|---|
| 35 | EE | Shengbo Chen,
Huaikou Miao,
Qingguo Xu:
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.
GCC 2007: 566-573 |
| 34 | EE | Zhong-sheng Qian,
Huaikou Miao,
Tao He:
An Approach to Modeling Hypermedia Web Applications.
GCC 2007: 847-854 |
| 33 | EE | Huaikou Miao,
Hongwei Zeng:
Model Checking-based Verification of Web Application.
ICECCS 2007: 47-55 |
| 32 | EE | Huaikou Miao,
Junfeng Wu:
Applying Formal Methods to Compositionality Description of Web Service.
ICIW 2007: 13 |
| 31 | EE | Hongwei Zeng,
Huaikou Miao:
Auto-Generating Test Sequences for Web Applications.
ICWE 2007: 301-305 |
| 30 | EE | Shengbo Chen,
Huaikou Miao,
Zhong-sheng Qian:
Location Transparent Communications in Mobile Agent Systems.
IITA 2007: 200-205 |
| 29 | EE | Huaikou Miao,
Shengbo Chen,
Huanzhou Liu,
Zhong-sheng Qian:
An Approach to Generating Test Cases for Testing Component-based Web Applications.
IITA 2007: 264-269 |
| 28 | EE | Zhong-sheng Qian,
Huaikou Miao,
Shengbo Chen:
Towards Modeling Web Navigation Using FSM and Z.
IITA 2007: 371-376 |
| 27 | EE | Hongwei Zeng,
Huaikou Miao,
Jing Liu:
Specification-based Test Generation and Optimization Using Model Checking.
TASE 2007: 349-355 |
| 2006 |
|---|
| 26 | EE | Huaikou Miao,
Zhicheng Wen:
An Approach to Extending Object-Z with Real-Time.
DELTA 2006: 345-349 |
| 25 | EE | Huaikou Miao,
Junmei Sun,
Xiaoxia Cao:
Formalizing and analyzing service oriented software architecture style.
EDOC 2006: 387-390 |
| 24 | | Qingguo Xu,
Huaikou Miao:
Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.
IASTED Conf. on Software Engineering 2006: 107-112 |
| 23 | EE | Hongwei Zeng,
Huaikou Miao:
Data Communication Model of Grid Workflow.
ICEBE 2006: 647-654 |
| 22 | EE | Junmei Sun,
Huaikou Miao:
A Formal Architecture Supporting Dynamic Composition of Web Services.
ICNS 2006: 48 |
| 21 | EE | Junmei Sun,
Huaikou Miao,
Xiaoxia Cao:
A Domain Formal Ontology and the Application in Service Component Retrieval.
ICSEA 2006: 33 |
| 20 | EE | Zhicheng Wen,
Huaikou Miao,
Hongwei Zeng:
Generating Proof Obligation to Verify Object-Z Specification.
ICSEA 2006: 38 |
| 19 | EE | Huaikou Miao,
Junmei Sun:
The Role of Ontology in Service Oriented System Development.
SOSE 2006: 179-182 |
| 18 | | Qingguo Xu,
Huaikou Miao:
Modeling Timed Automata Theory in PVS.
Software Engineering Research and Practice 2006: 205-211 |
| 2005 |
|---|
| 17 | EE | Jing Liu,
Huaikou Miao:
A Strategy for Component-Based Modeling and Refinement.
ICECCS 2005: 26-27 |
| 16 | EE | Ling Liu,
Huaikou Miao:
Mutation Operators for Object-Z Specification.
ICECCS 2005: 498-506 |
| 15 | EE | Jiazhu Dai,
Huaikou Miao:
D_DIPS: An Intrusion Prevention System for Database Security.
ICICS 2005: 481-490 |
| 2004 |
|---|
| 14 | EE | Jie Yuan,
Huaikou Miao,
Liang Cai:
A Design Pattern Verifier in Two-Tier Programming Environment.
CIT 2004: 1081-1086 |
| 13 | EE | Xuede Zhan,
Huaikou Miao,
Ling Liu:
Formalizing the Semantics of UML Statecharts with Z*.
CIT 2004: 1116-1121 |
| 12 | EE | Xuede Zhan,
Huaikou Miao:
An Approach to Formalizing the Semantics of UML Statecharts.
ER 2004: 753-765 |
| 11 | EE | Ling Liu,
Huaikou Miao:
A Specification-Based Approach to Testing Polymorphic Attributes.
ICFEM 2004: 306-319 |
| 2003 |
|---|
| 10 | EE | Xiaolei Gao,
Huaikou Miao,
Yihai Chen:
Structured Object-Z Software Specification Language.
GCC (1) 2003: 956-963 |
| 9 | EE | Xiaolei Gao,
Huaikou Miao,
Shaoying Liu,
Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram.
GCC (2) 2003: 970-977 |
| 2002 |
|---|
| 8 | | Chris George,
Huaikou Miao:
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings
Springer 2002 |
| 7 | EE | Ling Liu,
Huaikou Miao,
Xuede Zhan:
A Framework for Specification-Based Class Testing.
ICECCS 2002: 153-162 |
| 6 | EE | Huaikou Miao,
Ling Liu,
Li Li:
Formalizing UML Models with Object-Z.
ICFEM 2002: 523-534 |
| 5 | EE | Jing Liu,
Huaikou Miao,
Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse.
ICFEM 2002: 69-79 |
| 2001 |
|---|
| 4 | EE | Huaikou Miao,
Ling Liu,
Chuanjiang Yu,
Jijun Ming,
Li Li:
Z User Studio: An Integrated Support Tool for Z Specifications.
APSEC 2001: 437-444 |
| 2000 |
|---|
| 3 | EE | Huaikou Miao,
Ling Liu:
A Test Class Framework for Generating Test Cases from Z Specifications.
ICECCS 2000: 164-171 |
| 2 | EE | Huaikou Miao,
Chuanjiang Yu,
Li Li:
A Formalized Abstract Component Object Mode - Z-COM.
TOOLS (36) 2000: 250-259 |
| 1999 |
|---|
| 1 | EE | Huaikou Miao,
Xiaolei Gao,
Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Asian Test Symposium 1999: 289-294 |
