Zhichang Qi

According to our database, Zhichang Qi authored at least 40 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Security Goals Assurance Based on Software Active Monitoring.

Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2010

Active Monitoring for Control Systems under Anticipatory Semantics.

Changzhi Zhao, Wei Dong, Zhichang Qi

Proceedings of the 10th International Conference on Quality Software, 2010

2009

Automated Worst-Case Execution Time Analysis Based on Program Modes.

Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi

Comput. J., 2009

SADE: A Development Environment for Adaptive Multi-Agent Systems.

Menggao Dong, XinJun Mao, Junwen Yin, Zhiming Chang, Zhichang Qi

Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

2008

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.

Zhiming Chang, XinJun Mao, Zhichang Qi

Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

Design of Some Artificial Immune Operators in Software Test Cases Generation.

Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology.

Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications.

Junmin Ye, Wei Dong, Zhichang Qi

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.

Zhiming Chang, XinJun Mao, Zhichang Qi

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

2007

Interface theory-based formalisation and verification of orchestration in BPEL4WS.

Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi

Int. J. Bus. Process. Integr. Manag., 2007

An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.

Zhiming Chang, XinJun Mao, Zhichang Qi

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Reliability Prediction for BPEL-based composite Web Service.

Duhang Zhong, Zhichang Qi, Xishan Xu

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network.

Jianrong Chen, Peidong Zhu, Zhichang Qi

Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Compositional Verification of UML Dynamic Models.

Wei Dong, Ji Wang, Zhichang Qi, Ni Rong

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework.

Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi

J. Comput. Res. Dev., 2006

Towards Formal Interfaces for Web Services with Transactions.

Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi

Proceedings of the Advanced Internet Based Systems and Applications, 2006

A Petri Net Based Approach for Reliability Prediction of Web Services.

Duhang Zhong, Zhichang Qi

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Automated WCET Analysis Based on Program Modes.

Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

An Interface Theory Based Approach to Verification of Web Services.

Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow.

Jianxing Li, Zhichang Qi, Zuobin Chen

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

2/3 Alternating Simulation Between Interface Automata.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Proceedings of the Formal Methods and Software Engineering, 2005

Trace Acquirement from Real-Time Systems Based on WCET Analysis.

Mengluo Ji, Xin Wang, Zhichang Qi

Proceedings of the Embedded Software and Systems, Second International Conference, 2005

An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification.

Xin Wang, Zhi-Chang Qi, Shuhao Li

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM.

Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest.

Shuhao Li, Zhi-Chang Qi

Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Property-Oriented Test Generation from UML Statecharts.

Shuhao Li, Ji Wang, Zhi-Chang Qi

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Reverse Observation Equivalence Between Labelled State Transition Systems.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Proceedings of the Theoretical Aspects of Computing, 2004

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Proceedings of the Formal Methods and Software Engineering, 2004

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.

Xin Wang, Ji Wang, Zhi-Chang Qi

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Property-Oriented Testing of Real-Time Systems.

Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Improved Method to Generate Path-Wise Test Data.

Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu

J. Comput. Sci. Technol., 2003

Soft Gene, Role, Agent: MABS Learns from Sociology.

Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu

Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Generating Test Oracle for Role Binding in Multi-Agent Systems.

Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

A Formal Specification and Method for MAS as a Distributed System.

Yan Qi, Xin Wang, Wei Yan, XinJun Mao, Zhi-Chang Qi

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents.

Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi

Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

2002

Slicing Hierarchical Automata for Model Checking UML Statecharts.

Ji Wang, Wei Dong, Zhichang Qi

Proceedings of the Formal Methods and Software Engineering, 2002

2001

On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing.

Jinhui Shan, Ji Wang, Zhichang Qi

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Model Checking UML Statecharts.

Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Test Selection from UML Statecharts.

Liuying Li, Zhichang Qi

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Verifying automata specification of distributed probabilistic real-time systems.

Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi

J. Comput. Sci. Technol., 1998