Nishant Sinha

Cited by

	All	Since 2018
Citations	1567	424
h-index	21	13
i10-index	35	17

120

2003200420052006200720082009201020112012201320142015201620172018201920202021202220238 15 34 63 79 81 83 69 69 89 107 113 106 108 92 95 91 71 78 64 25

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
Vineet KahlonGoogle, New York.Verified email at nec-labs.com
Satish ChandraGoogleVerified email at acm.org
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Suresh ThummalapentaMicrosoft Corporation, USAVerified email at microsoft.com
Saurabh SinhaIBM ResearchVerified email at us.ibm.com
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Andreas PavlogiannisAssistant Professor, Aarhus UniversityVerified email at cs.au.dk
Rezwana KarimSenior Research Engineer, Samsung ResearchVerified email at samsung.com
Franjo IvančićGoogle, Inc.Verified email at google.com
Gogul BalakrishnanGoogle IncVerified email at google.com
Yu-Fang ChenResearch Fellow, Academia SinicaVerified email at iis.sinica.edu.tw
Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanVerified email at nccu.edu.tw
Michael TheobaldD. E. Shaw Research Verified email at deshawresearch.com
Jing YangUniversity of VirginiaVerified email at virginia.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
James IversSoftware Engineering InstituteVerified email at sei.cmu.edu

Nishant Sinha

Founder, Chief Scientist, OffNote Labs

Verified email at in.ibm.com - Homepage

Deep Learning Cognitive Systems Distributed Computation Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
State/event-based software model checking S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	226	2004
Static data race detection for concurrent programs with asynchronous calls V Kahlon, N Sinha, E Kruus, Y Zhang Proceedings of the 7th joint meeting of the European software engineering …, 2009	107	2009
Automated assume-guarantee reasoning for simulation conformance S Chaki, E Clarke, N Sinha, P Thati Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	97	2005
Concurrent software verification with states, events, and deadlocks S Chaki, E Clarke, J Ouaknine, N Sharygina, N Sinha Formal Aspects of Computing 17 (4), 461-483, 2005	89	2005
Staged concurrent program analysis N Sinha, C Wang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	73	2010
On interference abstractions N Sinha, C Wang Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	69	2011
Data-centric dynamic partial order reduction M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	64	2017
Guided test generation for web applications S Thummalapenta, KV Lakshmi, S Sinha, N Sinha, S Chandra 2013 35th International Conference on Software Engineering (ICSE), 162-171, 2013	64	2013
Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	63	2005
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions V Kahlon, A Gupta, N Sinha CAV 4144, 286-299, 2006	55	2006
Verification of evolving software via component substitutability analysis S Chaki, E Clarke, N Sharygina, N Sinha Formal Methods in System Design 32, 235-266, 2008	49	2008
A basis for composition language CL J Ivers, N Sinha, K Wallnau CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002	47	2002
Symbolic model checking of software F Lerda, N Sinha, M Theobald Electronic notes in theoretical computer science 89 (3), 480-498, 2003	42	2003
Verification of evolving software S Chaki Proc. 3rd Microsoft Research-Specification and Verification of Component …, 2004	39	2004
SAT-based compositional verification using lazy learning N Sinha, E Clarke Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	37	2007
Static DOM event dependency analysis for testing web applications C Sung, M Kusano, N Sinha, C Wang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	31	2016
Range allocation for separation logic M Talupur, N Sinha, O Strichman, A Pnueli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	31	2004
Alternate and learn: Finding witnesses without looking all over N Sinha, N Singhania, S Chandra, M Sridharan Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	26	2012
Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	23	2015
Symbolic program analysis using term rewriting and generalization N Sinha US Patent 8,131,768, 2012	23	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors