Concepedia

David E. Long

DE

33

Publications

4.8K

Citations

23

H-Index

1986

Active since

Affiliations

Carnegie Mellon University(Current)

Technion – Israel Institute of Technology

Nokia (United States)

Alcatel Lucent (Germany)

AT&T (United States)

David E. Long is an author at Carnegie Mellon University specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringFormal MethodsComputer ScienceVerificationFormal VerificationAutomated ReasoningSoftware AnalysisSystems EngineeringProgram Analysis

Publications per year

1986–2010

33

Publications

33

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Program Checking, Engineering, Verification +16

Symbolic model checking for sequential circuit verification

Jerry R. Burch, E. M. Clarke, David E. Long et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 548 citations

Engineering, Verification, Computer-aided Verification +18

Model checking and modular verification

Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 525 citations · Full text

Logic Ctl, Engineering, Automated Reasoning +14

Compositional model checking

E. M. Clarke, David E. Long, Kenneth L. McMillan · 2003 · 468 citations

Engineering, Temporal Logic Model, Verification +22

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · 1992 · 348 citations · Full text

Program Checking, Engineering, Verification +19

Rows per page

1–5 of 33