| 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 | 233 | 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 | 113 | 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 | 99 | 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 | 87 | 2005 |
| 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 | 84 | 2008 |
| 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 | 78 | 2017 |
| Staged concurrent program analysis N Sinha, C Wang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 74 | 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 | 67 | 2013 |
| On interference abstractions N Sinha, C Wang Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011 | 67 | 2011 |
| Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 64 | 2005 |
| 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 | 56 | 2006 |
| A basis for composition language CL J Ivers, N Sinha, KC Wallnau Carnegie Mellon University, 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 | 43 | 2003 |
| SAT-based compositional verification using lazy learning N Sinha, E Clarke International Conference on Computer Aided Verification, 39-54, 2007 | 41 | 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 | 35 | 2016 |
| Range allocation for separation logic M Talupur, N Sinha, O Strichman, A Pnueli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 32 | 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 |
| Type-aware concolic testing of JavaScript programs M Dhok, MK Ramanathan, N Sinha Proceedings of the 38th International Conference on Software Engineering …, 2016 | 24 | 2016 |
| Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2015 | 24 | 2015 |
| 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 | 23 | 2017 |
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
