C. R. Ramakrishnan

发表

Efficient verification of concurrent systems with timed components

Giridhar Pemmasani, C. R. Ramakrishnan, 2005 .

A conservative technique to improve deterministic evaluation of logic programs

C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).

Policy analysis for Administrative Role-Based Access Control

C. R. Ramakrishnan, Ping Yang, Scott D. Stoller, 2011, Theor. Comput. Sci..

Logic based modeling and analysis of workflows

C. R. Ramakrishnan, I. V. Ramakrishnan, Michael Kifer, 1998, PODS '98.

Model checking with probabilistic tabled logic programming pdf

C. R. Ramakrishnan, Scott A. Smolka, Andrey Gorlin, 2012, Theory and Practice of Logic Programming.

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs

C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999, PPDP.

Techniques for verification of infinite state systems

C. R. Ramakrishnan, Samik Basu, 2003 .

Modeling and analysis of interactions in virtual enterprises

C. R. Ramakrishnan, I. V. Ramakrishnan, Michael Kifer, 1999, Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99.

An Optimizing Compiler for Efficient Model Checking

C. R. Ramakrishnan, Yifei Dong, 1999, FORTE.

Model-checking of distributed autonomous agents using logic programming

C. R. Ramakrishnan, Louis Robert Pokorny, 2005 .

Efficient Model Checking Using Tabled Resolution

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1997, CAV.

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems

C. R. Ramakrishnan, Abhik Roychoudhury, Abhik Roychoudhury, 2004, Program Development in Computational Logic.

Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2001 .

Principles and practice of unification factoring

Steven Skiena, C. R. Ramakrishnan, Theresa Swift, 1996, TOPL.

Resource-Constrained Model Checking of Recursive Programs

C. R. Ramakrishnan, Samik Basu, K. Narayan Kumar, 2002, TACAS.

XMC: A Logic-Programming-Based Verification Toolset

C. R. Ramakrishnan, I. V. Ramakrishnan, V. N. Venkatakrishnan, 2000, CAV.

Compositional Branching-Time Measurements

C. R. Ramakrishnan, Radu Grosu, Doron A. Peled, 2014, FPS@ETAPS.

Justifying proofs using memo tables

C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, 2000, PPDP '00.

Model Checking Linear Temporal Logic Using Tabled Logic Programming

C. R. Ramakrishnan, L. Robert Pokorny, 2000 .

Inference in Probabilistic Logic Programs using Lifted Explanations

C. R. Ramakrishnan, Arun Nampally, 2016, ICLP.

Logic Based Modeling and Analysis of Workflows (Extended Abstract)

C. R. Ramakrishnan, I. V. Ramakrishnan, Michael Kifer, 1998 .

Separable GPL: Decidable Model Checking with More Non-Determinism

C. R. Ramakrishnan, Andrey Gorlin, 2018, CONCUR.

Model Repair for Probabilistic Systems

C. R. Ramakrishnan, Ezio Bartocci, Radu Grosu, 2011, TACAS.

Symbolic reachability analysis for parameterized administrative role based access control

C. R. Ramakrishnan, Mikhail I. Gofman, Ping Yang, 2009, SACMAT '09.

Justification Based on Program Transformation

C. R. Ramakrishnan, I. V. Ramakrishnan, Hai-Feng Guo, 2002, LOPSTR.

Logic Programming and Model Checking

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, PLILP/ALP.

On the conversion of indirect to direct recursion

C. R. Ramakrishnan, Owen Kaser, Shaunak Pawagi, 1993, LOPL.

Tabled Logic Programs: Principles, Practice and Applications

C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, 1996 .

Constraint-Based Inference in Probabilistic Logic Programs

C. R. Ramakrishnan, Arun Nampally, C. Ramakrishnan, 2018, Theory and Practice of Logic Programming.

Efficient policy analysis for administrative role based access control

C. R. Ramakrishnan, Mikhail I. Gofman, Ping Yang, 2007, CCS '07.

