Sagar Chaki

Software Engineering Institute, Carnegie Mellon University

论文数

9

总引用数

64

H-Index

5

关于

暂无简介。

研究焦点

Computer science9 · 64 次引用
Programming language8 · 59 次引用
Software3 · 39 次引用
Theoretical computer science4 · 37 次引用
Model checking3 · 35 次引用
Formal verification2 · 27 次引用
Distributed computing5 · 27 次引用
Computation tree logic1 · 25 次引用
Abstraction1 · 25 次引用
Linear temporal logic1 · 25 次引用
Mathematics1 · 25 次引用
Abstraction model checking1 · 25 次引用

主要成就

5
H 指数
9
论文
64
总引用数
7
篇均引用
🏆 最高被引论文
State/Event Software Verification for Branching-Time Specifications
25 次引用 · 2005
📈 最高产年份: 2013 (2 论文)
🤝 主要合作者: 15
🏛 所属机构: Software Engineering Institute, Carnegie Mellon University

代表论文

  1. 1
    State/Event Software Verification for Branching-Time Specifications
    25 次引用 · 2005
  2. 2
    Verifying periodic programs with priority inheritance locks
    8 次引用 · 2013
  3. 3
    DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software
    7 次引用 · 2016
  4. 4
    Statistical Model Checking of Distributed Adaptive Real-Time Software
    7 次引用 · 2015
  5. 5
    Probabilistic Verification of Coordinated Multi-robot Missions
    5 次引用 · 2013
  6. 6
    An Expressive Verification Framework for State/Event Systems
    5 次引用 · 2004
  7. 7
    Input Attribution for Statistical Model Checking Using Logistic Regression
    3 次引用 · 2016
  8. 8
    Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots
    2 次引用 · 2014
  9. 9
    Efficient verification of periodic programs using sequential consistency and snapshots
    2 次引用 · 2014

主要合作者

DKDavid Kyle3 篇合著论文AGArie Gurfinkel3 篇合著论文EMEdmund M. Clarke2 篇合著论文OGOrna Grümberg2 篇合著论文NSNatasha Sharygina2 篇合著论文JOJoël Ouaknine2 篇合著论文JPJeffery P. Hansen2 篇合著论文HVHelmut Veith2 篇合著论文TTTayssir Touili2 篇合著论文NSNishant Sinha2 篇合著论文SHScott Hissam1 篇合著论文JGJoseph Giampapa1 篇合著论文GAGabriel A. Moreno1 篇合著论文JEJames Edmondson1 篇合著论文OSOfer Strichman1 篇合著论文
尚未生成