 | 2008 |
|---|
| 6 |       | Xu Ke,
Paul Pettersson,
Krzysztof Sierszecki,
Christo Angelov:
Verification of COMDES-II Systems Using UPPAAL with Model Transformation.
RTCSA 2008: 153-160 |
| 5 | | Krzysztof Sierszecki,
Christo Angelov,
Xu Ke:
A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications.
RTCSA 2008: 61-68 |
| 4 | | Christo Angelov,
Xu Ke,
Yu Guo,
Krzysztof Sierszecki:
Reconfigurable State Machine Components for Embedded Applications.
SEAA 2008: 51-58 |
| 2007 |
|---|
| 3 | | Xu Ke,
Krzysztof Sierszecki,
Christo Angelov:
COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems.
RTCSA 2007: 199-208 |
| 2 | | Yu Jianjun,
Guo Shengmin,
Su Hao,
Zhang Hui,
Xu Ke:
A kernel based structure matching for web services search.
WWW 2007: 1249-1250 |
| 2006 |
|---|
| 1 | | Christo Angelov,
Xu Ke,
Krzysztof Sierszecki:
A Component-Based Framework for Distributed Control Systems.
EUROMICRO-SEAA 2006: 20-27 |
