| 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 | 240 | 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 | 119 | 2009 |
| Automated assume-guarantee reasoning for simulation conformance S Chaki, E Clarke, N Sinha, P Thati International Conference on Computer Aided Verification, 534-547, 2005 | 104 | 2005 |
| 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 | 90 | 2017 |
| 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 |
| 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 | 87 | 2008 |
| Staged concurrent program analysis N Sinha, C Wang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 73 | 2010 |
| 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 | 70 | 2013 |
| On interference abstractions N Sinha, C Wang Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011 | 69 | 2011 |
| Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha International Symposium on Formal Methods, 512-528, 2005 | 67 | 2005 |
| 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 | 58 | 2006 |
| A basis for composition language CL J Ivers, N Sinha, KC Wallnau Carnegie Mellon University, 2002 | 49 | 2002 |
| Symbolic model checking of software F Lerda, N Sinha, M Theobald Electronic notes in theoretical computer science 89 (3), 480-498, 2003 | 45 | 2003 |
| 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 | 42 | 2016 |
| SAT-based compositional verification using lazy learning N Sinha, E Clarke International Conference on Computer Aided Verification, 39-54, 2007 | 41 | 2007 |
| Range allocation for separation logic M Talupur, N Sinha, O Strichman, A Pnueli International Conference on Computer Aided Verification, 148-161, 2004 | 33 | 2004 |
| Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2015 | 28 | 2015 |
| Type-aware concolic testing of JavaScript programs M Dhok, MK Ramanathan, N Sinha Proceedings of the 38th International Conference on Software Engineering …, 2016 | 27 | 2016 |
| 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 | 25 | 2012 |
| An executable sequential specification for Spark aggregation YF Chen, CD Hong, O Lengál, SC Mu, N Sinha, BY Wang International Conference on Networked Systems, 421-438, 2017 | 24 | 2017 |
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
