The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Huaikou Miao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  31. A Common Acquaintance Immunization Strategy for Complex Network. [Citation Graph (, )][DBLP]


  32. A Web Service Composition Method Based on Interface Matching. [Citation Graph (, )][DBLP]


  33. Model Checking UML Activity Diagrams in FDR. [Citation Graph (, )][DBLP]


  34. User-interface Design of Web Application Using Object-Z. [Citation Graph (, )][DBLP]


  35. Modeling and Verifying Web Browser Interactions. [Citation Graph (, )][DBLP]


  36. A Formal Open Framework Based on Agent for Testing Web Applications. [Citation Graph (, )][DBLP]


  37. Modeling Web Browser Interactions and Generating Tests. [Citation Graph (, )][DBLP]


  38. A Rewriting Based Model for Nondeterministic Composite Web Service System. [Citation Graph (, )][DBLP]


  39. A New Approach to Automated Redundancy Reduction for Test Sequences. [Citation Graph (, )][DBLP]


  40. An Abstract Approach to Describing Scenario-Based Specifications. [Citation Graph (, )][DBLP]


  41. Manipulating Clocks in Timed Automata Using PVS. [Citation Graph (, )][DBLP]


  42. Testing a Web Application Involving Web Browser Interaction. [Citation Graph (, )][DBLP]


  43. A Novel Approach for On-the-Fly Test Cases Synthesis. [Citation Graph (, )][DBLP]


  44. Test Generation for Web Applications Using Model-Checking. [Citation Graph (, )][DBLP]


  45. Refining Service-Oriented Model Using Interpretation Mapping. [Citation Graph (, )][DBLP]


  46. Modeling and Refining the Service-Oriented Requirement. [Citation Graph (, )][DBLP]


  47. Towards Automatically Generating Test Paths for Web Application Testing. [Citation Graph (, )][DBLP]


  48. Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. [Citation Graph (, )][DBLP]


  49. An Approach to Generating Test Cases for Testing Component-based Web Applications. [Citation Graph (, )][DBLP]


  50. Towards Modeling Web Navigation Using FSM and Z. [Citation Graph (, )][DBLP]


  51. Location Transparent Communications in Mobile Agent Systems. [Citation Graph (, )][DBLP]


  52. Applying Formal Methods to Compositionality Description of Web Service. [Citation Graph (, )][DBLP]


  53. A New Formal Modeling Approach for Requirement. [Citation Graph (, )][DBLP]


  54. A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. [Citation Graph (, )][DBLP]


  55. An Approach to Transforming UML Model to FSM Model for Automatic Testing. [Citation Graph (, )][DBLP]


  56. An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. [Citation Graph (, )][DBLP]


  57. A Rewriting Logic Approach to OWL-S Composite Process Formal Specification. [Citation Graph (, )][DBLP]


  58. Modeling Web Browser Interactions Using FSM. [Citation Graph (, )][DBLP]


  59. Analysis and Composition of Web Components Based on p-Calculus. [Citation Graph (, )][DBLP]


  60. A UML-Based Approach to Testing Web Applications. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002