| 2009 |
|---|
| 11 | EE | Zhanqi Cui,
Linzhang Wang,
Xuandong Li,
Dianxiang Xu:
Modeling and integrating aspects with UML activity diagrams.
SAC 2009: 430-437 |
| 2008 |
|---|
| 10 | EE | Zhou Zhou,
Linzhang Wang,
Zhanqi Cui,
Xin Chen,
Jianhua Zhao:
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.
HASE 2008: 487-490 |
| 9 | EE | Bin Lei,
Linzhang Wang,
Xuandong Li:
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.
ICST 2008: 200-209 |
| 8 | EE | Jianhua Zhao,
Linzhang Wang,
Xuandong Li:
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
ISoLA 2008: 262-276 |
| 7 | EE | Xuandong Li,
Xiaokang Qiu,
Linzhang Wang,
Bin Lei,
W. Eric Wong:
UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
SAC 2008: 384-389 |
| 2007 |
|---|
| 6 | 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 |
| 5 | 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 |
|---|
| 4 | EE | Xuandong Li,
Linzhang Wang,
Xiaokang Qiu,
Bin Lei,
Jiesong Yuan,
Jianhua Zhao,
Guoliang Zheng:
Runtime Verification of Java Programs for Scenario-Based Specifications.
Ada-Europe 2006: 94-105 |
| 3 | 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 |
| 2005 |
|---|
| 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 |
