The SCEAS System
Navigation Menu

Search the dblp DataBase


Zhichang Qi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
    Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:363-370 [Conf]
  2. Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
    Property-Oriented Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:358-365 [Conf]
  3. Jinhui Shan, Ji Wang, Zhichang Qi
    On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:237-0 [Conf]
  4. Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
    An Interface Theory Based Approach to Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:139-144 [Conf]
  5. Mengluo Ji, Xin Wang, Zhichang Qi
    Trace Acquirement from Real-Time Systems Based on WCET Analysis. [Citation Graph (0, 0)][DBLP]
    ICESS, 2005, pp:160-171 [Conf]
  6. Ji Wang, Wei Dong, Zhichang Qi
    Slicing Hierarchical Automata for Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:435-446 [Conf]
  7. Duhang Zhong, Zhichang Qi
    A Petri Net Based Approach for Reliability Prediction of Web Services. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:116-125 [Conf]
  8. Jianxing Li, Zhichang Qi, Zuobin Chen
    Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:451-455 [Conf]
  9. Liuying Li, Zhichang Qi
    Test Selection from UML Statecharts. [Citation Graph (0, 0)][DBLP]
    TOOLS (31), 1999, pp:273-281 [Conf]
  10. Duhang Zhong, Zhichang Qi, Xishan Xu
    Reliability Prediction for BPEL-based composite Web Service. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:265-270 [Conf]
  11. Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi
    An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Research and Development, 2006, v:43, n:11, pp:2020-2026 [Journal]
  12. Jianrong Chen, Peidong Zhu, Zhichang Qi
    PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network. [Citation Graph (0, 0)][DBLP]
    ICESS, 2007, pp:530-539 [Conf]
  13. Zhiming Chang, XinJun Mao, Zhichang Qi
    An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:57-66 [Conf]

  14. Compositional Verification of UML Dynamic Models. [Citation Graph (, )][DBLP]

  15. SADE: A Development Environment for Adaptive Multi-Agent Systems. [Citation Graph (, )][DBLP]

  16. Towards Formal Interfaces for Web Services with Transactions. [Citation Graph (, )][DBLP]

  17. Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. [Citation Graph (, )][DBLP]

  18. Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. [Citation Graph (, )][DBLP]

  19. Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. [Citation Graph (, )][DBLP]

  20. Design of Some Artificial Immune Operators in Software Test Cases Generation. [Citation Graph (, )][DBLP]

  21. A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002