ROYCHOUDHURY, Abhik: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Modeling Control Speculation for Timing Analysis

Xianfeng Li, Tulika Mitra, Abhik Roychoudhury

Journal:

Real-Time Systems

Year:

2005

Language:

english

File:

PDF, 386 KB

english, 2005

2

Relating software validation to technology trends

Zhiming Liu, Abhik Roychoudhury

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 153 KB

english, 2012

3

[IEEE 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) - Vienna, Austria (2011.11.29-2011.12.2)] 2011 IEEE 32nd Real-Time Systems Symposium - Timing Analysis of a Protected Operating System Kernel

Blackham, Bernard, Shi, Yao, Chattopadhyay, Sudipta, Roychoudhury, Abhik, Heiser, Gernot

Year:

2011

Language:

english

File:

PDF, 313 KB

english, 2011

4

[IEEE 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) - Bangalore, India (2007.01.6-2007.01.10)] 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) - Tutorial T8B: Performance Debugging of Complex Embedded Systems

Chakraborty, Samarjit, Roychoudhury, Abhik

Year:

2007

Language:

english

File:

PDF, 153 KB

english, 2007

5

[IEEE 2013 IEEE 34th Real-Time Systems Symposium (RTSS) - Vancouver, BC, Canada (2013.12.3-2013.12.6)] 2013 IEEE 34th Real-Time Systems Symposium - Integrated Timing Analysis of Application and Operating Systems Code

Chong, Lee Kee, Ballabriga, Clement, Pham, Van-Thuan, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 405 KB

english, 2013

6

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Synthesis and Traceability of Scenario-Based Executable Models

Goel, Ankit, Roychoudhury, Abhik

Year:

2006

Language:

english

File:

PDF, 726 KB

english, 2006

7

An unfold/fold transformation framework for definite logic programs

Roychoudhury, Abhik, Kumar, K. Narayan, Ramakrishnan, C. R., Ramakrishnan, I. V.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 290 KB

english, 2004

8

Software Change Contracts

Yi, Jooyong, Qi, Dawei, Tan, Shin Hwei, Roychoudhury, Abhik

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2015

Language:

english

File:

PDF, 1.72 MB

english, 2015

9

Formula-based software debugging

Roychoudhury, Abhik, Chandra, Satish

Journal:

Communications of the ACM

Year:

2016

Language:

english

File:

PDF, 957 KB

english, 2016

10

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Angelix

Mechtaev, Sergey, Yi, Jooyong, Roychoudhury, Abhik

Year:

2016

Language:

english

File:

PDF, 469 KB

english, 2016

11

EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps

Banerjee, Abhijeet, Chong, Lee Kee, Ballabriga, Clement, Roychoudhury, Abhik

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 680 KB

english, 2017

12

Coverage-based Greybox Fuzzing as Markov Chain

Bohme, Marcel, Pham, Van-Thuan, Roychoudhury, Abhik

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

13

Test-Equivalence Analysis for Automatic Patch Generation

Mechtaev, Sergey, Gao, Xiang, Tan, Shin Hwei, Roychoudhury, Abhik

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2018

Language:

english

File:

PDF, 1.75 MB

english, 2018

14

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - AFLNET: A Greybox Fuzzer for Network Protocols

Pham, Van-Thuan, Bohme, Marcel, Roychoudhury, Abhik

Year:

2020

File:

PDF, 239 KB

2020

15

Preface

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 56 KB

english, 2005

16

Preface

Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 48 KB

english, 2006

17

Debugging as a Science, that too, when your Program is Changing

Abhik Roychoudhury

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 299 KB

english, 2010

18

Cache-aware optimization of BAN applications

Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury

Journal:

Design Automation for Embedded Systems

Year:

2009

Language:

english

File:

PDF, 1012 KB

english, 2009

19

Memory model sensitive bytecode verification

Thuan Quang Huynh, Abhik Roychoudhury

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

20

Modeling out-of-order processors for WCET analysis

Xianfeng Li, Abhik Roychoudhury, Tulika Mitra

Journal:

Real-Time Systems

Year:

2006

Language:

english

File:

