Craig Damon

Publication Activity (10 Years)

Years Active: 1988-2006
Publications (10 Years): 0

Publications

James McQuillan, Craig Damon
Discovering the Impact of Group Structure on 3-SAT. FCS (2006)
Jürgen Dingel, David Garlan, Craig Damon
Bridging the HLA: Problems and Solutions. DS-RT (2002)
Daniel Jackson, Somesh Jha, Craig Damon
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ACM Trans. Program. Lang. Syst. 20 (2) (1998)
Craig Damon
Nitpick: A Tool for Interactive Design Analysis. ICSE (1997)
Craig Damon, Daniel Jackson
Efficient Search as a Means of Executing Specifications. TACAS (1996)
Craig Damon, Daniel Jackson, Somesh Jha
Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE (1996)
Daniel Jackson, Craig Damon
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Trans. Software Eng. 22 (7) (1996)
Daniel Jackson, Craig Damon
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ISSTA (1996)
Daniel Jackson, Somesh Jha, Craig Damon
Faster Checking of Software Specifications by Eliminating Isomorphs. POPL (1996)
Craig Damon, Gordon Landis
Abstract Types and Storage Types in an OO-DBMS. COMPCON (1988)
Joshua Duhl, Craig Damon
A Performance Comparison of Object and Relational Databases Using the Sun Benchmark. OOPSLA (1988)