David Kyle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2007–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | RV | Input Attribution for Statistical Model Checking Using Logistic Regression. | Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle |
| 2015 | RV | Statistical Model Checking of Distributed Adaptive Real-Time Software. | David Kyle, Jeffery P. Hansen, Sagar Chaki |
| 2008 | ICDCS | Updates and Asynchronous Communication in Trusted Computing Systems. | Jos Carlos Brustoloni, David Kyle |
| 2008 | SOUPS | Evaluating the usability of usage controls in electronic collaboration. | Jos Carlos Brustoloni, Ricardo Villamarn-Salomn, Peter Djalaliev, David Kyle |
| 2007 | CCS | Uclinux: a linux security module for trusted-computing-based usage controls enforcement. | David Kyle, Jos Carlos Brustoloni |