PDF, 935 KB

english, 2006

21

Cache-aware timing analysis of streaming

Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele

Journal:

Real-Time Systems

Year:

2009

Language:

english

File:

PDF, 1.35 MB

english, 2009

22

Chronos: A timing analyzer for embedded software

Xianfeng Li, Yun Liang, Tulika Mitra, Abhik Roychoudhury

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 936 KB

english, 2007

23

Performance debugging of Esterel specifications

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty

Journal:

Real-Time Systems

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

24

Timing analysis of concurrent programs running on shared cache multi-cores

Yun Liang, Huping Ding, Tulika Mitra, Abhik Roychoudhury, Yan Li, Vivy Suhendra

Journal:

Real-Time Systems

Year:

2012

Language:

english

File:

PDF, 2.24 MB

english, 2012

25

[IEEE 2012 IEEE 19th International Conference on Web Services (ICWS) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE 19th International Conference on Web Services - Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems

Ju, Lei, Sengupta, Bikram, Roychoudhury, Abhik

Year:

2012

Language:

english

File:

PDF, 287 KB

english, 2012

26

Static analysis of multi-core TDMA resource arbitration delays

Kelter, Timon, Falk, Heiko, Marwedel, Peter, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Journal:

Real-Time Systems

Year:

2014

Language:

english

File:

PDF, 1.57 MB

english, 2014

27

Scalable and precise refinement of cache timing analysis via path-sensitive verification

Sudipta Chattopadhyay, Abhik Roychoudhury

Journal:

Real-Time Systems

Year:

2013

Language:

english

File:

PDF, 1.77 MB

english, 2013

28

Symbolic Message Sequence Charts

Roychoudhury, Abhik, Goel, Ankit, Sengupta, Bikram

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2012

Language:

english

File:

PDF, 1.55 MB

english, 2012

29

[IEEE 19th Euromicro Conference on Real-Time Systems (ECRTS'07) - Pisa, Italy (2007.07.4-2007.07.6)] 19th Euromicro Conference on Real-Time Systems (ECRTS'07) - Cache-Aware Timing Analysis of Streaming Applications

Chakraborty, Samarjit, Mitra, Tulika, Roychoudhury, Abhik, Thiele, Lothar, Bordoloi, Unmesh D., Derdiyok, Cem

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

30

[ACM First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis - Newport Beach, CA, USA (1-3 Oct. 2003)] First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721) - Accurate estimation of cache-related preemption delay

Hemendra Singh Negi,, Tulika Mitra,, Abhik Roychoudhury,

Year:

2003

Language:

english

File:

PDF, 480 KB

english, 2003

31

[IEEE 2008 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - St. Louis, MO, USA (2008.04.22-2008.04.24)] 2008 IEEE Real-Time and Embedded Technology and Applications Symposium - Schedulability Analysis of MSC-based System Models

Ju, Lei, Roychoudhury, Abhik, Chakraborty, Samarjit

Year:

2008

Language:

english

File:

PDF, 699 KB

english, 2008

32

[IEEE 2012 19th Working Conference on Reverse Engineering (WCRE) - Kingston, ON, Canada (2012.10.15-2012.10.18)] 2012 19th Working Conference on Reverse Engineering - Modeling Software Execution Environment

Qi, Dawei, Sumner, William N., Qin, Feng, Zheng, Mai, Zhang, Xiangyu, Roychoudhury, Abhik

Year:

2012

Language:

english

File:

PDF, 268 KB

english, 2012

33

[IEEE 2013 IEEE 34th Real-Time Systems Symposium (RTSS) - Vancouver, BC, Canada (2013.12.3-2013.12.6)] 2013 IEEE 34th Real-Time Systems Symposium - Static Analysis Driven Cache Performance Testing

Banerjee, Abhijeet, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 338 KB

english, 2013

34

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - SemFix: Program repair via semantic analysis

Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish

Year:

2013

Language:

english

File:

PDF, 405 KB

english, 2013

35

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Inferring class level specifications for distributed systems

Kumar, Sandeep, Khoo, Siau-Cheng, Roychoudhury, Abhik, Lo, David

Year:

2012

Language:

english

File:

PDF, 616 KB

english, 2012

36

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - A Retargetable Software Timing Analyzer Using Architecture Description Language

Li, Xianfeng, Roychoudhury, Abhik, Mitra, Tulika, Mishra, Prabhat, Cheng, Xu

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

37

[IEEE 2012 IEEE 18th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Beijing, China (2012.04.16-2012.04.19)] 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium - A Unified WCET Analysis Framework for Multi-core Platforms

Chattopadhyay, Sudipta, Kee, Chong Lee, Roychoudhury, Abhik, Kelter, Timon, Marwedel, Peter, Falk, Heiko

Year:

2012

Language:

english

File:

PDF, 357 KB

english, 2012

38

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Partition-based regression verification

Bohme, Marcel, Oliveira, Bruno C. D. S., Roychoudhury, Abhik

Year:

2013

Language:

english

File:

PDF, 483 KB

english, 2013

39

[IEEE 2011 23rd Euromicro Conference on Real-Time Systems (ECRTS) - Porto, Portugal (2011.07.5-2011.07.8)] 2011 23rd Euromicro Conference on Real-Time Systems - Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds

Kelter, Timon, Falk, Heiko, Marwedel, Peter, Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 383 KB

english, 2011

40

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores

Li, Yan, Suhendra, Vivy, Liang, Yun, Mitra, Tulika, Roychoudhury, Abhik

Year:

2009

Language:

english

File:

PDF, 686 KB

english, 2009

41

[IEEE 2011 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Chicago, IL, USA (2011.04.11-2011.04.14)] 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium - Scope-Aware Data Cache Analysis for WCET Estimation

Huynh, Bach Khoa, Ju, Lei, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 473 KB

english, 2011

42

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Automated path generation for software fault localization

Wang, Tao, Roychoudhury, Abhik

Year:

2005

Language:

english

File:

PDF, 101 KB

english, 2005

43

[IEEE 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) - Vienna, Austria (2011.11.29-2011.12.2)] 2011 IEEE 32nd Real-Time Systems Symposium - Scalable and Precise Refinement of Cache Timing Analysis via Model Checking

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

