متابعة
Nishant Sinha
Nishant Sinha
Founder, Chief Scientist, OffNote Labs
بريد إلكتروني تم التحقق منه على in.ibm.com - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
2372004
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‏
1182009
Automated assume-guarantee reasoning for simulation conformance‏
S Chaki, E Clarke, N Sinha, P Thati‏
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005‏
1042005
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‏
882005
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
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‏
792017
Staged concurrent program analysis‏
N Sinha, C Wang‏
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010‏
732010
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‏
712013
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‏
662005
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‏
592006
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‏
402016
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‏
282015
Type-aware concolic testing of JavaScript programs‏
M Dhok, MK Ramanathan, N Sinha‏
Proceedings of the 38th International Conference on Software Engineering …, 2016‏
252016
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‏
242012
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‏
232017
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20