Zhichang Qi

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Publications

Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi
Security Goals Assurance Based on Software Active Monitoring. SSIRI (2011)
Changzhi Zhao, Wei Dong, Zhichang Qi
Active Monitoring for Control Systems under Anticipatory Semantics. QSIC (2010)
Menggao Dong, XinJun Mao, Junwen Yin, Zhiming Chang, Zhichang Qi
SADE: A Development Environment for Adaptive Multi-Agent Systems. PRIMA (2009)
Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi
Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS (2008)
Junmin Ye, Wei Dong, Zhichang Qi
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS (2008)
Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS (2008)
Zhiming Chang, XinJun Mao, Zhichang Qi
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. WICSA (2008)
Zhiming Chang, XinJun Mao, Zhichang Qi
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. ICYCS (2008)
Zhiming Chang, XinJun Mao, Zhichang Qi
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. TASE (2007)
Duhang Zhong, Zhichang Qi, Xishan Xu
Reliability Prediction for BPEL-based composite Web Service. RCIS (2007)
Wei Dong, Ji Wang, Zhichang Qi, Ni Rong
Compositional Verification of UML Dynamic Models. APSEC (2007)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. 2 (4) (2007)
Jianrong Chen, Peidong Zhu, Zhichang Qi
PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network. ICESS (2007)
Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. J. Comput. Res. Dev. 43 (11) (2006)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
Towards Formal Interfaces for Web Services with Transactions. SITIS (2006)
Duhang Zhong, Zhichang Qi
A Petri Net Based Approach for Reliability Prediction of Web Services. OTM Workshops (1) (2006)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) (2006)
Mengluo Ji, Xin Wang, Zhichang Qi
Trace Acquirement from Real-Time Systems Based on WCET Analysis. ICESS (2005)
Jianxing Li, Zhichang Qi, Zuobin Chen
Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. PDCAT (2005)
Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
Property-Oriented Testing of Real-Time Systems. APSEC (2004)
Ji Wang, Wei Dong, Zhichang Qi
Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM (2002)
Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
Model Checking UML Statecharts. APSEC (2001)
Jinhui Shan, Ji Wang, Zhichang Qi
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. APSEC (2001)
Liuying Li, Zhichang Qi
Test Selection from UML Statecharts. TOOLS (31) (1999)
Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi
Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13 (6) (1998)