| Synergy: A new algorithm for property checking BS Gulavani, TA Henzinger, Y Kannan, AV Nori, SK Rajamani Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006 | 293 | 2006 |
| Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008 | 127 | 2008 |
| A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis BS Gulavani, S Gulwani International Conference on Computer Aided Verification, 370-384, 2008 | 106 | 2008 |
| Counterexample driven refinement for abstract interpretation BS Gulavani, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2006 | 92 | 2006 |
| Bottom-up shape analysis BS Gulavani, S Chakraborty, G Ramalingam, AV Nori Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009 | 44 | 2009 |
| Bottom-up shape analysis using lisf BS Gulavani, S Chakraborty, G Ramalingam, AV Nori ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 1-41, 2011 | 15 | 2011 |
| Refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani Information Processing Letters 110 (16), 666-671, 2010 | 9 | 2010 |
| Counterexample driven refinement for abstract interpretation SK Rajamani, B Gulavani US Patent 7,509,534, 2009 | 5 | 2009 |
| On Improving the Precision of Static Program Analysis BS Gulavani PQDT-Global, 2010 | | 2010 |
| Symbolic timing verification and analysis BS Gulavani Indian Institute of Technology Bombay, 0 | | |
