Edmund M. Clarke

Carnegie Mellon University

论文数

9

总引用数

372

H-Index

7

关于

暂无简介。

研究焦点

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

主要成就

7
H 指数
9
论文
372
总引用数
41
篇均引用
🏆 最高被引论文
dReach: δ-Reachability Analysis for Hybrid Systems
205 次引用 · 2015
📈 最高产年份: 2014 (2 论文)
🤝 主要合作者: 15
🏛 所属机构: Carnegie Mellon University

代表论文

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

主要合作者

SGSicun Gao3 篇合著论文SKSoonho Kong3 篇合著论文HVHelmut Veith2 篇合著论文SCSérgio Campos2 篇合著论文WCWei Chen2 篇合著论文OGOrna Grümberg2 篇合著论文TTTayssir Touili2 篇合著论文SCSagar Chaki2 篇合著论文JOJoël Ouaknine2 篇合著论文NSNatasha Sharygina2 篇合著论文MMMarius Minea1 篇合著论文WCWei Chen1 篇合著论文SXS x E rgio Vale Aguiar Campos1 篇合著论文SSSebastian Scherer1 篇合著论文FLFlavio Lerda1 篇合著论文
尚未生成