Constraint-Based Model Checking of Data-Independent Systems

C. R. Ramakrishnan, Beata Sarna-Starosta, C. Ramakrishnan, 2003, ICFEM.

Unification factoring for efficient execution of logic programs

Steven Skiena, C. R. Ramakrishnan, I. V. Ramakrishnan, 1995, POPL '95.

EQUALS – a fast parallel implementation of a lazy language

C. R. Ramakrishnan, I. V. Ramakrishnan, Owen Kaser, 1997, Journal of Functional Programming.

Model Checking Software

C. R. Ramakrishnan, Ezio Bartocci, E. Bartocci, 2013, Lecture Notes in Computer Science.

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

C. R. Ramakrishnan, Scott A. Smolka, Yifei Dong, 2003, CAV.

A process calculus for Mobile Ad Hoc Networks

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2010, Sci. Comput. Program..

A methodology for in-network evaluation of integrated logical-statistical models

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, 2008, SenSys '08.

A High Performance Runtime System for Parallel Evaluation of Lazy Languages

C. R. Ramakrishnan, Owen Kaser, R. C. Sekar, 1994 .

Symbolic reachability analysis for parameterized administrative role-based access control

C. R. Ramakrishnan, Mikhail I. Gofman, Ping Yang, 2011, Comput. Secur..

Practical program analysis using general purpose logic programming systems—a case study

C. R. Ramakrishnan, David Scott Warren, Steven Dawson, 1996, PLDI '96.

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation

C. R. Ramakrishnan, Diptikalyan Saha, Diptikalyan Saha, 2005, ICLP.

Model-Based Analysis of Configuration Vulnerabilities

C. R. Ramakrishnan, R. C. Sekar, R. Sekar, 2002, J. Comput. Secur..

Tabled logic programming for verification and program analysis

C. R. Ramakrishnan, 2000, SOEN.

A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution

C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2003, VMCAI.

Incremental Evaluation of Tabled Logic Programs

C. R. Ramakrishnan, Diptikalyan Saha, Diptikalyan Saha, 2003, ICLP.

Precise specification matching for adaptive reuse in embedded systems

C. R. Ramakrishnan, I. V. Ramakrishnan, Partha S. Roop, 2007, J. Appl. Log..

Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

C. R. Ramakrishnan, Jakob Rehof, 2008, TACAS.

Model-Carrying Code (MCC): a new paradigm for mobile-code security

C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, 2001, NSPW '01.

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)

C. R. Ramakrishnan, Scott A. Smolka, Xinxin Liu, 1998, TACAS.

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2001, Theory and Practice of Logic Programming.

Adaptive MCMC-Based Inference in Probabilistic Logic Programs pdf

C. R. Ramakrishnan, Arun Nampally, C. Ramakrishnan, 2014, ArXiv.

Specification and evaluation of logic-based model checking

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, SOEN.

Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings

C. R. Ramakrishnan, Shriram Krishnamurthi, 2002 .

Proceedings of the Workshop on Verification and Computational Logic VCL'2000

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2000 .

Speculative Beats Conservative Justification

C. R. Ramakrishnan, I. V. Ramakrishnan, Hai-Feng Guo, 2001, ICLP.

Vacuity Checking in the Modal Mu-Calculus

C. R. Ramakrishnan, Scott A. Smolka, Beata Sarna-Starosta, 2002, AMAST.

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1999, TACAS.

Verification of Parameterized Systems Using Logic Program Transformations

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, TACAS.

XcelLog: a deductive spreadsheet system

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, 2007, The Knowledge Engineering Review.

Parameter Learning in PRISM Programs with Continuous Random Variables pdf

C. R. Ramakrishnan, I. V. Ramakrishnan, Muhammad Asiful Islam, 2012, ArXiv.

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks

C. R. Ramakrishnan, Radu Grosu, Oliviero Riganelli, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

Introduction to the Special Issue on Verification and Computational Logic

