| 2009 | PRIMA | SADE: A Development Environment for Adaptive Multi-Agent Systems. | Menggao Dong, XinJun Mao, Junwen Yin, Zhiming Chang, Zhichang Qi |
| 2007 | APSEC | Compositional Verification of UML Dynamic Models. | Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
| 2007 | RCIS | Reliability Prediction for BPEL-based composite Web Service. | Duhang Zhong, Zhichang Qi, Xishan Xu |
| 2007 | TASE | An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. | Zhiming Chang, XinJun Mao, Zhichang Qi |
| 2006 | COMPSAC | An Interface Theory Based Approach to Verification of Web Services. | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
| 2005 | PDCAT | Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. | Jianxing Li, Zhichang Qi, Zuobin Chen |
| 2004 | APSEC | Property-Oriented Testing of Real-Time Systems. | Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi |
| 2002 | ICFEM | Slicing Hierarchical Automata for Model Checking UML Statecharts. | Ji Wang, Wei Dong, Zhichang Qi |
| 2001 | APSEC | Model Checking UML Statecharts. | Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi |
| 2001 | APSEC | On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. | Jinhui Shan, Ji Wang, Zhichang Qi |