| Cadena: An integrated development, analysis, and verification environment for component-based systems J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 265 | 2003 |
| A new foundation for control dependence and slicing for modern program structures VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007 | 118 | 2007 |
| Experimental study with real-world data for android app security analysis using machine learning S Roy, J DeLoach, Y Li, N Herndon, D Caragea, X Ou, VP Ranganath, ... Proceedings of the 31st Annual Computer Security Applications Conference, 81-90, 2015 | 97 | 2015 |
| Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs MB Dwyer, J Hatcliff, VP Ranganath Formal Methods in System Design 25, 199-240, 2004 | 95 | 2004 |
| Slicing concurrent Java programs using Indus and Kaveri VP Ranganath, J Hatcliff International Journal on Software Tools for Technology Transfer 9 (5-6), 489-504, 2007 | 93 | 2007 |
| Kaveri: Delivering the Indus Java Program Slicer to Eclipse. G Jayaraman, VP Ranganath, J Hatcliff FASE 5, 269-272, 2005 | 80 | 2005 |
| A set-based approach to packet classification VP Ranganath, D Andresen Proceedings of the IASTED International Conference on Parallel and …, 2003 | 76 | 2003 |
| Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs M Dwyer, J Hatcliff, M Hoosier, V Ranganath, T Wallentine Tools and Algorithms for the Construction and Analysis of Systems, 73-89, 2006 | 75 | 2006 |
| A new foundation for control-dependence and slicing for modern program structures VP Ranganath, T Amtoft, A Banerjee, MB Dwyer, J Hatcliff Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 72 | 2005 |
| Mining quantified temporal rules: Formalism, algorithms, and evaluation D Lo, G Ramalingam, VP Ranganath, K Vaswani Science of Computer Programming 77 (6), 743-759, 2012 | 70 | 2012 |
| Isolator: dynamically ensuring isolation in comcurrent programs S Rajamani, G Ramalingam, VP Ranganath, K Vaswani ACM SIGARCH Computer Architecture News 37 (1), 181-192, 2009 | 70 | 2009 |
| System to reduce interference in concurrent programs S Rajamani, G Ramalingam, VP Ranganath, K Vaswani US Patent 7,941,616, 2011 | 65 | 2011 |
| LYE: a high-performance caching SOAP implementation D Andresen, D Sexton, K Devaram, VP Ranganath International Conference on Parallel Processing, 2004. ICPP 2004., 143-150, 2004 | 48 | 2004 |
| Pruning interference and ready dependence for slicing concurrent java programs VP Ranganath, J Hatcliff Compiler Construction: 13th International Conference, CC 2004, Held as Part …, 2004 | 43 | 2004 |
| Ghera: A repository of android app vulnerability benchmarks J Mitra, VP Ranganath Proceedings of the 13th International Conference on Predictive Models and …, 2017 | 38 | 2017 |
| Are free android app security analysis tools effective in detecting known vulnerabilities? VP Ranganath, J Mitra Empirical Software Engineering 25, 178-219, 2020 | 36 | 2020 |
| Logical concurrency control from sequential proofs J Deshmukh, G Ramalingam, VP Ranganath, K Vaswani Programming Languages and Systems: 19th European Symposium on Programming …, 2010 | 22 | 2010 |
| Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems A Childs, J Greenwald, VP Ranganath, X Deng, MB Dwyer, J Hatcliff, ... FASE 2984, 160-164, 2004 | 21 | 2004 |
| Extrinsic influence factors in software reliability: A study of 200,000 windows machines C Bird, VP Ranganath, T Zimmermann, N Nagappan, A Zeller Companion Proceedings of the 36th International Conference on Software …, 2014 | 19 | 2014 |
| Object-flow analysis for optimizing finite-state models of java software VP Ranganath Kansas State University, 2002 | 17 | 2002 |
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
