Zhichang Qi

Zhi-Chang Qi

齐治昌

2008
33	EE	Zhiming Chang, XinJun Mao, Zhichang Qi: Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. ICYCS 2008: 118-123
32	EE	Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi: Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS 2008: 1777-1782
31	EE	Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi: Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS 2008: 2302-2307
30	EE	Junmin Ye, Wei Dong, Zhichang Qi: A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS 2008: 2325-2329
29	EE	Zhiming Chang, XinJun Mao, Zhichang Qi: Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. WICSA 2008: 331-334
2007
28	EE	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong: Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293
27	EE	Jianrong Chen, Peidong Zhu, Zhichang Qi: PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network. ICESS 2007: 530-539
26		Duhang Zhong, Zhichang Qi, Xishan Xu: Reliability Prediction for BPEL-based composite Web Service. RCIS 2007: 265-270
25	EE	Zhiming Chang, XinJun Mao, Zhichang Qi: An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. TASE 2007: 57-66
2006
24	EE	Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung: An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144
23	EE	Duhang Zhong, Zhichang Qi: A Petri Net Based Approach for Reliability Prediction of Web Services. OTM Workshops (1) 2006: 116-125
22	EE	Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi: Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304
21	EE	Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi: An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. Journal of Computer Research and Development 43(11): 2020-2026 (2006)
2005
20	EE	Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi: Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18
19	EE	Xin Wang, Zhi-Chang Qi, Shuhao Li: An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. ICECCS 2005: 440-449
18	EE	Mengluo Ji, Xin Wang, Zhichang Qi: Trace Acquirement from Real-Time Systems Based on WCET Analysis. ICESS 2005: 160-171
17	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: 2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187
16	EE	Jianxing Li, Zhichang Qi, Zuobin Chen: Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. PDCAT 2005: 451-455
2004
15	EE	Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi: Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365
14	EE	Shuhao Li, Ji Wang, Zhi-Chang Qi: Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131
13	EE	Xin Wang, Ji Wang, Zhi-Chang Qi: Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE 2004: 199-212
12	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273
11	EE	Yanjun Wen, Ji Wang, Zhi-Chang Qi: Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219
10		Shuhao Li, Zhi-Chang Qi: Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. SOQUA/TECOS 2004: 191-206
2003
9	EE	Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi: Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. AOSE 2003: 231-245
8	EE	Yan Qi, Xin Wang, Wei Yan, XinJun Mao, Zhi-Chang Qi: A Formal Specification and Method for MAS as a Distributed System. APPT 2003: 189-193
7	EE	Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi: Generating Test Oracle for Role Binding in Multi-Agent Systems. APSEC 2003: 108-
6	EE	Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu: Soft Gene, Role, Agent: MABS Learns from Sociology. IAT 2003: 450-453
5	EE	Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu: Improved Method to Generate Path-Wise Test Data. J. Comput. Sci. Technol. 18(2): 235-240 (2003)
2002
4	EE	Ji Wang, Wei Dong, Zhichang Qi: Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446
2001
3	EE	Jinhui Shan, Ji Wang, Zhichang Qi: On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. APSEC 2001: 237-
2	EE	Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi: Model Checking UML Statecharts. APSEC 2001: 363-370
1999
1	EE	Liuying Li, Zhichang Qi: Test Selection from UML Statecharts. TOOLS (31) 1999: 273-281

Coauthor Index

1	Zhiming Chang	[25] [29] [33]
2	Jianrong Chen	[27]
3	Zhenbang Chen	[22] [24]
4	Zuobin Chen	[16]
5	Wei Dong	[2] [4] [15] [21] [22] [24] [28] [30] [31] [32]
6	Mengluo Ji	[18] [21]
7	Jianxing Li	[16]
8	Liuying Li	[1]
9	Mengjun Li	[21]
10	Shuhao Li	[10] [14] [15] [19] [20]
11	XinJun Mao	[6] [7] [8] [9] [25] [29] [33]
12	Xuan Qi	[2]
13	Yan Qi	[8]
14	Ni Rong	[28]
15	Jinhui Shan	[3] [5]
16	Lijun Shan	[6]
17	Huaimin Wang	[21]
18	Ji Wang	[2] [3] [4] [5] [11] [12] [13] [14] [15] [17] [20] [22] [24] [28]
19	Junjie Wang	[32]
20	Xin Wang	[7] [8] [13] [18] [19] [20]
21	Yanjun Wen	[11] [12] [17]
22	Jianping Wu	[5]
23	Xishan Xu	[26]
24	Qi Yan	[6] [7] [9]
25	Wei Yan	[8]
26	Junmin Ye	[30] [31] [32]
27	Wing Lok Yeung	[24]
28	Zemei Zhan	[31]
29	Zhenfang Zhang	[31]
30	Duhang Zhong	[23] [26]
31	Hong Zhu	[6] [9]
32	Peidong Zhu	[27]

Colors in the list of coauthors