Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
Tenure and Promotion Documents

General Documents

Curriculum Vitae (26 Jan 2010)

Selected Papers

Some of my papers over the last 10 years are available below for the benefit of peer reviewers. Most of the papers listed on my CV are available on my publications page.

  • Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, and Bernd Schoeller, “Beyond contracts for concurrency”, Formal Aspects of Computing, vol. 21:4 (to appear 2009), 28 pages. PDF
  • Richard F. Paige, Phil J. Brooke, and Jonathan S. Ostroff. “Metamodel-Based Model Conformance and Multi-View Consistency Checking”, ACM Transactions on Software Engineering and Methodology,Vol. 16, No. 3, Article 11, July 2007, 49 pages. PDF
  • Jonathan S. Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz Ahmadi Torshizi, “Automated Model-based Verification of Object-Oriented Code”, Verified Software: Theory, Tools, and Experiments 2006 (VSTTE 2006, as part of FLoC 2006), Seattle, August 22, 2006. PDF
  • R.F. Paige and J.S. Ostroff. ERC: an Object-Oriented Refinement Calculus for Eiffel, Formal Aspects of Computing, Vol 16, pages 51-79, Springer-Verlag, April 2004.PDF
  • Ostroff, J.S. Composition and Refinement of Discrete Real-Time Systems. ACM Trans. on Software Engineering Methodology, 8(1): 1-48, 1999. PDF
Last modified:
2010/02/12 14:33