Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Shiva Nejati
2010 – today
- 2012
[j5]Shiva Nejati, Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Thierry Coq: A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Information & Software Technology 54(6): 569-590 (2012)- [j4]Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh: A relationship-based approach to model integration. ISSE 8(1): 3-18 (2012)
- [j3]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave: Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012)
- [c18]Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand: Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA 2012: 226-243
- [c17]Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. ICST 2012: 764-769
- [c16]Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand: Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. MoDELS 2012: 759-775
- [c15]Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue: Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. MoDELS 2012: 793-809
- 2011
- [c14]Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic: Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ECMFA 2011: 236-252
- [c13]Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills: Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. HASE 2011: 193-201
- [c12]Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina: SafeSlice: a model slicing and design safety inspection tool for SysML. SIGSOFT FSE 2011: 460-463
2000 – 2009
- 2009
- [j2]Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani, Julie Waterhouse: Runtime Monitoring of Web Service Conversations. IEEE T. Services Computing 2(3): 223-244 (2009)
- 2008
- [c11]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik: Global consistency checking of distributed models with TReMer+. ICSE 2008: 815-818
- [c10]Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell: Property Patterns for Runtime Monitoring of Web Service Conversations. RV 2008: 137-157
- [c9]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave: Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296
- 2007
- [c8]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse: Runtime monitoring of web service conversations. CASCON 2007: 42-57
- [c7]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
- [c6]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave: Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64
- [c5]Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik: Consistency Checking of Conceptual Models via Model Merging. RE 2007: 221-230
- 2006
- [j1]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)
- [c4]
- 2005
- [c3]
- [c2]
- [c1]Shiva Nejati, Arie Gurfinkel, Marsha Chechik: Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-05 03:38 CET by the dblp team