David Kyle

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Concurrent Systems

Formal Specification

Temporal Properties

Top Venues

Publications

Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle
Input Attribution for Statistical Model Checking Using Logistic Regression. RV (2016)
David Kyle, Jeffery P. Hansen, Sagar Chaki
Statistical Model Checking of Distributed Adaptive Real-Time Software. RV (2015)
Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky
Optimizing Robotic Team Performance with Probabilistic Model Checking. SIMPAR (2014)
José Carlos Brustoloni, Nicholas L. Farnan, Ricardo Villamarín-Salomón, David Kyle
Efficient Detection of Bots in Subscribers' Computers. ICC (2009)
José Carlos Brustoloni, David Kyle
Updates and Asynchronous Communication in Trusted Computing Systems. ICDCS (2008)
José Carlos Brustoloni, Ricardo Villamarín-Salomón, Peter Djalaliev, David Kyle
Evaluating the usability of usage controls in electronic collaboration. SOUPS (2008)
David Kyle, José Carlos Brustoloni
Uclinux: a linux security module for trusted-computing-based usage controls enforcement. STC (2007)