Neha Rungta

Citado por

	Total	Desde 2019
Citas	2379	1268
Índice h	22	18
Índice i10	41	24

300

150

225

20072008200920102011201220132014201520162017201820192020202120222023202410 20 31 13 39 64 112 144 166 156 151 160 159 190 180 278 288 171

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityDirección de correo verificada de cs.byu.edu
Andrew GacekAmazon Web ServiceDirección de correo verificada de amazon.com
Guowei YangThe University of QueenslandDirección de correo verificada de uq.edu.au
Sarfraz KhurshidProfessor, University of Texas at AustinDirección de correo verificada de ece.utexas.edu
Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityDirección de correo verificada de cs.sun.ac.za
Kasper Søe LuckowAmazon Web ServicesDirección de correo verificada de amazon.com
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteDirección de correo verificada de gssi.it
Corina PasareanuCMU/NASA AmesDirección de correo verificada de nasa.gov
Michael W WhalenAmazon, Inc. and the University of MinnesotaDirección de correo verificada de cs.umn.edu
Jaco GeldenhuysAmazon Web ServicesDirección de correo verificada de amazon.com
Lingming ZhangUniversity of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Giuseppe PrimieroDepartment of Philosophy, University of MilanDirección de correo verificada de unimi.it
Miryung KimFull Professor and Vice Chair of Graduate Studies, UCLA Computer ScienceDirección de correo verificada de cs.ucla.edu
Baishakhi RayAssociate Professor, Columbia UniversityDirección de correo verificada de cs.columbia.edu
William J. ClanceySenior Research Scientist, Florida Institute for Human and Machine CognitionDirección de correo verificada de ihmc.org
Michael G. ShaftoNASA (retired June 29, 2013)Dirección de correo verificada de piltdown.com
Michael A. GoodrichComputer Science Department, Brigham Young UniversityDirección de correo verificada de cs.byu.edu
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonDirección de correo verificada de bbk.ac.uk
Anitha MurugesanHoneywell AerospaceDirección de correo verificada de honeywell.com

Seguir

Neha Rungta

Amazon Web Services

Dirección de correo verificada de amazon.com

Security Cloud Services Software verification program analysis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	381	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	292	2011
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta Automated Software Engineering 20, 391-425, 2013	226	2013
Semantic-based automated reasoning for AWS access policies using SMT J Backes, P Bolignano, B Cook, C Dodge, A Gacek, K Luckow, N Rungta, ... 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018	161	2018
Symbolic execution with mixed concrete-symbolic solving CS Păsăreanu, N Rungta, W Visser Proceedings of the 2011 International Symposium on Software Testing and …, 2011	103	2011
Detecting and characterizing semantic inconsistencies in ported code B Ray, M Kim, S Person, N Rungta 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	76	2013
Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	75	2019
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013	65	2013
Constraint solver execution service and infrastructure therefor N Rungta, TK Azene, PV Bolignano, KS Luckow, S McLaughlin, C Dodge, ... US Patent 10,977,111, 2021	64	2021
Directed incremental symbolic execution G Yang, S Person, N Rungta, S Khurshid ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (1), 1-42, 2014	59	2014
Feedback-driven dynamic invariant discovery L Zhang, G Yang, N Rungta, S Person, S Khurshid Proceedings of the 2014 International Symposium on Software Testing and …, 2014	56	2014
A change impact analysis to characterize evolving program behaviors N Rungta, S Person, J Branchaud 2012 28th IEEE International Conference on Software Maintenance (ICSM), 109-118, 2012	53	2012
Efficient testing of concurrent programs with abstraction-guided symbolic execution N Rungta, EG Mercer, W Visser International SPIN Workshop on Model Checking of Software, 174-191, 2009	52	2009
Pre-deployment security analyzer service for virtual computing resources N Rungta, PV Bolignano, C Dodge, C Varming, J Cook, R Viswanathan, ... US Patent 11,017,107, 2021	47	2021
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th international conference on software engineering …, 2014	45	2014
Security policy analyzer service and satisfiability engine J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,757,128, 2020	41	2020
One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019	38	2019
A synergistic and extensible framework for multi-agent system verification J Hunter, F Raimondi, N Rungta, R Stocker Proceedings of the 2013 international conference on Autonomous agents and …, 2013	37	2013
Security policy monitoring service J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,630,695, 2020	34	2020
Block public access: trust safety verification of access control policies M Bouchet, B Cook, B Cutler, A Druzkina, A Gacek, L Hadarean, R Jhala, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020	26	2020

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores