Rahul Purandare

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c7		Rahul Purandare, Javier Darsie, Sebastian G. Elbaum, Matthew B. Dwyer: Extracting conditional component dependence for distributed robotic systems. IROS 2012: 1533-1540
	2011
c6		Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. RV 2011: 381-395
	2010
c5		Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitor optimization via stutter-equivalent loop transformation. OOPSLA 2010: 270-285
c4		Matthew B. Dwyer, Rahul Purandare, Suzette Person: Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV 2010: 36-50
	2008
c3		Matthew B. Dwyer, Rahul Purandare: Residual Checking of Safety Properties. SPIN 2008: 1-2
	2007
c2		Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare: Parallel Randomized State-Space Search. ICSE 2007: 3-12
c1		Matthew B. Dwyer, Rahul Purandare: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE 2007: 124-133

Coauthor Index

Last update Sun May 26 04:56:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page