BibSonomy :: author  ::

bookmarks

publications

(10)

• From Uncertainty to Belief: Inferring the Specification Within.
  Ted Kremenek and Paul Twohey and Godmar Back and Andrew Y. Ng and Dawson R. Engler OSDI 161-176 (2006)
  to dblp by dblp on 2007-06-18 00:00:00
  | URL | BibTeX  
• A Factor Graph Model for Software Bug Finding.
  Ted Kremenek and Andrew Y. Ng and Dawson R. Engler IJCAI 2510-2516 (2007)
  to dblp by dblp on 2007-03-05 00:00:00
  | URL | BibTeX  
• Correlation exploitation in error ranking.
  Ted Kremenek and Ken Ashcraft and Junfeng Yang and Dawson R. Engler SIGSOFT FSE 83-93 (2004)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX  
• MECA: an extensible, expressive system and language for statically checking security properties.
  Junfeng Yang and Ted Kremenek and Yichen Xie and Dawson R. Engler ACM Conference on Computer and Communications Security 321-334 (2003)
  to dblp by dblp on 2006-02-08 00:00:00
  | URL | BibTeX  
• Data Grids, Collections, and Grid Bricks.
  Arcot Rajasekar and Michael Wan and Reagan Moore and George Kremenek and Tom Guptil IEEE Symposium on Mass Storage Systems 2-9 (2003)
  to dblp by dblp on 2003-05-30 00:00:00
  | URL | BibTeX  
• Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.
  Ted Kremenek and Dawson R. Engler SAS 295-315 (2003)
  to dblp by dblp on 2003-05-15 00:00:00
  | URL | BibTeX  
• A Batch Scheduler for the Intel Paragon MPP System with a Non-contiguous Node Allocation Algorithm.
  Michael Wan and Reagan Moore and George Kremenek and Ken Steube JSSPP 48-64 (1996)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• A Probabilistic Room Location Service for Wireless Networked Environments.
  Paul Castro and Patrick Chiu and Ted Kremenek and Richard R. Muntz Ubicomp 18-34 (2001)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Analysis of HPSS Performance Based on Per-file Transfer Logs.
  Wayne Schroeder and Richard Marciano and Joe Lopez and Michael Gleicher and George Kremenek and Chaitanya K. Baru and Reagan Moore IEEE Symposium on Mass Storage Systems 103-115 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX  
• Configuring and Tuning Archival Storage Systems.
  Reagan Moore and Joe Lopez and Charles Lofton and Wayne Schroeder and George Kremenek IEEE Symposium on Mass Storage Systems 158-168 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX