| 2011 |
|---|
| 21 | Mining message sequence graphs. Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo. ICSE 2011, 91-100. Web SearchBibTeXDownload |
| 2009 |
|---|
| 20 | Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury. IEEE Real-Time Systems Symposium 2009, 57-67. Web SearchBibTeXDownload |
| 2006 |
|---|
| 19 | Efficient detection and exploitation of infeasible paths for software timing analysis. Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen. DAC 2006, 358-363. Web SearchBibTeXDownload |
| 18 | Handling Constraints in Multi-Objective GA for Embedded System Design. Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury. VLSI Design 2006, 305-310. Web SearchBibTeXDownload |
| 2005 |
|---|
| 17 | WCET Centric Data Allocation to Scratchpad Memory. Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen. RTSS 2005, 223-232. Web SearchBibTeXDownload |
| 16 | Exploiting Branch Constraints without Exhaustive Path Enumeration. Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra. WCET 2005. Web SearchBibTeXDownload |
| 2004 |
|---|
| 15 | An unfold/fold transformation framework for definite logic programs. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan. ACM Trans. Program. Lang. Syst. (26): 464-509 (2004). Web SearchBibTeXDownload |
| 14 | Inductively Verifying Invariant Properties of Parameterized Systems. Abhik Roychoudhury, I. V. Ramakrishnan. Autom. Softw. Eng. (11): 101-139 (2004). Web SearchBibTeXDownload |
| 13 | Symbolic Execution of Behavioral Requirements. Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary. PADL 2004, 178-192. Web SearchBibTeXDownload |
| 12 | Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Abhik Roychoudhury, C. R. Ramakrishnan. Program Development in Computational Logic 2004, 261-290. Web SearchBibTeXDownload |
| 2002 |
|---|
| 11 | Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan. Int. J. Found. Comput. Sci. (13): 387-403 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 10 | Automated Inductive Verification of Parameterized Protocols. Abhik Roychoudhury, I. V. Ramakrishnan. CAV 2001, 25-37. Web SearchBibTeXDownload |
| 2000 |
|---|
| 9 | XMC: A Logic-Programming-Based Verification Toolset. C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan. CAV 2000, 576-580. Web SearchBibTeXDownload |
| 8 | Justifying proofs using memo tables. Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan. PPDP 2000, 178-189. Web SearchBibTeXDownload |
| 7 | Verification of Parameterized Systems Using Logic Program Transformations. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka. TACAS 2000, 172-187. Web SearchBibTeXDownload |
| 1999 |
|---|
| 6 | Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan. ASIAN 1999, 322-333. Web SearchBibTeXDownload |
| 5 | Generalized Unfold/fold Transformation Systems for Normal Logic Programs. Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan. ICLP 1999, 616. Web SearchBibTeX |
| 4 | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan. PPDP 1999, 396-413. Web SearchBibTeXDownload |
| 1998 |
|---|
| 3 | A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar. ICCL 1998, 196-205. Web SearchBibTeXDownload |
| 2 | Logic Programming and Model Checking. Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren. PLILP/ALP 1998, 1-20. Web SearchBibTeXDownload |
| 1 | Tabulation-based Induction Proofs with Application to Automated Verification. Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka. TAPD 1998, 83-88. Web SearchBibTeX |
