Concepedia

Craig A. Damon

CA

Statistics

Publications

8

Citations

374

H-Index

8

Active since

1988

Affiliations

Carnegie Mellon University(Current)

Craig A. Damon is an author at Carnegie Mellon University specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisVerificationFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationFormal SpecificationSoftware Design

Publications per year

1988–2003

8

Publications

8

Elements of style

Daniel Jackson, Craig A. Damon · ACM SIGSOFT Software Engineering Notes · 1996 · 116 citations · Full text

Engineering, Verification, Automated Proof +24

Elements of style: analyzing a software design feature with a counterexample detector

Darren L. Jackson, Craig A. Damon · IEEE Transactions on Software Engineering · 1996 · 106 citations

Software Maintenance, Engineering, Verification +31

A performance comparison of object and relational databases using the Sun Benchmark

Joshua Duhl, Craig A. Damon · 1988 · 36 citations

Software Maintenance, Relational Database, Engineering +30

Isomorph-free model enumeration

Daniel Jackson, Somesh Jha, Craig A. Damon · ACM Transactions on Programming Languages and Systems · 1998 · 33 citations · Full text

Engineering, Verification, Model Checking +21

Bridging the HLA: problems and solutions

Jürgen Dingel, David Garlan, Craig A. Damon · 2003 · 32 citations

A A Service, Engineering, Computer Architecture +21

1–5 of 8