Edmund M. Clarke

Carnegie Mellon University

Papers

9

Total Citations

372

H-Index

7

About

No biography available yet.

Research Focus

Computer science9 · 372 citations
Programming language6 · 315 citations
Theoretical computer science6 · 289 citations
Mathematics4 · 269 citations
Algorithm3 · 254 citations
Bounded function3 · 244 citations
Reachability3 · 244 citations
Machine learning2 · 210 citations
Hybrid system2 · 210 citations
Nonlinear system2 · 210 citations
Reachability problem2 · 210 citations
Artificial intelligence1 · 205 citations

Key Achievements

7
H-Index
9
Papers
372
Total Citations
41
Avg Citations/Paper
🏆 Most Cited Paper
dReach: δ-Reachability Analysis for Hybrid Systems
205 citations · 2015
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: Carnegie Mellon University

Top Papers

  1. 1
    dReach: δ-Reachability Analysis for Hybrid Systems
    205 citations · 2015
  2. 2
    The verus tool: A quantitative approach to the formal verification of real-time systems
    36 citations · 1997
  3. 3
    Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
    34 citations · 2014
  4. 4
    A quantitative approach to the formal verification of real-time systems
    31 citations · 1996
  5. 5
    State/Event Software Verification for Branching-Time Specifications
    25 citations · 2005
  6. 6
    Analysis and verification of real-time systems using quantitative symbolic algorithms
    18 citations · 1999
  7. 7
    Model Checking of Robotic Control Systems
    13 citations · 2018
  8. 8
    An Expressive Verification Framework for State/Event Systems
    5 citations · 2004
  9. 9
    Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
    5 citations · 2014

Key Collaborators

SGSicun Gao3 shared papersSKSoonho Kong3 shared papersHVHelmut Veith2 shared papersSCSérgio Campos2 shared papersWCWei Chen2 shared papersOGOrna Grümberg2 shared papersTTTayssir Touili2 shared papersSCSagar Chaki2 shared papersJOJoël Ouaknine2 shared papersNSNatasha Sharygina2 shared papersMMMarius Minea1 shared papersWCWei Chen1 shared papersSXS x E rgio Vale Aguiar Campos1 shared papersSSSebastian Scherer1 shared papersFLFlavio Lerda1 shared papers
Not generated yet