BibSonomy :: author  ::

bookmarks

publications

(16)

• Residual Checking of Safety Properties.
  Matthew B. Dwyer and Rahul Purandare SPIN 1-2 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Analyzing Dialog Coherence Using Transition Patterns in Lexical and Semantic Features.
  Amruta Purandare and Diane J. Litman FLAIRS Conference 195-200 (2008)
  to dblp by dblp on 2008-08-15 00:00:00
  | URL | BibTeX  
• Content-Learning Correlations in Spoken Tutoring Dialogs at Word, Turn, and Discourse Levels.
  Amruta Purandare and Diane J. Litman FLAIRS Conference 439-443 (2008)
  to dblp by dblp on 2008-08-15 00:00:00
  | URL | BibTeX  
• An Alliance Based Peering Scheme for P2P Live Media Streaming.
  Darshan Purandare and Ratan Guha IEEE Transactions on Multimedia 9 1633-1644 (2007)
  to dblp by dblp on 2008-04-11 00:00:00
  | URL | BibTeX  
• Approximation Refinement for Interpolation-Based Model Checking.
  Vijay D'Silva and Mitra Purandare and Daniel Kroening VMCAI 68-82 (2008)
  to dblp by dblp on 2008-03-03 00:00:00
  | URL | BibTeX  
• Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.
  Matthew B. Dwyer and Rahul Purandare ASE 124-133 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Parallel Randomized State-Space Search.
  Matthew B. Dwyer and Sebastian G. Elbaum and Suzette Person and Rahul Purandare ICSE 3-12 (2007)
  to dblp by dblp on 2007-06-01 00:00:00
  | URL | BibTeX  
• Preferential and Strata based P2P Model: Selfishness to Altruism and Fairness.
  Darshan Purandare and Ratan K. Guha ICPADS (1) 561-570 (2006)
  to dblp by dblp on 2006-09-25 00:00:00
  | URL | BibTeX  
• Dos and don'ts of CTL state coverage estimation.
  Nikhil Jayakumar and Mitra Purandare and Fabio Somenzi DAC 292-295 (2003)
  to dblp by dblp on 2006-02-10 00:00:00
  | URL | BibTeX  
• An IV Collision Avoidance Algorithm - Strengthening the WEP.
  Darshan Purandare and Ratan K. Guha and Joohan Lee ICWN 73-78 (2005)
  to dblp by dblp on 2006-01-24 00:00:00
  | URL | BibTeX