David Kyle

Software Engineering Institute, Carnegie Mellon University

论文数

3

总引用数

17

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 17 次引用
Programming language3 · 17 次引用
Software2 · 14 次引用
Real-time computing1 · 7 次引用
Distributed computing1 · 7 次引用
Software engineering1 · 7 次引用
Set (abstract data type)1 · 3 次引用
Machine learning1 · 3 次引用
Attribution1 · 3 次引用
Data mining1 · 3 次引用
Logistic regression1 · 3 次引用
Artificial intelligence1 · 3 次引用

主要成就

3
H 指数
3
论文
17
总引用数
6
篇均引用
🏆 最高被引论文
DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software
7 次引用 · 2016
📈 最高产年份: 2016 (2 论文)
🤝 主要合作者: 5
🏛 所属机构: Software Engineering Institute, Carnegie Mellon University

代表论文

  1. 1
    DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software
    7 次引用 · 2016
  2. 2
    Statistical Model Checking of Distributed Adaptive Real-Time Software
    7 次引用 · 2015
  3. 3
    Input Attribution for Statistical Model Checking Using Logistic Regression
    3 次引用 · 2016

主要合作者

SCSagar Chaki3 篇合著论文JPJeffery P. Hansen2 篇合著论文GAGabriel A. Moreno1 篇合著论文JEJames Edmondson1 篇合著论文SHScott Hissam1 篇合著论文
尚未生成