| 2007 |
| 9 | EE | Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jianhua Zhao,
Guoliang Zheng,
Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation.
ECMDA-FA 2007: 204-218 |
| 8 | EE | Shing-Kit Chan,
Wai Lam,
Xiaofeng Yu:
A Cascaded Approach to Biomedical Named Entity Recognition Using a Unified Model.
ICDM 2007: 93-102 |
| 7 | EE | Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jun Hu,
Jianhua Zhao,
Xuandong Li:
A model-driven development framework for enterprise Web services.
Information Systems Frontiers 9(4): 391-409 (2007) |
| 2006 |
| 6 | EE | Xiaofeng Yu,
Jun Hu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jianhua Zhao,
Xuandong Li:
A Model Driven Development Framework for Enterprise Web Services.
EDOC 2006: 75-84 |
| 5 | EE | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Component Behavior Derivation.
ICFEM 2006: 206-225 |
| 4 | EE | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions.
Electr. Notes Theor. Comput. Sci. 160: 349-361 (2006) |
| 2005 |
| 3 | EE | Jun Hu,
Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
EUC 2005: 395-404 |
| 2 | EE | Jun Hu,
Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.
ICPP Workshops 2005: 240-247 |
| 2004 |
| 1 | EE | Linzhang Wang,
Jiesong Yuan,
Xiaofeng Yu,
Jun Hu,
Xuandong Li,
Guoliang Zheng:
Generating Test Cases from UML Activity Diagram based on Gray-Box Method.
APSEC 2004: 284-291 |