Verifying automata specification of distributed probabilistic real-time systems. - Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang 001; Zhenghu Gong; Zhichang Qi (J. Comput. Sci. Technol., 1998)

Test Selection from UML Statecharts. - Liuying Li; Zhichang Qi (TOOLS (31), 1999)

Model Checking UML Statecharts. - Wei Dong 006; Ji Wang 001; Xuan Qi; Zhichang Qi (APSEC, 2001)

On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. - Jinhui Shan; Ji Wang 001; Zhichang Qi (APSEC, 2001)

Slicing Hierarchical Automata for Model Checking UML Statecharts. - Ji Wang 001; Wei Dong 006; Zhichang Qi (ICFEM, 2002)

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. - Qi Yan 001; XinJun Mao; Hong Zhu 002; Zhi-Chang Qi (AOSE, 2003)

A Formal Specification and Method for MAS as a Distributed System. - Yan Qi 001; Xin Wang; Wei Yan; XinJun Mao; Zhi-Chang Qi (APPT, 2003)

Generating Test Oracle for Role Binding in Multi-Agent Systems. - Xin Wang; Qi Yan 001; XinJun Mao; Zhi-Chang Qi (APSEC, 2003)

Soft Gene, Role, Agent: MABS Learns from Sociology. - Qi Yan 001; XinJun Mao; Lijun Shan; Zhi-Chang Qi; Hong Zhu 002 (IAT, 2003)

Improved Method to Generate Path-Wise Test Data. - Jinhui Shan; Ji Wang 001; Zhi-Chang Qi; Jianping Wu (J. Comput. Sci. Technol., 2003)

Property-Oriented Testing of Real-Time Systems. - Shuhao Li; Ji Wang 001; Wei Dong 006; Zhichang Qi (APSEC, 2004)

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. - Xin Wang; Ji Wang 001; Zhi-Chang Qi (FORTE, 2004)

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. - Yanjun Wen; Ji Wang 001; Zhi-Chang Qi (ICFEM, 2004)

Reverse Observation Equivalence Between Labelled State Transition Systems. - Yanjun Wen; Ji Wang 001; Zhi-Chang Qi (ICTAC, 2004)

Property-Oriented Test Generation from UML Statecharts. - Shuhao Li; Ji Wang 001; Zhi-Chang Qi (ASE, 2004)

Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. - Shuhao Li; Zhi-Chang Qi (SOQUA/TECOS, 2004)

Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. - Shuhao Li; Ji Wang 001; Xin Wang; Zhi-Chang Qi (COMPSAC (1), 2005)

An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. - Xin Wang; Zhi-Chang Qi; Shuhao Li (ICECCS, 2005)

Trace Acquirement from Real-Time Systems Based on WCET Analysis. - Mengluo Ji; Xin Wang; Zhichang Qi (ICESS, 2005)

2/3 Alternating Simulation Between Interface Automata. - Yanjun Wen; Ji Wang 001; Zhi-Chang Qi (ICFEM, 2005)

Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. - Jianxing Li; Zhichang Qi; Zuobin Chen (PDCAT, 2005)

An Interface Theory Based Approach to Verification of Web Services. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi; Wing Lok Yeung (COMPSAC (2), 2006)

Automated WCET Analysis Based on Program Modes. - Mengluo Ji; Ji Wang 001; Shuhao Li; Zhi-Chang Qi (AST@ICSE, 2006)

A Petri Net Based Approach for Reliability Prediction of Web Services. - Duhang Zhong; Zhichang Qi (OTM Workshops (1), 2006)

Towards Formal Interfaces for Web Services with Transactions. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi (SITIS, 2006)

An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. - Mengluo Ji; Huaimin Wang; Mengjun Li; Wei Dong 006; Zhichang Qi (J. Comput. Res. Dev., 2006)

Compositional Verification of UML Dynamic Models. - Wei Dong 006; Ji Wang 001; Zhichang Qi; Ni Rong (APSEC, 2007)

PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network. - Jianrong Chen; Peidong Zhu; Zhichang Qi (ICESS, 2007)

Reliability Prediction for BPEL-based composite Web Service. - Duhang Zhong; Zhichang Qi; Xishan Xu (RCIS, 2007)

An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. - Zhiming Chang; XinJun Mao; Zhichang Qi (TASE, 2007)

Interface theory-based formalisation and verification of orchestration in BPEL4WS. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi (Int. J. Bus. Process. Integr. Manag., 2007)

Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. - Zhiming Chang; XinJun Mao; Zhichang Qi (ICYCS, 2008)

A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. - Junmin Ye; Wei Dong 006; Zhichang Qi (ICYCS, 2008)

Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. - Junmin Ye; Junjie Wang; Wei Dong 006; Zhichang Qi (ICYCS, 2008)

Design of Some Artificial Immune Operators in Software Test Cases Generation. - Junmin Ye; Zemei Zhan; Zhenfang Zhang; Wei Dong 006; Zhichang Qi (ICYCS, 2008)

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. - Zhiming Chang; XinJun Mao; Zhichang Qi (WICSA, 2008)

SADE: A Development Environment for Adaptive Multi-Agent Systems. - Menggao Dong; XinJun Mao; Junwen Yin; Zhiming Chang; Zhichang Qi (PRIMA, 2009)

Automated Worst-Case Execution Time Analysis Based on Program Modes. - Mengluo Ji; Ji Wang 001; Shuhao Li; Zhi-Chang Qi (Comput. J., 2009)

Active Monitoring for Control Systems under Anticipatory Semantics. - Changzhi Zhao; Wei Dong 006; Zhichang Qi (QSIC, 2010)

Security Goals Assurance Based on Software Active Monitoring. - Changzhi Zhao; Wei Dong 006; Martin Leucker; Zhichang Qi (SSIRI, 2011)