|
СТ |
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 |
|
СТ |
An Executable Specification Language Based on Message Sequence Charts |
2003 |
Roychoudhury A., Thiagarajan P. S. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
