- 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