Eric Kerfoot : Publications
-
[1]
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 about Automated Model−based Verification of Object−Oriented Code | BibTeX data for Automated Model−based Verification of Object−Oriented Code | Download (pdf) of Automated Model−based Verification of Object−Oriented Code
-
[2]
Checking Concurrent Contracts with Aspects
Eric Kerfoot and Steve McKeever
In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010.
Details about Checking Concurrent Contracts with Aspects | BibTeX data for Checking Concurrent Contracts with Aspects | Download (pdf) of Checking Concurrent Contracts with Aspects
-
[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 about Deadlock Freedom Through Object Ownership | BibTeX data for Deadlock Freedom Through Object Ownership | Download (pdf) of Deadlock Freedom Through Object Ownership
-
[4]
Formal Relationships in Sequential Object Systems
Eric Kerfoot
PhD Thesis 2010.
Details about Formal Relationships in Sequential Object Systems | BibTeX data for Formal Relationships in Sequential Object Systems | Download (pdf) of Formal Relationships in Sequential Object Systems
-
[5]
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 about Maintaining Invariants Through Object Coupling Mechanisms | BibTeX data for Maintaining Invariants Through Object Coupling Mechanisms | Download (pdf) of Maintaining Invariants Through Object Coupling Mechanisms