| |
| 2008 | ||
|---|---|---|
| 8 | EE | David Hemer, Yulin Ding: Specifying Software Architectures Using a Formal-Based Approach. Australian Software Engineering Conference 2008: 279-288 |
| 7 | Yulin Ding, Yan Zhang: A Study of the Model Explosion Problem in CTL Model Update. SEKE 2008: 752-757 | |
| 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 |
| 1 | David Hemer | [8] |
| 2 | Yan Zhang | [1] [2] [3] [4] [5] [6] [7] |