David Kyle

According to our database, David Kyle authored at least 7 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Statistical Model Checking of Distributed Adaptive Real-Time Software.

David Kyle, Jeffery P. Hansen, Sagar Chaki

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Optimizing Robotic Team Performance with Probabilistic Model Checking.

Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

2009

Efficient Detection of Bots in Subscribers' Computers.

José Carlos Brustoloni, Nicholas L. Farnan, Ricardo Villamarín-Salomón, David Kyle

Proceedings of IEEE International Conference on Communications, 2009

2008

Evaluating the usability of usage controls in electronic collaboration.

José Carlos Brustoloni, Ricardo Villamarín-Salomón, Peter Djalaliev, David Kyle

Proceedings of the 4th Symposium on Usable Privacy and Security, 2008

Updates and Asynchronous Communication in Trusted Computing Systems.

José Carlos Brustoloni, David Kyle

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007

Uclinux: a linux security module for trusted-computing-based usage controls enforcement.

David Kyle, José Carlos Brustoloni

Proceedings of the 2nd ACM Workshop on Scalable Trusted Computing, 2007