44

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Unified Cache Modeling for WCET Analysis and Layout Optimizations

Chattopadhyay, Sudipta, Roychoudhury, Abhik

Year:

2009

Language:

english

File:

PDF, 386 KB

english, 2009

45

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Accounting for Cache-Related Preemption Delay in Dynamic Priority Schedulability Analysis

Ju, Lei, Chakraborty, Samarjit, Roychoudhury, Abhik

Year:

2007

Language:

english

File:

PDF, 225 KB

english, 2007

46

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Footprinter: Round-trip engineering via scenario and state based models

Goel, Ankit, Sengupta, Bikram, Roychoudhury, Abhik

Year:

2009

Language:

english

File:

PDF, 135 KB

english, 2009

47

BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS

ROYCHOUDHURY, ABHIK, NARAYAN KUMAR, K., RAMAKRISHNAN, C. R., RAMAKRISHNAN, I. V.

Journal:

International Journal of Foundations of Computer Science

Year:

2002

Language:

english

File:

PDF, 1.74 MB

english, 2002

48

[ACM Press the 13th International Workshop - St. Goar, Germany (2010.06.28-2010.06.29)] Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems - SCOPES '10 - Modeling shared cache and bus in multi-cores for timing analysis

Chattopadhyay, Sudipta, Roychoudhury, Abhik, Mitra, Tulika

Year:

2010

Language:

english

File:

PDF, 437 KB

english, 2010

49

DARWIN

Qi, Dawei, Roychoudhury, Abhik, Liang, Zhenkai, Vaswani, Kapil

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2012

Language:

english

File:

PDF, 477 KB

english, 2012

50

[ACM Press Proceeding of the 3rd international workshop - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 3rd international workshop on Principles of engineering service-oriented systems - PESOS '11 - Engineering multi-tenant software-as-a-service systems

Sengupta, Bikram, Roychoudhury, Abhik

Year:

2011

Language:

english

File:

PDF, 136 KB

english, 2011