Takip et
Nishant Sinha
Nishant Sinha
Founder, Chief Scientist, OffNote Labs
in.ibm.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
2332004
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
1192009
Automated assume-guarantee reasoning for simulation conformance
S Chaki, E Clarke, N Sinha, P Thati
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1002005
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
872008
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
872005
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
812017
Staged concurrent program analysis
N Sinha, C Wang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
752010
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
722013
On interference abstractions
N Sinha, C Wang
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011
682011
Dynamic component substitutability analysis
N Sharygina, S Chaki, E Clarke, N Sinha
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
642005
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
V Kahlon, A Gupta, N Sinha
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
572006
A basis for composition language CL
J Ivers, N Sinha, KC Wallnau
Carnegie Mellon University, 2002
482002
Symbolic model checking of software
F Lerda, N Sinha, M Theobald
Electronic notes in theoretical computer science 89 (3), 480-498, 2003
442003
SAT-based compositional verification using lazy learning
N Sinha, E Clarke
International Conference on Computer Aided Verification, 39-54, 2007
422007
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
392016
Range allocation for separation logic
M Talupur, N Sinha, O Strichman, A Pnueli
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
322004
Commutativity of reducers
YF Chen, CD Hong, N Sinha, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
272015
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
262012
Type-aware concolic testing of JavaScript programs
M Dhok, MK Ramanathan, N Sinha
Proceedings of the 38th International Conference on Software Engineering …, 2016
252016
An executable sequential specification for Spark aggregation
YF Chen, CD Hong, O Lengál, SC Mu, N Sinha, BY Wang
Networked Systems: 5th International Conference, NETYS 2017, Marrakech …, 2017
242017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20