Concepedia

David Coppit

DC

Statistics

Publications

21

Citations

1.1K

H-Index

18

Active since

1997

Affiliations

University of Virginia(Current)

Williams (United States)

Daniel H. Wagner Associates (United States)

David Coppit is an author at University of Virginia specializing in computing, software engineering, and computer science.

Publications per year

1997–2007

21

Publications

21

The Galileo fault tree analysis tool

Kevin Sullivan, J.B. Dugan, David Coppit · 2003 · 186 citations

Computing, Computer Engineering, Computer Science +14

Developing a low-cost high-quality software tool for dynamic fault-tree analysis

J.B. Dugan, Kevin Sullivan, David Coppit · IEEE Transactions on Reliability · 2000 · 184 citations

Computing, Computer Science, Fault-tolerant Systems +16

Combining various solution techniques for dynamic fault tree analysis of computer systems

R. Manian, J.B. Dugan, David Coppit et al. · 2002 · 113 citations

Computing, Computer Science, Computer Systems +17

Software assurance by bounded exhaustive testing

Kevin Sullivan, Jinlin Yang, David Coppit et al. · 2004 · 83 citations

Computing, Computer Engineering, Computer Science +13

Formal semantics of models for computational engineering: a case study on dynamic fault trees

David Coppit, Kevin Sullivan, J.B. Dugan · 2002 · 79 citations

Computing, Computational Engineering, Computer Science +15

1–5 of 21