Research Interests:
My interests are in software engineering, and more specifically, in model-based software development. In particular, I am interested in model checking, abstraction and refinement, distributed model management, feature interaction analysis, synthesis, automata theory, and logic.

Publications:
Conferences:
  • Towards Compositional Synthesis of Evolving Systems. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastian Uchitel, and Pamela Zave. FSE'08. [PDF].

  • Global Consistency Checking of Distributed Models with TReMer+. Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, and Marsha Chechik. ICSE'08 (Tool Paper). [ PDF].

  • Runtime Monitoring of Web Service Conversations. Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, and Julie Waterhouse. CASCON'07. [PDF] Best student paper.

  • Consistency Checking of Conceptual Models via Model Merging. Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve Easterbrook, and Marsha Chechik. RE'07. [PDF].

  • Matching and Merging of Statecharts Specifications. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, and Pamela Zave. ICSE'07.[PDF]. Talk [PDF]. Appendix [PS]. ACM SIGSOFT distinguished paper.

  • Thorough Checking Revisited. Shiva Nejati, Mihaela Gheorghiu and Marsha Chechik. FMCAD'06. [PDF]. The version with proofs [PDF]. Talk [PDF].

  • Let's Agree to Disagree. Shiva Nejati and Marsha Chechik. ASE'05 (short paper). [PDF]. Poster [PDF]. The full version is available as a University of Toronto Technical Report CSRG-530 [PDF].

  • Stuttering Abstraction for Model Checking. Shiva Nejati, Arie Gurfinkel, and Marsha Chechik. SEFM'05.[PDF]. Talk [PDF].

Workshops:
  • Behavioural Model Fusion: An Overview of Challenges. Shiva Nejati and Marsha Chechik. Workshop on Modeling in Software Engineering (MiSE'08) co-located with ICSE'08. [PDF] Talk [PDF].

  • Property Patterns for Runtime Monitoring of Web Service Conversations. Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, and Bill O'Farrell. Workshop on Runtime Verification (RV'08) co-located with ETAPS'08. [PDF].

  • A Relationship-Driven Framework for Model Merging. Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, and Marsha Chechik. Workshop on Modeling in Software Engineering (MiSE'07) co-located with ICSE'07. [PDF].

  • A Manifesto for Model Merging. Greg Brunet, Marsha Chechik, Steve Easterbrook, Shiva Nejati, Nan Niu and Mehrdad Sabetzadeh. Workshop on Global Integrated Model Management (GaMMa'06) co-located with ICSE'06. [PDF].

Posters and Other Refereed Contributions:
  • A Relationship-Driven Approach to View Merging. Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, and Marsha Chechik. Posters Track of FSE'06. Poster [PDF].

  • TReMer: A Tool for Relationship-Driven Model Merging. Mehrdad Sabetzadeh, Shiva Nejati, Steve Easterbrook, Marsha Chechik. Tools and Posters Track of FM'06.

  • Formal Support for Merging and Negotiation. Shiva Nejati. ASE'05 (Doctoral Symposium). [PDF]. Talk [PDF].

  • Stuttering Refinement on Partial Systems. Shiva Nejati and Arie Gurfinkel. Short presentation in LICS'03. [PDF]. Talk [PDF].

Theses and Technical Reports:
  • Identifying and Representing Requirements Variability in Families of Reactive Software. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, and Steve Easterbrook. Technical Report CSRG-538, Department of Computer Science, University of Toronto, February 2006.

  • Refinement Relations on Partial Specifications Shiva Nejati. Master's Thesis, Department of Computer Science, University of Toronto, June 2003. [PDF]

Tools: