Abhik Roychoudhury Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra: Generating test programs to cover pipeline interactions. DAC 2009: 142-147
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury: Context-sensitive timing analysis of Esterel programs. DAC 2009: 870-873
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani: Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE 2009: 33-42
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnkit Goel, Bikram Sengupta, Abhik Roychoudhury: Footprinter: Round-trip engineering via scenario and state based models. ICSE Companion 2009: 419-420
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnkit Goel, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4): (2009)
2008
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury: Cache-aware optimization of BAN applications. CODES+ISSS 2008: 149-154
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty: Performance debugging of Esterel specifications. CODES+ISSS 2008: 173-178
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivy Suhendra, Abhik Roychoudhury, Tulika Mitra: Scratchpad allocation for concurrent embedded software. CODES+ISSS 2008: 37-42
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Ju, Abhik Roychoudhury, Samarjit Chakraborty: Schedulability Analysis of MSC-based System Models. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 215-224
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiang Guo, Abhik Roychoudhury: Debugging Statecharts Via Model-Code Traceability. ISoLA 2008: 292-306
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab De, Abhik Roychoudhury, Deepak D'Souza: Java memory model aware software validation. PASTE 2008: 8-14
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Wang, Abhik Roychoudhury: Dynamic slicing on Java bytecode traces. ACM Trans. Program. Lang. Syst. 30(2): (2008)
2007
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng: A Retargetable Software Timing Analyzer Using Architecture Description Language. ASP-DAC 2007: 396-401
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Ju, Samarjit Chakraborty, Abhik Roychoudhury: Accounting for cache-related preemption delay in dynamic priority schedulability analysis. DATE 2007: 1623-1628
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok: Cache-Aware Timing Analysis of Streaming Applications. ECRTS 2007: 159-168
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, Ankit Goel, Bikram Sengupta: Symbolic message sequence charts. ESEC/SIGSOFT FSE 2007: 275-284
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Wang, Abhik Roychoudhury: Hierarchical dynamic slicing. ISSTA 2007: 228-238
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamarjit Chakraborty, Abhik Roychoudhury: Tutorial T8B: Performance Debugging of Complex Embedded Systems. VLSI Design 2007: 13
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiang Yun, Abhik Roychoudhury, Tulika Mitra: Timing Analysis of Body Area Network Applications. WCET 2007
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThuan Quang Huynh, Abhik Roychoudhury: Memory model sensitive bytecode verification. Formal Methods in System Design 31(3): 281-305 (2007)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury: Chronos: A timing analyzer for embedded software. Sci. Comput. Program. 69(1-3): 56-67 (2007)
2006
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiang Guo, Abhik Roychoudhury, Tao Wang: Accurately Choosing Execution Runs for Software Fault Localization. CC 2006: 80-95
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen: Efficient detection and exploitation of infeasible paths for software timing analysis. DAC 2006: 358-363
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThuan Quang Huynh, Abhik Roychoudhury: A Memory Model Sensitive Checker for C#. FM 2006: 476-491
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnkit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan: Interacting process classes. ICSE 2006: 302-311
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnkit Goel, Abhik Roychoudhury: Synthesis and Traceability of Scenario-Based Executable Models. ISoLA 2006: 347-354
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBiman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury: Handling Constraints in Multi-Objective GA for Embedded System Design. VLSI Design 2006: 305-310
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSupratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang: Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Abhik Roychoudhury, Tulika Mitra: Modeling out-of-order processors for WCET analysis. Real-Time Systems 34(3): 195-227 (2006)
2005
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Wang, Abhik Roychoudhury: Automated path generation for software fault localization. ASE 2005: 347-351
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, Tulika Mitra, Hemendra Singh Negi: Analyzing Loop Paths for Execution Time Estimation. ICDCIT 2005: 458-469
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen: WCET Centric Data Allocation to Scratchpad Memory. RTSS 2005: 223-232
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTing Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra: Exploiting Branch Constraints without Exhaustive Path Enumeration. WCET 2005
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Tulika Mitra, Abhik Roychoudhury: Modeling Control Speculation for Timing Analysis. Real-Time Systems 29(1): 27-58 (2005)
2004
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury: Design space exploration of caches using compressed traces. ICS 2004: 116-125
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Wang, Abhik Roychoudhury: Using Compressed Bytecode Traces for Slicing Java Programs. ICSE 2004: 512-521
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTulika Mitra, Abhik Roychoudhury, Qinghua Shen: Impact of Java Memory Model on Out-of-Order Multiprocessors. IEEE PACT 2004: 99-110
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary: Symbolic Execution of Behavioral Requirements. PADL 2004: 178-192
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan: Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Program Development in Computational Logic 2004: 261-290
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva: Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Abhik Roychoudhury, Tulika Mitra: Modeling Out-of-Order Processors for Software Timing Analysis. RTSS 2004: 92-103
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26(3): 464-509 (2004)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, I. V. Ramakrishnan: Inductively Verifying Invariant Properties of Parameterized Systems. Autom. Softw. Eng. 11(2): 101-139 (2004)
2003
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, P. S. Thiagarajan: Communicating Transaction Processes. ACSD 2003: 157-166
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury: Depiction and Playout of Multi-threaded Program Executions. ASE 2003: 331-336
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury: Accurate estimation of cache-related preemption delay. CODES+ISSS 2003: 201-206
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXianfeng Li, Tulika Mitra, Abhik Roychoudhury: Accurate timing analysis by modeling caches, speculation and their interaction. DAC 2003: 466-471
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, Tulika Mitra, S. R. Karri: Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. DATE 2003: 10828-10833
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, P. S. Thiagarajan: Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Lectures on Concurrency and Petri Nets 2003: 789-818
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnkit Goel, Abhik Roychoudhury, Tulika Mitra: Compactly representing parallel program executions. PPOPP 2003: 191-202
2002
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, P. S. Thiagarajan: An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST 2002: 226-241
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury: Formal Reasoning about Hardware and Software Memory Models. ICFEM 2002: 423-434
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, Tulika Mitra: Specifying multithreaded Java semantics for program verification. ICSE 2002: 489-499
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, Xianfeng Li, Tulika Mitra: Timing Analysis of Embedded Software for Speculative Processors. ISSS 2002: 126-131
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik 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. 13(3): 387-403 (2002)
2001
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, I. V. Ramakrishnan: Automated Inductive Verification of Parameterized Protocols. CAV 2001: 25-37
2000
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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: 576-580
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan: Justifying proofs using memo tables. PPDP 2000: 178-189
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN 1999: 322-333
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy P. Felty, Douglas J. Howe, Abhik Roychoudhury: Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems. CADE 1999: 237-251
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan: Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP 1999: 616
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan: A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP 1999: 396-413
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaoqiu 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: 1-20
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, Susmita Sur-Kolay: Efficient Algorithms for Vertex Arboricity of Planar Graphs. FSTTCS 1995: 37-51