C. R. Ramakrishnan, Andreas Podelski, Ulrich Ultes-Nitsche, 2004, Theory Pract. Log. Program..

An unfold/fold transformation framework for definite logic programs

C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 2004, TOPL.

Using Statistical Model Checking for Measuring Systems

C. R. Ramakrishnan, Radu Grosu, Doron A. Peled, 2014, ISoLA.

Subsumption Algorithms Based on Search Trees

C. R. Ramakrishnan, I. V. Ramakrishnan, Leo Bachmair, 1996, CAAP.

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999, ASIAN.

Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems

C. R. Ramakrishnan, Jakob Rehof, 2008 .

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming

C. R. Ramakrishnan, Ó. Blockin, O. Oo, 2001, PADL.

Optimal Value of Information in Dynamic Bayesian Networks

C. R. Ramakrishnan, Sarthak Ghosh, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).

Parameterized verification of π-calculus systems

C. R. Ramakrishnan, Samik Basu, Ping Yang, 2006 .

Tabulation-based Induction Proofs with Application to Automated Verification

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, TAPD.

Optimal processor allocation for sort-last compositing under BSP-tree ordering

C. R. Ramakrishnan, Cláudio T. Silva, 1999, Electronic Imaging.

Online Justification for Tabled Logic Programs

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan, 2004, FLOPS.

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2002, International Journal on Software Tools for Technology Transfer.

State-space search with tabled logic programs

C. R. Ramakrishnan, C. Ramakrishnan, 2018, Declarative Logic Programming.

Optimizing Value of Information Over an Infinite Time Horizon

C. R. Ramakrishnan, Sarthak Ghosh, C. Ramakrishnan, 2019, 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI).

Extracting Determinacy in Logic Programs

C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson, 1993, ICLP.

Compiling Constraint Handling Rules for Efficient Tabled Evaluation

C. R. Ramakrishnan, Beata Sarna-Starosta, 2007, PADL.

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models

C. R. Ramakrishnan, Scott A. Smolka, K. Narayan Kumar, 2001, ICLP.

Model checking and evidence exploration

C. R. Ramakrishnan, Scott A. Smolka, Yifei Dong, 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

Preface of the special issue on Model Checking of Software

C. R. Ramakrishnan, Ezio Bartocci, 2016, International Journal on Software Tools for Technology Transfer.

Constraint-Based Inference in Probabilistic Logic Programs

C. R. Ramakrishnan, Timothy Zhang, Arun Nampally, 2018, Theory and Practice of Logic Programming.

Verification Using Tabled Logic Programming

C. R. Ramakrishnan, 2000, CONCUR.

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming

C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma, 2001, ICLP.

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming

C. R. Ramakrishnan, L. Robert Pokorny, C. Ramakrishnan, 2004, DALT.

Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages

C. R. Ramakrishnan, Shriram Krishnamurthi, 2001 .

Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs

C. R. Ramakrishnan, Diptikalyan Saha, Diptikalyan Saha, 2006, PADL.

Model-Based Vulnerability Analysis of Computer Systems

C. R. Ramakrishnan, R. C. Sekar, 1998 .

Value of Information in Probabilistic Logic Programs pdf

C. R. Ramakrishnan, Sarthak Ghosh, C. Ramakrishnan, 2019, ICLP Technical Communications.

Policy Analysis for Administrative Role Based Access Control

C. R. Ramakrishnan, Ping Yang, Scott D. Stoller, 2006, CSFW.

Modelling techniques for evolving distributed applications

C. R. Ramakrishnan, Yow-Jian Lin, R. C. Sekar, 1994, FORTE.

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

C. R. Ramakrishnan, Ezio Bartocci, 2013 .

Compositional Analysis for Verification of Parameterized Systems

C. R. Ramakrishnan, Samik Basu, Samik Basu, 2003, TACAS.

Automated construction of web accessibility models from transaction click-streams

