|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Changzhi Zhao, Wei Dong, Zhichang Qi |
Active Monitoring for Control Systems under Anticipatory Semantics.  |
QSIC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi |
Automated Worst-Case Execution Time Analysis Based on Program Modes. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Menggao Dong, XinJun Mao, Junwen Yin, Zhiming Chang, Zhichang Qi |
SADE: A Development Environment for Adaptive Multi-Agent Systems. |
PRIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Chang, XinJun Mao, Zhichang Qi |
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs. |
WICSA |
2008 |
DBLP DOI BibTeX RDF |
Bigraph, Software Architecture, Reconfiguration |
| 1 | Junmin Ye, Wei Dong, Zhichang Qi |
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi |
Design of Some Artificial Immune Operators in Software Test Cases Generation. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Chang, XinJun Mao, Zhichang Qi |
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi |
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
Compositional Verification of UML Dynamic Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Duhang Zhong, Zhichang Qi, Xishan Xu |
Reliability Prediction for BPEL-based composite Web Service. |
RCIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zhiming Chang, XinJun Mao, Zhichang Qi |
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianrong Chen, Peidong Zhu, Zhichang Qi |
PR-MAC: Path-Oriented Real-Time MAC Protocol for Wireless Sensor Network. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
schedule, Sensor network, real time, MAC, channel |
| 1 | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi |
Automated WCET Analysis Based on Program Modes. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi |
Towards Formal Interfaces for Web Services with Transactions. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Interface theory, Web service, Composition, Transaction |
| 1 | Duhang Zhong, Zhichang Qi |
A Petri Net Based Approach for Reliability Prediction of Web Services. |
OTM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
An Interface Theory Based Approach to Verification of Web Services. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
2/3 Alternating Simulation Between Interface Automata. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi |
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Wang, Zhi-Chang Qi, Shuhao Li |
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianxing Li, Zhichang Qi, Zuobin Chen |
Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengluo Ji, Xin Wang, Zhichang Qi |
Trace Acquirement from Real-Time Systems Based on WCET Analysis. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Wang, Ji Wang, Zhi-Chang Qi |
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Ji Wang, Zhi-Chang Qi |
Property-Oriented Test Generation from UML Statecharts. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
Reverse Observation Equivalence Between Labelled State Transition Systems. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhao Li, Zhi-Chang Qi |
Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. |
SOQUA/TECOS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi |
Property-Oriented Testing of Real-Time Systems. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu |
Improved Method to Generate Path-Wise Test Data. |
J. Comput. Sci. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi |
Generating Test Oracle for Role Binding in Multi-Agent Systems. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu |
Soft Gene, Role, Agent: MABS Learns from Sociology. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Qi, Xin Wang, Wei Yan, XinJun Mao, Zhi-Chang Qi |
A Formal Specification and Method for MAS as a Distributed System. |
APPT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi |
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, Wei Dong, Zhichang Qi |
Slicing Hierarchical Automata for Model Checking UML Statecharts. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi |
Model Checking UML Statecharts. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhui Shan, Ji Wang, Zhichang Qi |
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Liuying Li, Zhichang Qi |
Test Selection from UML Statecharts. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
Wp-method, concurrency, test case selection, UML Statecharts |
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")