Craig A. Damon's Publications and Presentations

Publications

Formalizing a Specification for Analysis: The HLA Ownership Properties Craig A. Damon, Ralph Melton, Robert J. Allen, Elizabeth Bigelow, James M. Ivers, David Garlan CMU School of Computer Science Tech Report 99-126, Pittsburgh, PA. January, 1999.
Isomorph-free Model Enumeration. Daniel Jackson, Somesh Jha and Craig A. Damon. ACM Transactions on Programming Languages and Systems, Volume 20, No. 2, March 1998, pp. 302-343.
Selective Enumeration: A Formal Definition. Craig A. Damon CMU School of Computer Science Tech Report 98-104, Pittsburgh, PA. January 1998.
Checking Relational Specifications With Binary Decision Diagrams. Craig A. Damon, Somesh Jha and Daniel Jackson. Proc. Foundations of Software Engineering '96.
Efficient Search as a Means of Executing Specifications. Craig A. Damon and Daniel Jackson. Proc. TACAS '96, March 1996.
Faster Checking of Software Specifications By Eliminating Isomorphs. Daniel Jackson, Somesh Jha and Craig A. Damon. Proc. ACM Conf. on Principles of Programming Languages , January 1996.
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Daniel Jackson and Craig Damon. Proc. International Symposium on Software Testing and Analysis, San Diego, CA, January 1996.
Semi-executable Specifications. Daniel Jackson and Craig A. Damon. CMU School of Computer Science Tech Report 95-216, Pittsburgh, PA. November 1995

Storage Types in Vbase. Craig Damon and Gordon Landis. Proceedings, compcon spring '88. (reprinted in IEEE Readings in Object Databases, Ed. Ez Nahourii and Fred Petry)
A Performance Comparison of Object and Relational Databases Using the Sun Benchmark. Joshua Duhl and Craig Damon. Proceedings, OOPSLA '88, Sigplan Notices, Volume 23, Number 11. (reprinted in IEEE Readings in Object Databases, Ed. Ez Nahourii and Fred Petry)
C++ and COP, A Brief Comparison. Craig Damon. In Object Oriented Databases and Applications, ed. Rajiv Gupta and Ellis Horowitz, Prentice Hall, 1991.
Abstract State and Representation in Vbase. Craig Damon and Gordon Landis. In Object Oriented Databases and Applications, ed. Rajiv Gupta and Ellis Horowitz, Prentice Hall, 1991.