Ramakrishnan, C. R. - Department of Computer Science, SUNY at Stony Brook

• A Logical Encoding of the -Calculus: Model Checking Mobile Processes Using
• Evidence Explorer: A Tool for Exploring Model-Checking Proofs
• A Methodology for InNetwork Evaluation of Integrated LogicalStatistical Models
• A Provably Correct Compiler for E#cient Model Checking of Mobile Processes #
• Tabled Logic Programming for Verification and Program Analysis C. R. Ramakrishnan
• Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs
• Fast Parallel Implementation of Lazy Languages { The EQUALS Experience
• ModelBased Analysis of Configuration Vulnerabilities Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can
• A Symbolic Constraint Solving Framework for Analysis of Logic Programs
• Submission for CAV '97, Category A [Regular Papers --Practical Techniques] Efficient Model Checking Using
• Modeling and Verification of Distributed Autonomous Agents using Logic Programming
• ConstraintBased Model Checking of DataIndependent Systems #
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• Symbolic Support Graph: A Space Efficient Data Structure For Incremental Tabled Evaluation
• Practical Program Analysis Using General Purpose Logic Programming Systems ---A Case Study \Lambda
• Online Justification for Tabled Logic Programs # Giridhar Pemmasani 1 , HaiFeng Guo 2 , Yifei Dong 3 , C.R. Ramakrishnan 1 , and
• Veri cation using Tabled Logic Programming? C. R. Ramakrishnan
• Tabulation-based Induction Proofs with Application to Automated Verification
• Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
• Proceedings of PASCO'94 fl 1994 by World Scientific Publishing Company
• Logic Programming Optimizations for Faster Model Checking
• Policy Analysis for Administrative Role Based Access Control
• A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
• Symbolic Support Graph: A Space Efficient Data Structure For Incremental Tabled Evaluation
• Subsumption Algorithms Based on Search Trees
• A Space Efficient Engine for SubsumptionBased Tabled Evaluation of Logic Programs ?
• Model-Based Analysis of Configuration Vulnerabilities Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can
• A Process Calculus for Mobile Ad Hoc Networks Anu Singh, C. R. Ramakrishnan, and Scott A. Smolka
• On the Optimality of Scheduling Strategies in Subsumption based Tabled Resolution \Lambda
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• A Thread in Time Saves Tabling Time Prasad Rao C.R. Ramakrishnan I.V. Ramakrishnan
• Fully Local and Efficient Evaluation of Alternating Fixed Points ?
• Vacuity Checking in the Modal Mu-Calculus Yifei Dong, Beata Sarna-Starosta, C.R. Ramakrishnan, and Scott A. Smolka
• Compositional Analysis for Veri cation of Parameterized Systems
• Security Policy Analysis using Deductive Spreadsheets 1 Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David S. Warren
• An Optimizing Compiler for Efficient Model Checking Yifei Dong C.R. Ramakrishnan
• Compiling Constraint Handling Rules for Efficient Tabled Evaluation #
• Model Checking Linear Temporal Logic Using Tabled Logic Programming
• Incremental and Demanddriven PointsTo Analysis Using Logic Programming
• Inlining: A Tool for Eliminating Mutual Recursion OWEN KASER, C. R. RAMAKRISHNAN, and SHAUNAK PAWAGI
• Design and Implementation of Jump Tables for Fast Indexing of Logic Programs
• Tabled Resolution + Constraints: A Recipe for Model Checking RealTime Systems
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• Modelling Techniques for Evolving Distributed Applications Y.J. Lin a , C.R. Ramakrishnan b and R. Sekar a
• Resource-Constrained Model Checking of Recursive Programs ?
• Justification based on Program Transformation (Extended Abstract)
• Optimizing Clause Resolution in Tabled Logic Programs (Extended Abstract)
• Deductive Spreadsheets using Tabled Logic Programming
• A Parameterized Unfold/Fold Transformation Framework for Definite
• An Analysis Technique for Extracting Determinacy in Logic Programs \Lambday
• Justification based on Program Transformation (Extended Abstract)
• Appears in Journal of Computer Security, Volume 10, Issues 1/2, 2002, pages 189-209. Model-Based Analysis of Con guration Vulnerabilities
• Verification InfiniteState
• Specification and Evaluation of LogicBased Model Checking C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David S. Warren
• ModelBased Vulnerability Analysis of Computer Systems \Lambda C.R. Ramakrishnan R. Sekar
• Optimal Processor Allocation for Sort-Last Compositing under BSP-tree Ordering
• Logic Based Modeling and Analysis of Work ows Extended Abstract
• Speculative Beats Conservative Justi cation ? Hai-Feng Guo, C.R. Ramakrishnan, and I.V. Ramakrishnan
• ModelCarrying Code (MCC): A New Paradigm for MobileCode Security
• Model Checking Push-down Systems Verification of Infinite State Systems
• Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems
• Normalization via Rewrite Closures L. Bachmair, C. Ramakrishnan, I. V. Ramakrishnan and A. Tiwari
• Using XSB for Abstract Interpretation \Lambda David S. Warren
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• Verification of Parameterized Systems Using Logic Program Transformations
• Parameterized Verification of #Calculus Systems # Ping Yang 1 , Samik Basu 2 , and C.R. Ramakrishnan 1
• Fully Local and E cient Evaluation of Alternating Fixed Points?
• Security Policy Analysis using Deductive Spreadsheets1 Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David S. Warren
• Compiling Constraint Handling Rules for Efficient Tabled Evaluation
• Optimal Processor Allocation for SortLast Compositing under BSPtree Ordering
• definition: ``equation''
• Unification Factoring for Efficient Execution of Logic Programs \Lambda S. Dawson C.R. Ramakrishnan I.V. Ramakrishnan K. Sagonas
• Constraint-Based Model Checking of Data-Independent Systems
• A Methodology for In-Network Evaluation of Integrated Logical-Statistical Models
• Deductive Spreadsheets using Tabled Logic Programming
• Policy Analysis for Administrative Role Based Access Control
• Parameterized Verification of -Calculus Systems , Samik Basu2
• Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs
• Incremental and Demand-driven Points-To Analysis Using Logic Programming
• Online Justification for Tabled Logic Programs Giridhar Pemmasani1
• Incremental Evaluation of Tabled Logic Programs
• Model Checking and Evidence Exploration Yifei Dong, C.R. Ramakrishnan, and Scott A. Smolka
• Model-Based Analysis of Configuration Vulnerabilities C.R. Ramakrishnan and R. Sekar
• A Model Checker for Value-Passing Mu-Calculus using Logic Programming
• Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
• Proofs by Program Transformations Abhik Roychoudhury1
• Modeling and Analysis of Interactions in Virtual Enterprises
• A Parameterized Unfold Fold Transformation Framework for De nite
• On the Optimality of Scheduling Strategies in Subsumption based Tabled Resolution
• Inlining: A Tool for Eliminating Mutual Recursion OWEN KASER, C. R. RAMAKRISHNAN, and SHAUNAK PAWAGI
• Fast Parallel Implementation of Lazy Languages --
• Incremental Evaluation of Tabled Logic Programs #
• Model-Based Vulnerability Analysis of Computer Systems C.R. Ramakrishnan R. Sekar
• A Space E cient Engine for Subsumption-Based Tabled Evaluation of Logic Programs?
• A Conservative Technique to Improve Deterministic Evaluation of Logic Programs \Lambda
• Ecient Real-Time Model Checking using Tabled Logic Programming and Constraints ?
• Verification using Tabled Logic Programming ? C. R. Ramakrishnan
• A Model Checker for Value-Passing Mu-Calculus using Logic Programming ?
• Justifying Proofs using Memo Tables Abhik Roychoudhury
• Veri cation of Parameterized Systems Using Logic Program Transformations ?
• Local and Symbolic Bisimulation using Tabled Constraint Logic Programming
• EQUALS --The Next Generation Owen Kaser \Lambda C.R. Ramakrishnan y R.C. Sekar z
• Evidence Explorer: A Tool for Exploring Model-Checking Proofs
• Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
• Modeling and Analysis of Interactions in Virtual Enterprises \Lambda
• Tabulationbased Induction Proofs with Application to Automated Verification
• Compositional Analysis for Verification of Parameterized Systems
• Symbolic Bisimulation using Tabled Constraint Logic Programming
• Proofs by Program Transformations \Lambda Abhik Roychoudhury 1 , K. Narayan Kumar 1;2 , C.R. Ramakrishnan 1 , I.V. Ramakrishnan 1
• MTCS'00 to appear Real-Time Veri cation Techniques
• Logic Based Modeling and Analysis of Workflows \Lambda (Extended Abstract)
• An Optimizing Compiler for E cient Model Checking Yifei Dong C.R. Ramakrishnan
• Modeling and Verification of Distributed Autonomous Agents using Logic Programming #
• Model-Carrying Code (MCC): A New Paradigm for Mobile-Code Security
• A Process Calculus for Mobile Ad Hoc Networks Anu Singh, C. R. Ramakrishnan, and Scott A. Smolka
• A Conservative Technique to Improve Deterministic Evaluation of Logic Programs