Learn Electric Networks and Systems with D. Roy Choudhury's Book: Download PDF for Free
Path exploration based on symbolic output Dawei Qi, Hoang D.T. Nguyen, Abhik RoychoudhuryESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011
D Roy Choudhury Networks And Systems.pdf
Download File: https://www.google.com/url?q=https%3A%2F%2Furlcod.com%2F2u85rT&sa=D&sntz=1&usg=AOvVaw3gFXdAZuOwPNoLhv-W5vfe
[PASTE] Java memory model aware software validation Arnab De, Abhik Roychoudhury, Deepak D'Souza PASTE '08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2008
[ISoLA] Debugging Statecharts via Model-code Traceability ( PDF ) Liang Guo and Abhik Roychoudhury International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2008, Invited.
[CODES-ISSS] Performance debugging of Esterel specifications Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, 2008
[CODES-ISSS] Scratchpad allocation for concurrent embedded software Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, 2008
[CODES-ISSS] Cache-aware optimization of BAN applications Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, 2008
[RTAS] Schedulability analysis of MSC-based system models ( PDF ) Lei Ju, Abhik Roychoudhury and Samarjit Chakraborty IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2008.
[FSE] Symbolic message sequence charts Abhik Roychoudhury, Ankit Goel, Bikram Sengupta ESEC-FSE '07 Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007
[SCP Journal] Chronos: A Timing Analyzer for Embedded Software ( PDF ) Xianfeng Li, Yun Liang, Tulika Mitra and Abhik RoychoudhuryScience of Computer Programming, Volume 69, December 2007.
[Book chapter] Worst-case Execution Time and Energy Analysis Tulika Mitra and Abhik Roychoudhury Chapter in the Compiler Design Handbook, Second Edition, Y.N. Srikant and Priti Shankar Editors, 2007.
[ECRTS] Cache-aware Timing Analysis of Streaming Applications ( PDF ) Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh Bordoloi and Cem Derdiyok 19th Euromicro Conference on Real-time Systems (ECRTS) 2007.
[DATE] Accounting for Cache-related Preemption Delay in Dynamic Priority Schedulability Analysis ( PDF ) Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury Design Automation and Test in Europe (DATE) 2007.
[RTS-Jnl] Modeling Out-of-Order Processors for WCET Analysis ( PDF )Xianfeng Li, Abhik Roychoudhury and Tulika Mitra Real-Time Systems Journal, Springer, 34(3), pg 195-227, 2006. ( Get original publication from SpringerLink)A much expanded version of our RTSS 2004 paper on the same topic.
Handling Constraints in Multi-objective GA for Embedded System Design, Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury, IEEE International Conference on VLSI Design, 2006.
Unfold/fold Transformations for Automated Verification of Parameterized Concurrent Systems (PS), Abhik Roychoudhury and C.R. Ramakrishnan Chapter in a book "Program Development in Computational Logic", Editors Maurice Bruynooghe and Kung-Kiu Lau, Springer Verlag, LNCS 3049, 2004, pages 262-291.
[TOPLAS] An unfold/fold transformation framework for definite logic programs Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan ACM Transactions on Programming Languages and Systems (TOPLAS), 26(3), 2004
[RTSS] Modeling Out-of-Order Processors for Software Timing Analysis (PDF), Xianfeng Li, Abhik Roychoudhury and Tulika Mitra IEEE Real-Time Systems Symposium (RTSS) 2004. [RTSS] Automatic Generation of Protocol Converters from Scenario-based Specifications (ps)Abhik Roychoudhury, P.S. Thiagarajan, Tuan Anh Tran and Vera A. Zvereva IEEE Real-Time Systems Symposium (RTSS) 2004. [ICS] Design space exploration of caches using compressed traces Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury ICS '04 Proceedings of the 18th annual international conference on Supercomputing, 2004 2003
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems ( PS ) Abhik Roychoudhury, P. S. Thiagarajan Lectures on Concurrency and Petri Nets 2003, LNCS 3098, pages 789-818, Springer.Depiction and Playout of Multi-threaded Program Executions, (PS) Abhik RoychoudhuryIEEE International Conference on Automated Software Engineering (ASE) 2003.[Short Paper] [PPoPP] Compactly representing parallel program executions Ankit Goel, Abhik Roychoudhury, Tulika Mitra PPoPP '03 Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, 2003
[CODES-ISSS] Accurate estimation of cache-related preemption delay Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury CODES+ISSS '03 Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, 2003 Using formal techniques to Debug the AMBA System-on-Chip Bus Protocol, (PDF)Abhik Roychoudhury, Tulika Mitra and S.R. Karri IEEE/ACM Conference on Design Automation and Test in Europe (DATE) 2003. [DAC] Accurate Timing Analysis by Modeling Caches, Speculation and their Interaction, (PDF)Xianfeng Li, Tulika Mitra and Abhik Roychoudhury ACM/IEEE Design Automation Conference (DAC) 2003, pages 466-471. 2002
[ICSE] Specifying multithreaded Java semantics for program verification Abhik Roychoudhury, Tulika MitraICSE '02 Proceedings of the 24th International Conference on Software Engineering, 2002
An Executable Specification Language based on Message Sequence Charts, (PS)Abhik Roychoudhury and P.S. Thiagarajan 10th Anniversary Colloquium of UNU/IIST, Springer Verlag, LNCS 2757, 2002.
[ISSS] Timing analysis of embedded software for speculative processors Tulika Mitra, Abhik Roychoudhury, Xianfeng LiISSS '02 Proceedings of the 15th international symposium on System Synthesis, 2002 [WCET] A Framework to Model Branch Prediction for WCET Analysis, ( short version, long version),Tulika Mitra, Abhik Roychoudhury, 2nd Workshop on Worst Case Execution Time Analysis (WCET), Austria, June 2002. Also available as NUS Technical Report 11-01.
Automated Inductive Verification of Parameterized Protocols, (PS, PDF) Abhik Roychoudhury and I.V. Ramakrishnan International Conf. on Computer Aided Verification (CAV) 2001, LNCS 2102, Springer Verlag.
XMC : A Logic Programming based Verification Toolset, with C.R. Ramakrishnan, I.V. Ramakrishnan, S.A. Smolka et al, International Conf. on Computer Aided Verification (CAV) 2000, LNCS vol 1855, Springer Verlag. Justifying Proofs using Memo Tables (PS, PDF)Abhik Roychoudhury, C.R. Ramakrishnan and I.V. Ramakrishnan ACM International Conference on Principles and Practice of Declarative Programming (PPDP) 2000. Verification of Parameterized Systems using Logic Program Transformations (PS, PDF)Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan and Scott A. SmolkaInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2000, Springer Verlag, LNCS vol 1785. Formal MetaTheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (PS, PDF) Amy P. Felty, Douglas J. Howe and Abhik Roychoudhury, International Conference on Automated Deduction (CADE) 1999, Springer Verlag, LNCS 1632.
Proofs by Program Transformations, (PS, PDF),Abhik Roychoudhury, K. Narayan Kumar, C.R, Ramakrishnan and I.V. Ramakrishnan, Pre-proceedings of Logic-based Program Synthesis and Transformation (LOPSTR) '99. A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs (PS, PDF), Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan,International Conference on Principles and Practice of Declarative Programming (PPDP) 1999, Springer Verlag, LNCS 1702. Beyond Tamaki-Sato style Unfold/fold Transformations for normal logic programs, Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan,ASIAN 1999, Springer Verlag, LNCS 1742, pages 322-333. Expanded version in International Journal on Foundations of Computer Science (IJFCS) Vol 13 No. 3 pages 387-403, 2002.
Tabulation based induction proofs with application to automated verification Abhik Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan and S.A. Smolka International Workshop on Tabulation in Parsing and Deduction (TAPD) 1998.Logic Programming and Model Checking (PS, PDF), Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka and David S. Warren PLILP/ALP 1998, Springer Verlag, LNCS 1490.
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs (PS, PDF)Abhik Roychoudhury, C.R. Ramakrishnan, I.V. Ramakrishnan and R.C. Sekar,IEEE International Conference on Computer Languages (ICCL) 1998. This paper gives a good overview of the research work I did for my Masters' degree.A rule-based data standardizer for Enterprise Data-bases, (PS, PDF)Abhik Roychoudhury, I.V. Ramakrishnan and Terrence Swift, International Conference on Practical Applications of Prolog (PAP) 1997.Efficient algorithms for vertex arboricity of planar graphs, (PS, PDF)Abhik Roychoudhury and Susmita Sur Kolay, Foundations of Software Technology and Theoretical Computer Science(FST & TCS) 1995, LNCS vol 1026.This paper describes the project work I did as a final year undergraduate student.