Venkatesh-Prasad Ranganath

Citée par

	Toutes	Depuis 2019
Citations	1659	430
indice h	18	11
indice i10	23	12

120

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 59 73 110 120 89 62 85 68 65 75 70 54 79 79 87 84 101 71 73 72 29

Accès public

Tout afficher

3 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateAdresse e-mail validée de ksu.edu
Matthew DwyerThomson Distinguished Professor, University of VirginiaAdresse e-mail validée de virginia.edu
Ganesan RamalingamMicrosoft Research IndiaAdresse e-mail validée de microsoft.com
Kapil VaswaniMicrosoft ResearchAdresse e-mail validée de microsoft.com
Georg JungEnergyVilleAdresse e-mail validée de acm.org
Daniel AndresenProfessor of Computer Science, Kansas State UniversityAdresse e-mail validée de ksu.edu
Joydeep MitraNortheastern UniversityAdresse e-mail validée de northeastern.edu
Sriram RajamaniMicrosoft Research Adresse e-mail validée de microsoft.com
David LoProfessor of Computer Science, Singapore Management UniversityAdresse e-mail validée de smu.edu.sg
Anindya BanerjeeProfessor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Xinming (Simon) OuProfessor of Computer Science and Engineering, University of South FloridaAdresse e-mail validée de usf.edu
Doina CarageaKansas State UniversityAdresse e-mail validée de ksu.edu
Sankardas RoyBowling Green State UniversityAdresse e-mail validée de bgsu.edu
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaAdresse e-mail validée de usc.edu
Aniruddha GokhaleVanderbilt UniversityAdresse e-mail validée de vanderbilt.edu
Douglas SchmidtCornelius Vanderbilt Professor of Computer Science at Vanderbilt UniversityAdresse e-mail validée de vanderbilt.edu
Thomas ZimmermannSr. Principal Researcher at Microsoft Research, RedmondAdresse e-mail validée de microsoft.com
Christian BirdMicrosoft ResearchAdresse e-mail validée de microsoft.com
Andreas ZellerFaculty, CISPA Helmholtz Center for Information Security • Professor, Saarland UniversityAdresse e-mail validée de cispa.de
Nachiappan NagappanFacebookAdresse e-mail validée de fb.com

Suivre

Venkatesh-Prasad Ranganath

Google

Adresse e-mail validée de ksu.edu - Page d'accueil

Software Engineering Security Systems


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	266	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	137	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	106	2015
Slicing concurrent Java programs using Indus and Kaveri VP Ranganath, J Hatcliff International Journal on Software Tools for Technology Transfer 9 (5), 489-504, 2007	97	2007
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs MB Dwyer, J Hatcliff, Robby, VP Ranganath Formal Methods in System Design 25, 199-240, 2004	96	2004
A set-based approach to packet classification VP Ranganath, D Andresen Proceedings of the IASTED International Conference on Parallel and …, 2003	94	2003
Kaveri: Delivering the indus java program slicer to eclipse G Jayaraman, VP Ranganath, J Hatcliff International Conference on Fundamental Approaches to Software Engineering …, 2005	84	2005
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs MB Dwyer, J Hatcliff, M Hoosier, V Ranganath, Robby, T Wallentine Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006	79	2006
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	69	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	69	2009
System to reduce interference in concurrent programs S Rajamani, G Ramalingam, VP Ranganath, K Vaswani US Patent 7,941,616, 2011	66	2011
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	62	2005
Ghera: A repository of android app vulnerability benchmarks J Mitra, VP Ranganath Proceedings of the 13th international conference on predictive models and …, 2017	56	2017
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	51	2004
Are free android app security analysis tools effective in detecting known vulnerabilities? VP Ranganath, J Mitra Empirical Software Engineering 25 (1), 178-219, 2020	48	2020
Pruning interference and ready dependence for slicing concurrent java programs VP Ranganath, J Hatcliff International Conference on Compiler Construction, 39-56, 2004	45	2004
Logical concurrency control from sequential proofs J Deshmukh, G Ramalingam, VP Ranganath, K Vaswani Logical Methods in Computer Science 7, 2011	24	2011
Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems A Childs, J Greenwald, VP Ranganath, X Deng, M Dwyer, J Hatcliff, ... International Conference on Fundamental Approaches to Software Engineering …, 2004	22	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	18	2014
Object-flow analysis for optimizing finite-state models of java software VP Ranganath Kansas State University, 2002	17	2002

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs