Æȷοì
C.R. Ramakrishnan
C.R. Ramakrishnan
Professor of Computer Science, Stony Brook University
cs.stonybrook.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
2651998
Model-based analysis of configuration vulnerabilities
CR Ramakrishnan, R Sekar
Journal of Computer Security 10 (1-2), 189-209, 2002
1932002
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
1532011
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
1491996
Policy analysis for administrative role-based access control
A Sasturkar, P Yang, SD Stoller, CR Ramakrishnan
Theoretical Computer Science 412 (44), 6208-6234, 2011
1382011
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
852005
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
Model-based vulnerability analysis of computer systems
C Ramakrishnan, R Sekar
Proceedings of the 2nd International Workshop on Verification, Model ¡¦, 1998
811998
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20