Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Abhik Roychoudhury

Path Exploration Based on Symbolic Output

ACM Transactions on Software Engineering and Methodology

English

Program Performance Spectrum

ACM SIGPLAN Notices

Computer Science

English

Modeling Software Execution Environment

English

Partition-Based Regression Verification

English

Automated Inductive Verification of Parameterized Protocols?

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Compactly Representing Parallel Program Executions

English

Scratchpad Allocation for Concurrent Embedded Software

English