|
Search the dblp DataBase
Zhichang Qi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP] APSEC, 2001, pp:363-370 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Liuying Li, Zhichang Qi
Test Selection from UML Statecharts. [Citation Graph (0, 0)][DBLP] TOOLS (31), 1999, pp:273-281 [Conf]
- 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]
- 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]
- 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]
- 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]
Compositional Verification of UML Dynamic Models. [Citation Graph (, )][DBLP]
SADE: A Development Environment for Adaptive Multi-Agent Systems. [Citation Graph (, )][DBLP]
Towards Formal Interfaces for Web Services with Transactions. [Citation Graph (, )][DBLP]
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. [Citation Graph (, )][DBLP]
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. [Citation Graph (, )][DBLP]
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. [Citation Graph (, )][DBLP]
Design of Some Artificial Immune Operators in Software Test Cases Generation. [Citation Graph (, )][DBLP]
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs
|