|
СТ |
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution |
2003 |
Yang P., Ramakrishnan C. R., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming |
2001 |
Ramakrishnan C. R. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
|
СТ |
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs |
1999 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs |
1999 |
Johnson E., Ramakrishnan C. R., Ramakrishnan I. V., Rao P. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
|
СТ |
A Symbolic Constraint Solving Framework for Analysis of Logic Programs |
1995 |
Ramakrishnan C. R., Ramakrishnan I. V., Sekar R. C. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
|
СТ |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs |
1999 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
28.12.1999 |
|
СТ |
Compositional Analysis for Verification of Parameterized Systems |
2003 |
Basu S., Ramakrishnan C. R. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Constraint-Based Model Checking of Data-Independent Systems |
2003 |
Sarna-Starosta B., Ramakrishnan C. R. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs |
1995 |
Dawson S., Ramakrishnan C. R., Ramakrishnan I. V. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints |
2002 |
Pemmasai G., Ramakrishnan C. R., Ramakrishnan I. V. |
|
|
|
Lecture Notes in Computer Science |
27.08.2002 |
|
СТ |
Evidence Explorer: A Tool for Exploring Model-Checking Proofs |
2003 |
Dong Y., Ramakrishnan C. R., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools |
1999 |
Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
Logic Programming and Model Checking |
1998 |
Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Practical Program Analysis Using General Purpose Logic Pragramming Systems - A Case Study |
1996 |
Dawson S., Ramakrishnan C. R., Waren D. S. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
|
СТ |
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study |
1996 |
Dawson S., Ramakrishnan C. R., Warren D. S. |
|
|
|
Proc. of the ACM SIGPLAN 96 Conf. on Programming Language Design and Implementation (PLDI) |
22.08.1997 |
|
СТ |
Resource-Constrained Model Checking of Recursive Programs |
2002 |
Basu S., Kumar K. N., Pokorny L. R., Ramakrishnan C. R. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems |
2004 |
Roychoudhury A., Ramakrishnan C. R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Verification of Parameterized Systems Using Logic Program Transformations |
2000 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
