|
Search the dblp DataBase
Ted Kremenek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
MECA: an extensible, expressive system and language for statically checking security properties. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer and Communications Security, 2003, pp:321-334 [Conf]
- Paul Castro, Patrick Chiu, Ted Kremenek, Richard R. Muntz
A Probabilistic Room Location Service for Wireless Networked Environments. [Citation Graph (0, 0)][DBLP] Ubicomp, 2001, pp:18-34 [Conf]
- Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
A Factor Graph Model for Software Bug Finding. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:2510-2516 [Conf]
- Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
From Uncertainty to Belief: Inferring the Specification Within. [Citation Graph (0, 0)][DBLP] OSDI, 2006, pp:161-176 [Conf]
- Ted Kremenek, Dawson R. Engler
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:295-315 [Conf]
- Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler
Correlation exploitation in error ranking. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2004, pp:83-93 [Conf]
Search in 0.001secs, Finished in 0.002secs
|