Search the dblp DataBase

Publications of Author

1. Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
   Thorough Checking Revisited. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2006, pp:106-116 [Conf]
   
2. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
   Matching and Merging of Statecharts Specifications. [Citation Graph (0, 0)][DBLP]
   ICSE, 2007, pp:54-64 [Conf]
   
3. Shiva Nejati
   Formal support for merging and negotiation. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:456-460 [Conf]
   
4. Shiva Nejati, Marsha Chechik
   Let's agree to disagree. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:287-290 [Conf]
   
5. Shiva Nejati, Arie Gurfinkel, Marsha Chechik
   Stuttering Abstraction for Model Checkin. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:311-320 [Conf]
   
6. 
   Runtime monitoring of web service conversations. [Citation Graph (, )][DBLP]
   
   
7. 
   Global consistency checking of distributed models with TReMer+. [Citation Graph (, )][DBLP]
   
   
8. 
   Consistency Checking of Conceptual Models via Model Merging. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards compositional synthesis of evolving systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Property Patterns for Runtime Monitoring of Web Service Conversations. [Citation Graph (, )][DBLP]
    
    
11. 
    An Eclipse-based tool framework for software model management. [Citation Graph (, )][DBLP]