Search the dblp DataBase

Publications of Author

1. Yulin Ding, Yan Zhang
   Model Updating CTL Systems. [Citation Graph (0, 0)][DBLP]
   Australian Conference on Artificial Intelligence, 2005, pp:5-16 [Conf]
   
2. Yulin Ding, Yan Zhang
   CTL Model Update: Semantics, Computations and Implementation. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:362-366 [Conf]
   
3. Yulin Ding, Yan Zhang
   A Logic Approach for LTL System Modification. [Citation Graph (0, 0)][DBLP]
   ISMIS, 2005, pp:435-444 [Conf]
   
4. Yulin Ding, Yan Zhang
   Algorithms for CTL System Modification. [Citation Graph (0, 0)][DBLP]
   KES (2), 2005, pp:1000-1006 [Conf]
   
5. Yulin Ding, Yan Zhang
   A Case Study for CTL Model Update. [Citation Graph (0, 0)][DBLP]
   KSEM, 2006, pp:88-101 [Conf]
   
6. Yulin Ding, Yan Zhang
   System Modification Case Studies. [Citation Graph (0, 0)][DBLP]
   COMPSAC (2), 2007, pp:355-360 [Conf]
   
7. 
   Specifying Software Architectures Using a Formal-Based Approach. [Citation Graph (, )][DBLP]
   
   
8. 
   An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. [Citation Graph (, )][DBLP]
   
   
9. 
   A Study of the Model Explosion Problem in CTL Model Update. [Citation Graph (, )][DBLP]