C. R. Ramakrishnan, I. V. Ramakrishnan, Jalal Mahmud, 2009, WWW '09.

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs

C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao, 1999, Fuji International Symposium on Functional and Logic Programming.

A symbolic constraint solving framework for analysis of logic programs

C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar, 1995, PEPM '95.

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes

C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2005, PADL.

Tabled resolution + constraints: a recipe for model checking real-time systems

C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

Security policy analysis using deductive spreadsheets

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, 2007, FMSE '07.

XPL: An extended probabilistic logic for probabilistic transition systems pdf

C. R. Ramakrishnan, Andrey Gorlin, 2016, ArXiv.

Normalization via Rewrite Closures

C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari, 1999, RTA.

On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution

C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao, 1998, IJCSLP.

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

C. R. Ramakrishnan, Diptikalyan Saha, 2006, ICLP.

Real-Time Verification Techniques for Untimed Systems

C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Electron. Notes Theor. Comput. Sci..

Tabled resolution and constraints for model checking real-time systems and infinite-state systems

C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000 .

Deductive Spreadsheets Using Tabled Logic Programming

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, 2006, ICLP.

Optimizing Clause Resolution: Beyond Unification Factoring

C. R. Ramakrishnan, I. V. Ramakrishnan, Theresa Swift, 1995, ILPS.

Incremental and demand-driven points-to analysis using logic programming

C. R. Ramakrishnan, Diptikalyan Saha, Diptikalyan Saha, 2005, PPDP.

A process calculus for Mobile Ad Hoc Networks

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2008, Sci. Comput. Program..

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 2002, Int. J. Found. Comput. Sci..

Model Checking with Tabled Logic Programming

C. R. Ramakrishnan, C. Ramakrishnan, 2002 .

A Thread in Time Saves Tabling Time

C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao, 1996, JICSLP.

Modeling and verification techniques for ad hoc network protocols

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2009 .

Parameterized Verification of pi-Calculus Systems

C. R. Ramakrishnan, Samik Basu, Ping Yang, 2006, TACAS.

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs

C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson, 1995, PLILP.

Online Justification for Tabled Logic Programs

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan, 2003, FLOPS.

Compositional analysis for verification of parameterized systems

C. R. Ramakrishnan, Samik Basu, 2006, Theor. Comput. Sci..

Constraint-based Analysis of Security Properties

C. R. Ramakrishnan, Beata Sarna-Starosta, 2008 .

Fast parallel implementation of lazy languages—the EQUALS experience

C. R. Ramakrishnan, I. V. Ramakrishnan, Owen Kaser, 1992, LFP '92.

Query-Based Model Checking of Ad Hoc Network Protocols

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2009, CONCUR.

Inference in probabilistic logic programs with continuous random variables

C. R. Ramakrishnan, I. V. Ramakrishnan, Muhammad Asiful Islam, 2011, Theory and Practice of Logic Programming.

Evaluating Inlining Techniques

C. R. Ramakrishnan, Owen Kaser, C. Ramakrishnan, 1998, Comput. Lang..

Efficient Quantum Network Communication Using Optimized Entanglement Swapping Trees pdf

C. R. Ramakrishnan, Caitao Zhan, Mohammad Ghaderibaneh, 2021, IEEE Transactions on Quantum Engineering.

Efficient Distribution of Quantum Circuits

C. R. Ramakrishnan, Ranjani G. Sundaram, Himanshu Gupta, 2021, DISC.

An Optimizing Compiler for E cient Model CheckingYifei

C. R. Ramakrishnan, Yifei Dong, C. Ramakrishnan, 1999 .

Logic Programming Optimizations for Faster Model Checking

C. R. Ramakrishnan, Yifei Dong, .

Veri ation of Parameterized Systems UsingLogi Program Transformations ?

C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999 .

Making a Success out of Early FailuresAbhik

C. R. Ramakrishnan, I. V. Ramakrishnan, Roychoudhury, 1997 .