Ted Kremenek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EETed Kremenek, Andrew Y. Ng, Dawson R. Engler: A Factor Graph Model for Software Bug Finding. IJCAI 2007: 2510-2516
5EETed Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler: From Uncertainty to Belief: Inferring the Specification Within. OSDI 2006: 161-176
4EETed Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler: Correlation exploitation in error ranking. SIGSOFT FSE 2004: 83-93
3EEJunfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler: MECA: an extensible, expressive system and language for statically checking security properties. ACM Conference on Computer and Communications Security 2003: 321-334
2EETed Kremenek, Dawson R. Engler: Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. SAS 2003: 295-315
1EEPaul Castro, Patrick Chiu, Ted Kremenek, Richard R. Muntz: A Probabilistic Room Location Service for Wireless Networked Environments. Ubicomp 2001: 18-34

Coauthor Index

1Ken Ashcraft [4]
2Godmar Back [5]
3Paul Castro [1]
4Patrick Chiu [1]
5Dawson R. Engler [2] [3] [4] [5] [6]
6Richard R. Muntz [1]
7Andrew Y. Ng [5] [6]
8Paul Twohey [5]
9Yichen Xie [3]
10Junfeng Yang [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)