Software Engineering Institute

David Kyle

David Kyle is an SEI alumni employee.

All

Cyber-Physical Systems

December 1, 2016 • White Paper

By Bjorn Andersson , Sagar Chaki , Dionisio de Niz , Jeffrey Hansen , Scott Hissam , John J. Hudak , Mark H. Klein , David Kyle , Gabriel Moreno

Input Attribution for Statistical Model Checking using Logistic Regression

September 20, 2016 • Conference Paper

By Jeffrey Hansen , Sagar Chaki , Scott Hissam , James Edmondson , Gabriel Moreno , David Kyle

DMPL: Programming and Verifying Distributed Mixed-Synchrony and Mixed-Critical Software

June 21, 2016 • Technical Report

By Sagar Chaki , David Kyle