Search the dblp DataBase

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]