Ted Kremenek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2003–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ISoLA | A Memory Model for Static Analysis of C Programs. | Zhongxing Xu, Ted Kremenek, Jian Zhang |
| 2007 | IJCAI | A Factor Graph Model for Software Bug Finding. | Ted Kremenek, Andrew Y. Ng, Dawson R. Engler |
| 2006 | OSDI | From Uncertainty to Belief: Inferring the Specification Within. | Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler |
| 2003 | CCS | MECA: an extensible, expressive system and language for statically checking security properties. | Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler |
| 2003 | SAS | Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. | Ted Kremenek, Dawson R. Engler |