Follow
Nishant Sinha
Nishant Sinha
Founder, Chief Scientist, OffNote Labs
Verified email at in.ibm.com - Homepage
Title
Cited by
Cited by
Year
State/event-based software model checking
S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha
International Conference on Integrated Formal Methods, 128-147, 2004
2212004
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
962009
Automated assume-guarantee reasoning for simulation conformance
S Chaki, E Clarke, N Sinha, P Thati
International Conference on Computer Aided Verification, 534-547, 2005
952005
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
852005
Staged concurrent program analysis
N Sinha, C Wang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
702010
On interference abstractions
N Sinha, C Wang
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011
672011
Dynamic component substitutability analysis
N Sharygina, S Chaki, E Clarke, N Sinha
International Symposium on Formal Methods, 512-528, 2005
652005
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
602013
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
V Kahlon, A Gupta, N Sinha
International conference on computer aided verification, 286-299, 2006
552006
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
512017
Verification of evolving software via component substitutability analysis
S Chaki, E Clarke, N Sharygina, N Sinha
Formal Methods in System Design 32 (3), 235-266, 2008
482008
A basis for composition language CL
J Ivers, N Sinha, K Wallnau
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002
472002
Symbolic model checking of software
F Lerda, N Sinha, M Theobald
Electronic notes in theoretical computer science 89 (3), 480-498, 2003
412003
Verification of evolving software
S Chaki, N Sharygina, N Sinha
392004
SAT-based compositional verification using lazy learning
N Sinha, E Clarke
International Conference on Computer Aided Verification, 39-54, 2007
372007
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
302016
Range allocation for separation logic
M Talupur, N Sinha, O Strichman, A Pnueli
International Conference on Computer Aided Verification, 148-161, 2004
272004
Alternate and learn: Finding witnesses without looking all over
N Sinha, N Singhania, S Chandra, M Sridharan
International Conference on Computer Aided Verification, 599-615, 2012
252012
Commutativity of reducers
YF Chen, CD Hong, N Sinha, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
232015
Symbolic program analysis using term rewriting and generalization
N Sinha
US Patent 8,131,768, 2012
232012
The system can't perform the operation now. Try again later.
Articles 1–20