Eric Kerfoot : Publications

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)

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)

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)

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)