According to our database1, Ted Kremenek authored at least 7 papers between 2001 and 2010.
Legend:Book In proceedings Article PhD thesis Other
A Memory Model for Static Analysis of C Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
A Factor Graph Model for Software Bug Finding.
Proceedings of the IJCAI 2007, 2007
From Uncertainty to Belief: Inferring the Specification Within.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006
Correlation exploitation in error ranking.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.
Proceedings of the Static Analysis, 10th International Symposium, 2003
MECA: an extensible, expressive system and language for statically checking security properties.
Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003
A Probabilistic Room Location Service for Wireless Networked Environments.
Proceedings of the Ubicomp 2001: Ubiquitous Computing, 2001