Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhichang Qi
Person information
- unicode name: 齐治昌
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
[c35]Changzhi Zhao, Wei Dong, Martin Leucker
, Zhichang Qi:
Security Goals Assurance Based on Software Active Monitoring. SSIRI 2011: 70-79- 2010
- [c34]Changzhi Zhao, Wei Dong, Zhichang Qi:
Active Monitoring for Control Systems under Anticipatory Semantics. QSIC 2010: 318-325
2000 – 2009
- 2009
- [j5]Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi:
Automated Worst-Case Execution Time Analysis Based on Program Modes. Comput. J. 52(5): 530-544 (2009) - [c33]Menggao Dong, XinJun Mao, Junwen Yin, Zhiming Chang, Zhichang Qi:
SADE: A Development Environment for Adaptive Multi-Agent Systems. PRIMA 2009: 516-524 - 2008
- [c32]Zhiming Chang, XinJun Mao, Zhichang Qi:
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. ICYCS 2008: 118-123 - [c31]Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi:
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS 2008: 1777-1782 - [c30]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 - [c29]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 - [c28]Zhiming Chang, XinJun Mao, Zhichang Qi:
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. WICSA 2008: 331-334 - 2007
- [j4]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. 2(4): 262-281 (2007) - [c27]Wei Dong, Ji Wang, Zhichang Qi, Ni Rong:
Compositional Verification of UML Dynamic Models. APSEC 2007: 286-293 - [c26]Jianrong Chen, Peidong Zhu, Zhichang Qi:
PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network. ICESS 2007: 530-539 - [c25]Duhang Zhong, Zhichang Qi, Xishan Xu:
Reliability Prediction for BPEL-based composite Web Service. RCIS 2007: 265-270 - [c24]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
- [j3]Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi:
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. J. Comput. Res. Dev. 43(11): 2020-2026 (2006) - [c23]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 - [c22]Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi:
Automated WCET Analysis Based on Program Modes. AST 2006: 36-42 - [c21]Duhang Zhong, Zhichang Qi:
A Petri Net Based Approach for Reliability Prediction of Web Services. OTM Workshops (1) 2006: 116-125 - [c20]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi:
Towards Formal Interfaces for Web Services with Transactions. SITIS 2006: 292-304 - 2005
- [c19]Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi:
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) 2005: 13-18 - [c18]Xin Wang, Zhi-Chang Qi, Shuhao Li:
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. ICECCS 2005: 440-449 - [c17]Mengluo Ji, Xin Wang, Zhichang Qi:
Trace Acquirement from Real-Time Systems Based on WCET Analysis. ICESS 2005: 160-171 - [c16]Yanjun Wen, Ji Wang, Zhi-Chang Qi:
2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187 - [c15]Jianxing Li, Zhichang Qi, Zuobin Chen:
Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. PDCAT 2005: 451-455 - 2004
- [c14]Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi:
Property-Oriented Testing of Real-Time Systems. APSEC 2004: 358-365 - [c13]Xin Wang, Ji Wang, Zhi-Chang Qi:
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE 2004: 199-212 - [c12]Yanjun Wen, Ji Wang, Zhi-Chang Qi:
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273 - [c11]Yanjun Wen, Ji Wang, Zhi-Chang Qi:
Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219 - [c10]Shuhao Li, Ji Wang, Zhi-Chang Qi:
Property-Oriented Test Generation from UML Statecharts. ASE 2004: 122-131 - [c9]Shuhao Li, Zhi-Chang Qi:
Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. SOQUA/TECOS 2004: 191-206 - 2003
- [j2]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) - [c8]Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi:
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. AOSE 2003: 231-245 - [c7]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 - [c6]Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi:
Generating Test Oracle for Role Binding in Multi-Agent Systems. APSEC 2003: 108- - [c5]Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu:
Soft Gene, Role, Agent: MABS Learns from Sociology. IAT 2003: 450-453 - 2002
- [c4]Ji Wang, Wei Dong, Zhichang Qi:
Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM 2002: 435-446 - 2001
- [c3]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- - [c2]Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi:
Model Checking UML Statecharts. APSEC 2001: 363-370
1990 – 1999
- 1999
- [c1]Liuying Li, Zhichang Qi:
Test Selection from UML Statecharts. TOOLS (31) 1999: 273-281 - 1998
- [j1]Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi:
Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13(6): 588-596 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
