BibSonomy publications for /author/Kremenek http://www.bibsonomy.org/author/Kremenek BibSonomy RSS Feed for /author/Kremenek From Uncertainty to Belief: Inferring the Specification Within. dblp http://www.bibsonomy.org/bibtex/262be779f40e82530af623d32645f5cf6/dblp dblp 2007-06-18T00:00:00+02:00 dblp
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
]]> A Factor Graph Model for Software Bug Finding. dblp http://www.bibsonomy.org/bibtex/27cb3990e9fcf4de41e1c74d92e610b34/dblp dblp 2007-03-05T00:00:00+01:00 dblp
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
]]> Correlation exploitation in error ranking. dblp http://www.bibsonomy.org/bibtex/2f017d4386e7b21b1bf76cd1dbf960beb/dblp dblp 2006-02-15T00:00:00+01:00 dblp
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
]]> MECA: an extensible, expressive system and language for statically checking security properties. dblp http://www.bibsonomy.org/bibtex/272fe3f2991029dd92535bea21f3bec74/dblp dblp 2006-02-08T00:00:00+01:00 dblp
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
]]> Data Grids, Collections, and Grid Bricks. dblp http://www.bibsonomy.org/bibtex/2518adb0698e7d560f07504cb3b011b7b/dblp dblp 2003-05-30T00:00:00+02:00 dblp
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
]]> Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. dblp http://www.bibsonomy.org/bibtex/2f570ff0f17a91832db227f6a8464f716/dblp dblp 2003-05-15T00:00:00+02:00 dblp
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
]]> A Batch Scheduler for the Intel Paragon MPP System with a Non-contiguous Node Allocation Algorithm. dblp http://www.bibsonomy.org/bibtex/28e0e6eb368cb6649430356be1491f23f/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> A Probabilistic Room Location Service for Wireless Networked Environments. dblp http://www.bibsonomy.org/bibtex/2b3d2ecfa84c896cf4a9e745dfeba819f/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Analysis of HPSS Performance Based on Per-file Transfer Logs. dblp http://www.bibsonomy.org/bibtex/2b91805db8b869a42be566776633b73dd/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]> Configuring and Tuning Archival Storage Systems. dblp http://www.bibsonomy.org/bibtex/2bb5ca90dbd170f0a6164fb61787172ed/dblp dblp 2002-01-03T00:00:00+01:00 dblp
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
]]>