Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 300 | 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 | 264 | 1998 |
Model-based analysis of configuration vulnerabilities CR Ramakrishnan, R Sekar Journal of Computer Security 10 (1-2), 189-209, 2002 | 193 | 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 | 162 | 2007 |
Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, CR Ramakrishnan, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 154 | 2011 |
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 | 153 | 1996 |
Policy analysis for administrative role-based access control A Sasturkar, P Yang, SD Stoller, CR Ramakrishnan Theoretical Computer Science 412 (44), 6208-6234, 2011 | 140 | 2011 |
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 | 136 | 1999 |
A process calculus for mobile ad hoc networks A Singh, CR Ramakrishnan, SA Smolka Science of Computer Programming 75 (6), 440-469, 2010 | 127 | 2010 |
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 | 99 | 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 | 91 | 2001 |
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 | 88 | 2005 |
Fully local and efficient evaluation of alternating fixed points X Liu, CR Ramakrishnan, SA Smolka Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998 | 84 | 1998 |
Model-based vulnerability analysis of computer systems C Ramakrishnan, R Sekar Proceedings of the 2nd International Workshop on Verification, Model …, 1998 | 82 | 1998 |
Incremental evaluation of tabled logic programs D Saha, CR Ramakrishnan International Conference on Logic Programming, 392-406, 2003 | 72 | 2003 |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools: 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 | 69 | 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 | 68 | 2000 |
A process calculus for mobile ad hoc networks A Singh, CR Ramakrishnan, SA Smolka Coordination Models and Languages: 10th International Conference …, 2008 | 67 | 2008 |
Logic programming and model checking B Cui, Y Dong, X Du, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ... Principles of Declarative Programming: 10th International Symposium, PLILP …, 1998 | 63 | 1998 |
Symbolic reachability analysis for parameterized administrative role based access control SD Stoller, P Yang, M Gofman, CR Ramakrishnan Proceedings of the 14th ACM symposium on Access control models and …, 2009 | 57 | 2009 |