Zhichang Qi

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