Ted Kremenek

According to our database1, Ted Kremenek authored at least 7 papers between 2001 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
A Memory Model for Static Analysis of C Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2007
A Factor Graph Model for Software Bug Finding.
Proceedings of the IJCAI 2007, 2007

2006
From Uncertainty to Belief: Inferring the Specification Within.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2004
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

2003
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

2001
A Probabilistic Room Location Service for Wireless Networked Environments.
Proceedings of the Ubicomp 2001: Ubiquitous Computing, 2001


  Loading...