 | 2009 |
|---|
| 10 |       | Mingjie Sun,
Bixin Li,
Pengcheng Zhang:
Monitoring BPEL-Based Web Service Composition Using AOP.
ACIS-ICIS 2009: 1172-1177 |
| 9 | | Lars Grunske,
Pengcheng Zhang:
Monitoring probabilistic properties.
ESEC/SIGSOFT FSE 2009: 183-192 |
| 8 | | Chunming Liu,
Jinze Song,
Xin Xu,
Pengcheng Zhang:
Reordering Sparsification of Kernel Machines in Approximate Policy Iteration.
ISNN (2) 2009: 398-407 |
| 7 | | Pengcheng Zhang,
Xin Xu,
Chunming Liu,
Qiping Yuan:
Reinforcement Learning Control of a Real Mobile Robot Using Approximate Policy Iteration.
ISNN (3) 2009: 278-288 |
| 2008 |
|---|
| 6 | | Pengcheng Zhang,
Bixin Li,
Zhiyong Su,
Mingjie Sun:
Extending PSC for Monitoring the Timed Properties in Composite Services.
APSEC 2008: 335-342 |
| 5 | | Pengcheng Zhang,
Bixin Li,
Mingjie Sun,
Xufang Gong:
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
COMPSAC 2008: 112-115 |
| 4 | | Pengcheng Zhang,
Bixin Li,
Mingjie Sun:
A Timed Extension of Property Sequence Chart.
HASE 2008: 197-206 |
| 3 | | Pengcheng Zhang,
Bixin Li,
Henry Muccini,
Yu Zhou,
Mingjie Sun:
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
ICWS 2008: 752-753 |
| 2007 |
|---|
| 2 | | Pengcheng Zhang,
Yu Zhou,
Bixin Li:
A service-oriented methodology supporting automatic synthesis and verification of component behavior model.
SNPD (1) 2007: 511-516 |
| 2001 |
|---|
| 1 | | Pengcheng Zhang,
Renhou Li:
Design and Implementation of an Intelligent Cooperative Design System.
CSCWD 2001: 198-202 |
