关注
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
2991997
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
2641998
Model-based analysis of configuration vulnerabilities
CR Ramakrishnan, R Sekar
Journal of Computer Security 10 (1-2), 189-209, 2002
1902002
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
1622007
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
1521996
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
1262010
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
912001
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
872005
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
821998
Incremental evaluation of tabled logic programs
D Saha, CR Ramakrishnan
International Conference on Logic Programming, 392-406, 2003
722003
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
691999
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
A process calculus for mobile ad hoc networks
A Singh, CR Ramakrishnan, SA Smolka
Coordination Models and Languages: 10th International Conference …, 2008
672008
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
631998
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