Home | Research | Publications | Teaching | Projects | Education/Funding
PUBLICATIONS

Journal
  • Jonathan Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang and Bernd Schoeller: Beyond Contracts for Concurrency, Formal Aspects of Computing, Springer London, 2009, (DOI: 10.1007/s00165-008-0073-8) PDF
Conference/Workshop
  • Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer: Empirical Assessment of Languages for Teaching Concurrency: Methodology and Application. In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T'11), IEEE Computer Society, 2011 PDF
  • Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer: A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages (CoRR abs/1011.6047: 2010) PDF
  • Faraz Torshizi, Jonathan S. Ostroff, Richard F. Paige, and Marsha Chechik: The SCOOP Concurrency Model in Java-like Languages, Communicating Process Architectures conference (CPA'09) PDF
  • Eric Kerfoot, Steve McKeever and Faraz Torshizi: Deadlock Freedom Through Object Ownership, International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09) PDF
  • Jonathan Ostroff, Faraz Ahmadi Torshizi: Testable Requirements and Specifications, LNCS 4454, Tests and Proofs (TAP'07) PDF
  • Jonathan Ostroff, Faraz Torshizi, and Hai Feng Huang: Verifying Properties Beyond Contracts of SCOOP Programs, First International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages (CORDIE'06) PDF
  • Jonathan Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz Ahmadi Torshizi: Automated Model-based Verification of Object-Oriented Code, VSTTE 2006, Microsoft Technical Report MSR-TR-2006-117 Internal PDF
Poster/Demo
  • Faraz Torshizi, Cameron Gorrie, and Marsha Chechik: JSCOOP: Simple Concurrency for Java, IBM Technology showcase, CASCON'09
  • Eric Kerfoot, Steve McKeever and Faraz Torshizi: Formal Relationships for Active Objects, Relationships and Associations in Object-Oriented Languages (RAOOL'09)
  • Faraz Ahmadi Torshizi, Kevin Dolye, and Jenna Lau: JSCOOP: A Framework Toward Fair Concurrency in Java, IBM Technology showcase, CASCON'08
  • Jonathan Ostroff, Chen-Wei Wang, Faraz Ahmadi Torshizi, and Eric Kerfoot: ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code, Posters and Research Tool Demonstrations, FM'06 PDF