icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
David Kyle
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