Neha Rungta

Citirano

	Sve	Od 2018.
Citati	2119	1159
H-indeks	21	18
i10-indeks	35	21

260

130

195

2007200820092010201120122013201420152016201720182019202020212022202310 20 31 12 39 64 113 146 168 161 154 154 155 192 180 257 219

Javni pristup

Prikaži sve

1 članak

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityPotvrđena adresa e-pošte na cs.byu.edu
Andrew GacekAmazon Web ServicePotvrđena adresa e-pošte na amazon.com
Guowei YangThe University of QueenslandPotvrđena adresa e-pošte na uq.edu.au
Sarfraz KhurshidProfessor, University of Texas at AustinPotvrđena adresa e-pošte na ece.utexas.edu
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Byron CookProfessor of Computer Science, UCL, AmazonPotvrđena adresa e-pošte na cs.ucl.ac.uk
Corina PasareanuCMU/NASA AmesPotvrđena adresa e-pošte na nasa.gov
Kasper Søe LuckowAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Franco RaimondiProfessor of Computer Science, Middlesex UniversityPotvrđena adresa e-pošte na mdx.ac.uk
Michael W WhalenAmazon, Inc. and the University of MinnesotaPotvrđena adresa e-pošte na cs.umn.edu
Jaco GeldenhuysAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Lingming ZhangUniversity of Illinois at Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Miryung KimFull Professor and Vice Chair of Graduate Studies, UCLA Computer SciencePotvrđena adresa e-pošte na cs.ucla.edu
Baishakhi RayAssociate Professor, Columbia UniversityPotvrđena adresa e-pošte na cs.columbia.edu
Giuseppe PrimieroDepartment of Philosophy, University of MilanPotvrđena adresa e-pošte na unimi.it
William J. ClanceySenior Research Scientist, Florida Institute for Human and Machine CognitionPotvrđena adresa e-pošte na ihmc.org
Michael G. ShaftoNASA (retired June 29, 2013)Potvrđena adresa e-pošte na piltdown.com
Michael A. GoodrichComputer Science Department, Brigham Young UniversityPotvrđena adresa e-pošte na cs.byu.edu
Anitha MurugesanHoneywell AerospacePotvrđena adresa e-pošte na honeywell.com
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaPotvrđena adresa e-pošte na umn.edu

Prati

Neha Rungta

Amazon Web Services

Potvrđena adresa e-pošte na amazon.com

Security Cloud Services Software verification program analysis


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	363	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	283	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	224	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	118	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	101	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	70	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	59	2019
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013	59	2013
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	53	2009
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	51	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	51	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	51	2012
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	49	2021
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th international conference on software engineering …, 2014	44	2014
A synergistic and extensible framework for multi-agent system verification J Hunter, F Raimondi, N Rungta, R Stocker International Foundation for Autonomous Agents and Multiagent Systems, 2013	38	2013
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	35	2021
One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019	30	2019
Security policy analyzer service and satisfiability engine J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,757,128, 2020	27	2020
Generating counter-examples through randomized guided search N Rungta, EG Mercer International SPIN Workshop on Model Checking of Software, 39-57, 2007	26	2007
Security policy monitoring service J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,630,695, 2020	24	2020

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori