Neha Rungta

Dikutip oleh

	Semua	Sejak 2020
Kutipan	2581	1309
indeks-h	23	18
indeks-i10	45	28

340

170

255

200720082009201020112012201320142015201620172018201920202021202220232024202510 20 31 13 39 64 112 144 168 156 149 160 160 192 183 278 295 334 25

Akses publik

Lihat semua

1 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityEmail yang diverifikasi di cs.byu.edu
Andrew GacekAmazon Web ServiceEmail yang diverifikasi di amazon.com
Guowei YangThe University of QueenslandEmail yang diverifikasi di uq.edu.au
Sarfraz KhurshidProfessor, University of Texas at AustinEmail yang diverifikasi di ece.utexas.edu
Willem VisserComputer Science Division, Stellenbosch UniversityEmail yang diverifikasi di cs.sun.ac.za
Byron CookProfessor of Computer Science, UCL, AmazonEmail yang diverifikasi di cs.ucl.ac.uk
Kasper Søe LuckowAmazon Web ServicesEmail yang diverifikasi di amazon.com
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteEmail yang diverifikasi di gssi.it
Corina PasareanuCMU/NASA AmesEmail yang diverifikasi di nasa.gov
Michael W WhalenAmazon, Inc. and the University of MinnesotaEmail yang diverifikasi di cs.umn.edu
Jaco GeldenhuysAmazon Web ServicesEmail yang diverifikasi di amazon.com
Lingming ZhangUniversity of Illinois at Urbana-ChampaignEmail yang diverifikasi di illinois.edu
Giuseppe PrimieroDepartment of Philosophy, University of MilanEmail yang diverifikasi di unimi.it
Miryung KimFull Professor and Vice Chair of Graduate Studies, UCLA Computer ScienceEmail yang diverifikasi di cs.ucla.edu
Baishakhi RayAssociate Professor, Columbia UniversityEmail yang diverifikasi di cs.columbia.edu
William J. ClanceySenior Research Scientist, Florida Institute for Human and Machine CognitionEmail yang diverifikasi di ihmc.org
Michael G. ShaftoNASA (retired June 29, 2013)Email yang diverifikasi di piltdown.com
Michael A. GoodrichComputer Science Department, Brigham Young UniversityEmail yang diverifikasi di cs.byu.edu
Anitha MurugesanHoneywell AerospaceEmail yang diverifikasi di honeywell.com
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaEmail yang diverifikasi di umn.edu

Ikuti

Neha Rungta

Amazon Web Services

Email yang diverifikasi di amazon.com

Security Cloud Services Software verification program analysis


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Symbolic PathFinder: symbolic execution of Java bytecode CS Păsăreanu, N Rungta Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	394	2010
Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Acm Sigplan Notices 46 (6), 504-515, 2011	298	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	231	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	188	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	105	2011
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	84	2019
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	81	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	69	2021
Regression verification using impact summaries J Backes, S Person, N Rungta, O Tkachuk Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013	69	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	62	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	62	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	58	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	56	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	53	2009
Security policy analyzer service and satisfiability engine J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,757,128, 2020	48	2020
Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th international conference on software engineering …, 2014	47	2014
One-click formal methods J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ... IEEE Software 36 (6), 61-65, 2019	43	2019
Security policy monitoring service J Cook, N Rungta, C Dodge, J Puchalski, C Varming US Patent 10,630,695, 2020	39	2020
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	39	2013
A billion SMT queries a day N Rungta International Conference on Computer Aided Verification, 3-18, 2022	32	2022

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama