2008 |
12 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Steve M. Easterbrook,
Marsha Chechik:
Global consistency checking of distributed models with TReMer+.
ICSE 2008: 815-818 |
11 | EE | Jocelyn Simmonds,
Marsha Chechik,
Shiva Nejati,
Elena Litani,
Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations.
RV 2008: 137-157 |
10 | EE | Shiva Nejati,
Mehrdad Sabetzadeh,
Marsha Chechik,
Sebastián Uchitel,
Pamela Zave:
Towards compositional synthesis of evolving systems.
SIGSOFT FSE 2008: 285-296 |
2007 |
9 | EE | Yuan Gan,
Marsha Chechik,
Shiva Nejati,
Jon Bennett,
Bill O'Farrell,
Julie Waterhouse:
Runtime monitoring of web service conversations.
CASCON 2007: 42-57 |
8 | EE | Rick Salay,
Marsha Chechik,
Steve M. Easterbrook,
Zinovy Diskin,
Pete McCormick,
Shiva Nejati,
Mehrdad Sabetzadeh,
Petcharat Viriyakattiyaporn:
An Eclipse-based tool framework for software model management.
ETX 2007: 55-59 |
7 | EE | Shiva Nejati,
Mehrdad Sabetzadeh,
Marsha Chechik,
Steve M. Easterbrook,
Pamela Zave:
Matching and Merging of Statecharts Specifications.
ICSE 2007: 54-64 |
6 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Sotirios Liaskos,
Steve M. Easterbrook,
Marsha Chechik:
Consistency Checking of Conceptual Models via Model Merging.
RE 2007: 221-230 |
2006 |
5 | EE | Shiva Nejati,
Mihaela Gheorghiu,
Marsha Chechik:
Thorough Checking Revisited.
FMCAD 2006: 106-116 |
4 | EE | Mehrdad Sabetzadeh,
Shiva Nejati,
Steve M. Easterbrook,
Marsha Chechik:
A relationship-driven approach to view merging.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
2005 |
3 | EE | Shiva Nejati,
Marsha Chechik:
Let's agree to disagree.
ASE 2005: 287-290 |
2 | EE | Shiva Nejati:
Formal support for merging and negotiation.
ASE 2005: 456-460 |
1 | EE | Shiva Nejati,
Arie Gurfinkel,
Marsha Chechik:
Stuttering Abstraction for Model Checkin.
SEFM 2005: 311-320 |