BibSonomy :: author  :: Rungta ::

bookmarks

publications

(8)

• Limiting trust in the storage stack.
  Lakshmi N. Bairavasundaram and Meenali Rungta and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau StorageSS 53-60 (2006)
  to dblp by dblp on 2008-04-22 00:00:00
  | URL | BibTeX  
• Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs.
  Neha Rungta and Hyrum Carroll and Eric G. Mercer and Randall J. Roper and Mark J. Clement and Quinn Snell FMCAD 216-219 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• Hardness for Explicit State Software Model Checking Benchmarks.
  Neha Rungta and Eric G. Mercer SEFM 247-256 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• Generating Counter-Examples Through Randomized Guided Search.
  Neha Rungta and Eric G. Mercer SPIN 39-57 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Adding parity to the Linux ext3 file system.
  Himani Apte and Meenali Rungta Operating Systems Review 41 56-65 (2007)
  to dblp by dblp on 2007-06-05 00:00:00
  | URL | BibTeX  
• An Improved Distance Heuristic Function for Directed Software Model Checking.
  Neha Rungta and Eric G. Mercer FMCAD 60-67 (2006)
  to dblp by dblp on 2007-05-03 00:00:00
  | URL | BibTeX  
• Overlays on Wireless Mesh Networks: Implementation and Cross-Layer Searching.
  Gang Ding and John B. Vicente and Sanjay Rungta and Dilip Krishnaswamy and Winson Chan and Kai Miao MMNS 171-182 (2006)
  to dblp by dblp on 2006-12-13 00:00:00
  | URL | BibTeX  
• A context-sensitive structural heuristic for guided search model checking.
  Neha Rungta and Eric G. Mercer ASE 410-413 (2005)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX