archives

EPrints submitted by Mehdi Bagherzadeh


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 6 EPrints

Mehdi, Bagherzadeh, Robert, Dyer, Rex D., Fernando, Hridesh, Rajan, Jose, Sanchez and Gary T., Leavens (2013) Modular Reasoning in the Presence of Event Subtyping. Technical Report 14-02a, Department of Computer Science, Iowa State University.

Mehdi, Bagherzadeh, Robert, Dyer, Rex D., Fernando, Hridesh, Rajan, Jose, Sanchez and Gary T., Leavens (2013) Modular Reasoning in the Presence of Event Subtyping. Technical Report 14-02, Department of Computer Science, Iowa State University.

Bagherzadeh, Mehdi, Rajan, Hridesh and Darvish, Ali (2013) On Exceptions, Events and Observer Chains. Technical Report 12-12, Department of Computer Science, Iowa State University.

Bagherzadeh, Mehdi, Rajan, Hridesh, Gary T., Leavens and Mooney, Sean (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces. Technical Report 10-02a, Department of Computer Science, Iowa State University.

Mehdi, Bagherzadeh, Hridesh, Rajan, Gary T., Leavens and Sean, Mooney (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-oriented Interfaces. Technical Report 10-02, Department of Computer Science, Iowa State University.

Bagherzadeh, Mehdi, Robert , Dyer, Yuheng, Long and Hridesh, Rajan (2008) Instance-level Quantified, Typed Events for Integrated System Design. Technical Report 08-15, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu