Craig Damon

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