A Probabilistic Room Location Service for Wireless Networked Environments. - Paul C. Castro; Patrick Chiu; Ted Kremenek; Richard R. Muntz (UbiComp, 2001)

MECA: an extensible, expressive system and language for statically checking security properties. - Junfeng Yang; Ted Kremenek; Yichen Xie 001; Dawson R. Engler (CCS, 2003)

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. - Ted Kremenek; Dawson R. Engler (SAS, 2003)

Correlation exploitation in error ranking. - Ted Kremenek; Ken Ashcraft; Junfeng Yang; Dawson R. Engler (SIGSOFT FSE, 2004)

From Uncertainty to Belief: Inferring the Specification Within. - Ted Kremenek; Paul Twohey; Godmar Back; Andrew Y. Ng; Dawson R. Engler (OSDI, 2006)

A Factor Graph Model for Software Bug Finding. - Ted Kremenek; Andrew Y. Ng; Dawson R. Engler (IJCAI, 2007)

From uncertainty to bugs: inferring defects in software systems with static analysis, statistical methods, and probabilistic graphical models. - Ted Kremenek (2009)

A Memory Model for Static Analysis of C Programs. - Zhongxing Xu; Ted Kremenek; Jian Zhang (ISoLA (1), 2010)