University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Eric Kerfoot : Publications

By dateBy titleBy typeBibtex

[1]

Checking Concurrent Contracts with Aspects

Eric Kerfoot and Steve McKeever

In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010.

Details | BibTeX | Download  (pdf)

[2]

Formal Relationships in Sequential Object Systems

Eric Kerfoot

PhD Thesis 2010.

Details | BibTeX | Download  (pdf)

[3]

Deadlock Freedom Through Object Ownership

Eric Kerfoot‚ Steve McKeever and Faraz Torshizi

In Tobias Wrigstad, editor, 5rd International Workshop on Aliasing‚ Confinement and Ownership in object−oriented programming (IWACO)‚ in conjunction with ECOOP 2009. July, 2009.

Details | BibTeX | Download  (pdf)

[4]

Maintaining Invariants Through Object Coupling Mechanisms

Eric Kerfoot and Steve McKeever

In Tobias Wrigstad, editor, 3rd International Workshop on Aliasing‚ Confinement and Ownership in object−oriented programming (IWACO)‚ in conjunction with ECOOP 2007. July, 2007.

Details | BibTeX | Download  (pdf)

[5]

Automated Model−based Verification of Object−Oriented Code

J. S. Ostroff‚ C. Wang‚ E. Kerfoot and F. A. Torshizi

In Verified Software: Theories‚ Tools‚ Experiments (VSTTE Workshop‚ Floc 2006). Microsoft Research MSR−TR−2006−117. 2006.

Details | BibTeX | Download  (pdf)