| Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... International Conference on Computer Aided Verification, 143-154, 1997 | 284 | 1997 |
| Logic based modeling and analysis of workflows H Davulcu, M Kifer, CR Ramakrishnan, IV Ramakrishnan Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998 | 252 | 1998 |
| Model-based analysis of configuration vulnerabilities 1 CR Ramakrishnan, R Sekar Journal of Computer Security 10 (1-2), 189-209, 2002 | 174 | 2002 |
| Efficient policy analysis for administrative role based access control SD Stoller, P Yang, CR Ramakrishnan, MI Gofman Proceedings of the 14th ACM conference on Computer and communications …, 2007 | 142 | 2007 |
| Practical program analysis using general purpose logic programming systems—a case study S Dawson, CR Ramakrishnan, DS Warren Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996 | 137 | 1996 |
| Modeling and analysis of interactions in virtual enterprises H Davulcu, M Kifer, LR Pokorny, CR Ramakrishnan, IV Ramakrishnan, ... Proceedings Ninth International Workshop on Research Issues on Data …, 1999 | 129 | 1999 |
| Policy analysis for administrative role based access control A Sasturkar, P Yang, SD Stoller, CR Ramakrishnan 19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-138, 2006 | 125* | 2006 |
| A process calculus for mobile ad hoc networks A Singh, CR Ramakrishnan, SA Smolka Science of Computer Programming 75 (6), 440-469, 2010 | 115 | 2010 |
| Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 2011 | 114 | 2011 |
| XMC: A logic-programming-based verification toolset CR Ramakrishnan, IV Ramakrishnan, SA Smolka, Y Dong, X Du, ... International Conference on Computer Aided Verification, 576-580, 2000 | 95 | 2000 |
| Model-Carrying Code (MCC) a new paradigm for mobile-code security R Sekar, CR Ramakrishnan, IV Ramakrishnan, SA Smolka Proceedings of the 2001 workshop on New security paradigms, 23-30, 2001 | 82 | 2001 |
| Fully local and efficient evaluation of alternating fixed points X Liu, CR Ramakrishnan, SA Smolka International Conference on Tools and Algorithms for the Construction and …, 1998 | 78 | 1998 |
| Incremental and demand-driven points-to analysis using logic programming D Saha, CR Ramakrishnan Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 71 | 2005 |
| Model-based vulnerability analysis of computer systems C Ramakrishnan, R Sekar Proceedings of the 2nd International Workshop on Verification, Model …, 1998 | 71 | 1998 |
| Fighting livelock in the i-protocol: A comparative study of verification tools Y Dong, X Du, YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, ... International Conference on Tools and Algorithms for the Construction and …, 1999 | 67 | 1999 |
| Verification of parameterized systems using logic program transformations A Roychoudhury, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ... International Conference on Tools and Algorithms for the Construction and …, 2000 | 64 | 2000 |
| Incremental evaluation of tabled logic programs D Saha, CR Ramakrishnan International Conference on Logic Programming, 392-406, 2003 | 62 | 2003 |
| Logic programming and model checking B Cui, Y Dong, X Du, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ... Principles of Declarative Programming, 1-20, 1998 | 62 | 1998 |
| A process calculus for mobile ad hoc networks A Singh, CR Ramakrishnan, SA Smolka International Conference on Coordination Languages and Models, 296-314, 2008 | 60 | 2008 |
| Justifying proofs using memo tables A Roychoudhury, CR Ramakrishnan, IV Ramakrishnan International Conference on Principles and Practice of Declarative …, 2000 | 53 | 2000 |
