| * | 2008 |
|---|
| 9 | EE | David Hemer,
Yulin Ding:
Specifying Software Architectures Using a Formal-Based Approach.
Australian Software Engineering Conference 2008: 279-288 |
| 8 | | Yulin Ding,
Yan Zhang:
A Study of the Model Explosion Problem in CTL Model Update.
SEKE 2008: 752-757 |
| 7 | EE | Yan Zhang,
Yulin Ding:
CTL Model Update for System Modifications.
J. Artif. Intell. Res. (JAIR) 31: 113-155 (2008) |
| 2007 |
|---|
| 6 | EE | Yulin Ding,
Yan Zhang:
System Modification Case Studies.
COMPSAC (2) 2007: 355-360 |
| 2006 |
|---|
| 5 | | Yulin Ding,
Yan Zhang:
CTL Model Update: Semantics, Computations and Implementation.
ECAI 2006: 362-366 |
| 4 | EE | Yulin Ding,
Yan Zhang:
A Case Study for CTL Model Update.
KSEM 2006: 88-101 |
| 2005 |
|---|
| 3 | EE | Yulin Ding,
Yan Zhang:
Model Updating CTL Systems.
Australian Conference on Artificial Intelligence 2005: 5-16 |
| 2 | EE | Yulin Ding,
Yan Zhang:
A Logic Approach for LTL System Modification.
ISMIS 2005: 435-444 |
| 1 | EE | Yulin Ding,
Yan Zhang:
Algorithms for CTL System Modification.
KES (2) 2005: 1000-1006 |
