| Proving optimizations correct using parameterized program equivalence S Kundu, Z Tatlock, S Lerner ACM Sigplan Notices 44 (6), 327-337, 2009 | 121 | 2009 |
| Investigations on arsenic (V) removal by modified calcined bauxite PB Bhakat, AK Gupta, S Ayoob, S Kundu Colloids and Surfaces A: Physicochemical and Engineering Aspects 281 (1-3 …, 2006 | 96 | 2006 |
| Symbolic predictive analysis for concurrent programs C Wang, S Kundu, M Ganai, A Gupta International Symposium on Formal Methods, 256-272, 2009 | 90 | 2009 |
| Integrating intensity–duration-based rainfall threshold and antecedent rainfall-based probability estimate towards generating early warning for rainfall-induced landslides in … J Mathew, DG Babu, S Kundu, KV Kumar, CC Pant Landslides 11 (4), 575-588, 2014 | 76 | 2014 |
| Validating high-level synthesis S Kundu, S Lerner, R Gupta International Conference on Computer Aided Verification, 459-472, 2008 | 55 | 2008 |
| Partial order reduction for scalable testing of SystemC TLM designs S Kundu, M Ganai, R Gupta 2008 45th ACM/IEEE Design Automation Conference, 936-941, 2008 | 52 | 2008 |
| Translation validation of high-level synthesis S Kundu, S Lerner, RK Gupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2010 | 51 | 2010 |
| Remote sensing and GIS based landslide susceptibility assessment using binary logistic regression model: a case study in the Ganeshganga Watershed, Himalayas S Kundu, AK Saha, DC Sharma, CC Pant Journal of the Indian Society of Remote Sensing 41 (3), 697-709, 2013 | 44 | 2013 |
| Contessa: Concurrency Testing Augmented with Symbolic Analysis S Kundu, MK Ganai, C Wang International Conference on Computer Aided Verification, 127-131, 2010 | 20 | 2010 |
| Automated refinement checking of concurrent systems S Kundu, S Lerner, R Gupta 2007 IEEE/ACM International Conference on Computer-Aided Design, 318-325, 2007 | 19 | 2007 |
| Partial order reduction for scalable testing in system level design MK Ganai, S Kundu US Patent App. 12/265,347, 2009 | 18 | 2009 |
| Symbolic predictive analysis for concurrent programs C Wang, S Kundu, R Limaye, M Ganai, A Gupta Formal aspects of computing 23 (6), 781-805, 2011 | 13 | 2011 |
| High-level Verification: Methods and Tools for Verification of System-level Designs S Kundu, S Lerner, R Gupta Springer Verlag, 2011 | 12* | 2011 |
| Reduction of verification conditions for concurrent system using mutually atomic transactions MK Ganai, S Kundu International SPIN Workshop on Model Checking of Software, 68-87, 2009 | 10 | 2009 |
| Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions MK Ganai, S Kundu US Patent 8,448,145, 2013 | 9 | 2013 |
| High-Level Verification S Kundu, S Lerner, R Gupta IPSJ Transactions on System LSI Design Methodology 2, 131-144, 2009 | 6 | 2009 |
| Hydrologically complemented deterministic slope stability analysis in part of Indian Lesser Himalaya J Mathew, S Kundu, KV Kumar, CC Pant Geomatics, Natural Hazards and Risk 7 (5), 1557-1576, 2016 | 5 | 2016 |
| Equivalence checking using structural analysis on data flow graphs S Kundu, CP Pixley US Patent 8,914,758, 2014 | 3 | 2014 |
| OaSis: an application specific operating system for an embedded environment GS Brar, S Kundu, P Worah, S Biswas, A Mukhopadhyay, A Basu 17th International Conference on VLSI Design. Proceedings., 776-779, 2004 | 2 | 2004 |
| Analysis of Debye Waller factor and molecular dynamics simulation of Seryl tRNA synthetase S Dutta, S Kundu, N Nandi JOURNAL OF THE INDIAN CHEMICAL SOCIETY 91 (6), 1125-1144, 2014 | 1 | 2014 |
Sorin LernerProfessor, CSE Dept, UC San DiegoVerified email at cs.ucsd.edu
