Follow
C.R. Ramakrishnan
C.R. Ramakrishnan
Professor of Computer Science, Stony Brook University
Verified email at cs.stonybrook.edu
Title
Cited by
Cited by
Year
Efficient model checking using tabled resolution
YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ...
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
2981997
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
2661998
Model-based analysis of configuration vulnerabilities
CR Ramakrishnan, R Sekar
Journal of Computer Security 10 (1-2), 189-209, 2002
1942002
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
1612007
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
1542011
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
1501996
Policy analysis for administrative role-based access control
A Sasturkar, P Yang, SD Stoller, CR Ramakrishnan
Theoretical Computer Science 412 (44), 6208-6234, 2011
1392011
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
1361999
A process calculus for mobile ad hoc networks
A Singh, CR Ramakrishnan, SA Smolka
Science of Computer Programming 75 (6), 440-469, 2010
1232010
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
992000
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
932001
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
862005
Model-based vulnerability analysis of computer systems
C Ramakrishnan, R Sekar
Proceedings of the 2nd International Workshop on Verification, Model …, 1998
831998
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
831998
Incremental evaluation of tabled logic programs
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 392-406, 2003
712003
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
701999
A process calculus for mobile ad hoc networks
A Singh, CR Ramakrishnan, SA Smolka
Coordination Models and Languages: 10th International Conference …, 2008
692008
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
682000
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
621998
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
572009
The system can't perform the operation now. Try again later.
Articles 1–20