Coauthor Index

1Unmesh D. Bordoloi [54]
2Biman Chakraborty [42]
3Samarjit Chakraborty [51] [54] [55] [60] [62] [63] [68]
4Ting Chen [36] [37] [42] [46]
5Xu Cheng [56]
6S. C. Choudhary [30]
7Baoqiu Cui [3]
8Deepak D'Souza [58]
9Thanh Nga Dang [69]
10Arnab De [58]
11Cem Derdiyok [54]
12Jin Song Dong [66]
13Yifei Dong [3] [11]
14Xiaoqun Du [3] [11]
15Sandro Etalle [35]
16Amy P. Felty [7]
17Ankit Goel [18] [43] [44] [53] [64] [65]
18Liang Guo [47] [59]
19Douglas J. Howe [7]
20Bach Khoa Huynh [62] [68]
21Thuan Quang Huynh [45] [49]
22Lei Ju [55] [60] [62] [63] [68]
23S. R. Karri [20]
24K. Narayan Kumar [3] [5] [6] [8] [9] [13] [26]
25Xianfeng Li [14] [21] [27] [33] [34] [40] [48] [56]
26Yun Liang [63]
27Zhenkai Liang [67]
28Shanshan Liu [66]
29Yang Liu [66]
30Sun Meng [44]
31Prabhat Mishra [56] [69]
32Tulika Mitra [14] [15] [18] [20] [21] [22] [27] [31] [33] [34] [36] [37] [38] [40] [42] [46] [48] [50] [54] [56] [61] [63] [69]
33Supratik Mukhopadhyay [35] [41]
34Hemendra Singh Negi [22] [33] [38]
35Dawei Qi [67]
36C. R. Ramakrishnan [2] [3] [4] [5] [8] [9] [10] [11] [13] [26] [29]
37I. V. Ramakrishnan [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [25] [26]
38R. C. Sekar [4]
39Bikram Sengupta [53] [65]
40Qinghua Shen [31]
41Scott A. Smolka [2] [3] [9] [11]
42Vivy Suhendra [36] [37] [46] [61]
43Jun Sun [66]
44Susmita Sur-Kolay [1]
45P. S. Thiagarajan [17] [19] [24] [28] [44] [64]
46Lothar Thiele [54]
47Tuan-Anh Tran [28]
48Kapil Vaswani [67]
49V. N. Venkatakrishnan [11]
50Tao Wang [30] [32] [39] [47] [52] [57]
51David Scott Warren [3]
52Zijiang Yang [41]
53Roland H. C. Yap [30]
54Liang Yun [48] [50]
55Vera A. Zvereva [28]

Colors in the list of coauthors

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)