| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abhik Roychoudhury, Ankit Goel, Bikram Sengupta |
Symbolic Message Sequence Charts.  |
ACM Trans. Softw. Eng. Methodol.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser |
Timing Analysis of a Protected Operating System Kernel. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Chattopadhyay, Abhik Roychoudhury |
Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. |
RTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo |
Mining message sequence graphs. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury |
Path exploration based on symbolic output. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury |
Scope-Aware Data Cache Analysis for WCET Estimation. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Chattopadhyay, Abhik Roychoudhury |
Static bus schedule aware scratchpad allocation in multiprocessors. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury |
Debugging as a Science, that too, when your Program is Changing. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra |
Scratchpad allocation for concurrent embedded software. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawei Qi, Abhik Roychoudhury, Zhenkai Liang |
Test generation to expose changes in evolving programs. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra |
Modeling shared cache and bus in multi-cores for timing analysis. |
SCOPES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Timing analysis of esterel programs on general-purpose multiprocessors. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
multiprocessor, timing analysis, synchronous language, esterel |
| 1 | Arnab De, Abhik Roychoudhury, Deepak D'Souza |
WOMM: A Weak Operational Memory Model. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang |
Golden implementation driven software debugging. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury |
Cache-aware optimization of BAN applications. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan |
Interacting process classes. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects |
| 1 | Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele |
Cache-aware timing analysis of streaming applications. |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
Timing analysis, Instruction cache, Streaming applications |
| 1 | Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra |
Generating test programs to cover pipeline interactions. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
pipelines, automated test generation, state space exploration |
| 1 | Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury |
Context-sensitive timing analysis of Esterel programs. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
worst-case execution time (WCET) analysis, Esterel, synchronous programming |
| 1 | Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
Fair Model Checking with Process Counter Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury |
Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Chattopadhyay, Abhik Roychoudhury |
Unified Cache Modeling for WCET Analysis and Layout Optimizations. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Goel, Bikram Sengupta, Abhik Roychoudhury |
Footprinter: Round-trip engineering via scenario and state based models. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani |
Darwin: an approach for debugging evolving programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
debugging, software evolution, symbolic execution |
| 1 | Tao Wang, Abhik Roychoudhury |
Dynamic slicing on Java bytecode traces. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
debugging, Program slicing, tracing |
| 1 | Arnab De, Abhik Roychoudhury, Deepak D'Souza |
Java memory model aware software validation. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Guo, Abhik Roychoudhury |
Debugging Statecharts Via Model-Code Traceability. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Traceability, Statecharts, Slicing |
| 1 | Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty |
Schedulability Analysis of MSC-based System Models. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
Message Sequence Charts / Graphs, Schedulability analysis |
| 1 | Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra |
Scratchpad allocation for concurrent embedded software. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
WCET, message sequence chart, scratchpad memory |
| 1 | Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury |
Cache-aware optimization of BAN applications. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
sensor networks, mobile devices, cache, body-area networks |
| 1 | Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Performance debugging of Esterel specifications. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
Esterel, WCET analysis, synchronous programming |
| 1 | Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury |
Chronos: A timing analyzer for embedded software. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thuan Quang Huynh, Abhik Roychoudhury |
Memory model sensitive bytecode verification. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Programming language memory models, Software model checking, Bytecode verification |
| 1 | Tao Wang, Abhik Roychoudhury |
Hierarchical dynamic slicing. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
debugging, dynamic slicing, phase detection |
| 1 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng |
A Retargetable Software Timing Analyzer Using Architecture Description Language. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
retargetable software timing analyzer, static WCET analysis, program path analysis, microarchitecture modeling, graph-based execution models, pipeline model, real-time systems, architecture description language, worst case execution time, embedded processors, branch prediction, schedulability analysis |
| 1 | Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok |
Cache-Aware Timing Analysis of Streaming Applications. |
ECRTS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samarjit Chakraborty, Abhik Roychoudhury |
Tutorial T8B: Performance Debugging of Complex Embedded Systems. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury |
Accounting for cache-related preemption delay in dynamic priority schedulability analysis. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Yun, Abhik Roychoudhury, Tulika Mitra |
Timing Analysis of Body Area Network Applications. |
WCET |
2007 |
DBLP BibTeX RDF |
|
| 1 | Abhik Roychoudhury, Ankit Goel, Bikram Sengupta |
Symbolic message sequence charts. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
unified modeling language (UML), message sequence charts |
| 1 | Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
Modeling out-of-order processors for WCET analysis. |
Real-Time Systems |
2006 |
DBLP DOI BibTeX RDF |
Worst-case execution time (WCET) analysis, Out-of-order superscalar processor, Branch prediction, Instruction cache |
| 1 | Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen |
Efficient detection and exploitation of infeasible paths for software timing analysis. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
infeasible path detection, WCET analysis |
| 1 | Thuan Quang Huynh, Abhik Roychoudhury |
A Memory Model Sensitive Checker for C#. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury |
Handling Constraints in Multi-Objective GA for Embedded System Design. |
VLSI Design |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Guo, Abhik Roychoudhury, Tao Wang |
Accurately Choosing Execution Runs for Software Fault Localization. |
CC |
2006 |
DBLP DOI BibTeX RDF |
Debugging, Programming tools |
| 1 | Ankit Goel, Abhik Roychoudhury |
Synthesis and Traceability of Scenario-Based Executable Models. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan |
Interacting process classes. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
unified modeling language (UML), symbolic execution, message sequence charts, active objects |
| 1 | Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianfeng Li, Tulika Mitra, Abhik Roychoudhury |
Modeling Control Speculation for Timing Analysis. |
Real-Time Systems |
2005 |
DBLP DOI BibTeX RDF |
micro-architectural modeling, worst case execution time, branch prediction, schedulability analysis, instruction cache |
| 1 | Tao Wang, Abhik Roychoudhury |
Automated path generation for software fault localization. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
program comprehension, automated debugging |
| 1 | Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen |
WCET Centric Data Allocation to Scratchpad Memory. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi |
Analyzing Loop Paths for Execution Time Estimation. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra |
Exploiting Branch Constraints without Exhaustive Path Enumeration. |
WCET |
2005 |
DBLP BibTeX RDF |
|
| 1 | Abhik Roychoudhury, I. V. Ramakrishnan |
Inductively Verifying Invariant Properties of Parameterized Systems. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems |
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
An unfold/fold transformation framework for definite logic programs. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
inductive theorem proving, Logic programming, program transformation, unfolding, folding |
| 1 | Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
Symbolic Execution of Behavioral Requirements. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tulika Mitra, Abhik Roychoudhury, Qinghua Shen |
Impact of Java Memory Model on Out-of-Order Multiprocessors. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury |
Design space exploration of caches using compressed traces. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
compressed trace, single pass simulation, cache, design space exploration |
| 1 | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
Modeling Out-of-Order Processors for Software Timing Analysis. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva |
Automatic Generation of Protocol Converters from Scenario-Based Specifications. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, C. R. Ramakrishnan |
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Wang, Abhik Roychoudhury |
Using Compressed Bytecode Traces for Slicing Java Programs. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, P. S. Thiagarajan |
Communicating Transaction Processes. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury |
Depiction and Playout of Multi-threaded Program Executions. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianfeng Li, Tulika Mitra, Abhik Roychoudhury |
Accurate timing analysis by modeling caches, speculation and their interaction. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
cache, worst case execution time, branch prediction |
| 1 | Abhik Roychoudhury, Tulika Mitra, S. R. Karri |
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, P. S. Thiagarajan |
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Goel, Abhik Roychoudhury, Tulika Mitra |
Compactly representing parallel program executions. |
PPOPP |
2003 |
DBLP DOI BibTeX RDF |
program path compression, dynamic program analysis, path profiling |
| 1 | Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury |
Accurate estimation of cache-related preemption delay. |
CODES+ISSS |
2003 |
DBLP DOI BibTeX RDF |
caches, multitasking, formal analysis, preemption |
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury |
Formal Reasoning about Hardware and Software Memory Models. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, Xianfeng Li, Tulika Mitra |
Timing Analysis of Embedded Software for Speculative Processors. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
worst case execution time, branch prediction |
| 1 | Abhik Roychoudhury, P. S. Thiagarajan |
An Executable Specification Language Based on Message Sequence Charts. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, Tulika Mitra |
Specifying multithreaded Java semantics for program verification. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
Java, JavaScript |
| 1 | Abhik Roychoudhury, I. V. Ramakrishnan |
Automated Inductive Verification of Parameterized Protocols. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
Verification of Parameterized Systems Using Logic Program Transformations. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan |
Justifying proofs using memo tables. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan |
XMC: A Logic-Programming-Based Verification Toolset. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury |
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
Tabulation-based Induction Proofs with Application to Automated Verification. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. (PDF / PS) |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Optimization of Logic Programs, Program Specialization, Determinacy |
| 1 | Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren |
Logic Programming and Model Checking. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhik Roychoudhury, Susmita Sur-Kolay |
Efficient Algorithms for Vertex Arboricity of Planar Graphs. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
Vertex arboricity, testing of sequential circuits, graph coloring, planar graph |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")