- Test Generation to Expose Changes in Evolving Programs Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
- Eciently Computing Vertex Arboricity of Planar Graphs Abhik Roychoudhury Susmita Sur-Kolay y
- A RuleBased Data Standardizer for Enterprise Data Bases \Lambda
- Using Compressed Bytecode Traces for Slicing Java Programs Tao Wang Abhik Roychoudhury
- Title of Project: Analysis and Test Generation of Evolving Software
- JSlice, a Dynamic Slicing Tool for Java Programs Abhik ROYCHOUDHURY, WANG Tao, GUO Liang
- Model-driven Timing Analysis of Embedded Software (B.Eng (HONS), National University of Singapore, Singapore)
- Automated Path Generation for Software Fault Localization School of Computing
- Accurately Choosing Execution Runs for Software Fault Localization
- T H E N A T I O N A L U N I V E R S I T Y o f S I N G A P O R E
- Interacting Process Classes Ankit Goel Abhik Roychoudhury P.S. Thiagarajan
- Java Memory Model aware Software Validation Indian Inst. of Science
- Java Memory Model Aware Sofware Verification CSA Department
- Static Bus Schedule aware Scratchpad Allocation in Multiprocessors
- Performance Debugging of Esterel Specifications Lei Ju Bach Khoa Huynh Abhik Roychoudhury Samarjit Chakraborty
- Schedulability Analysis of MSC-based System Models Lei Ju Abhik Roychoudhury Samarjit Chakraborty
- Unified Cache Modeling for WCET Analysis and Layout Optimizations Sudipta Chattopadhyay
- WCET Centric Data Allocation to Scratchpad Memory Vivy Suhendra Tulika Mitra Abhik Roychoudhury Ting Chen
- DARWIN: An Approach for Debugging Evolving Programs , Abhik Roychoudhury
- Debugging as a Science, that too, when your Program is Changing
- Fair Model Checking with Process Counter Abstraction Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong
- Debugging Statecharts via Model-Code Traceability Liang Guo and Abhik Roychoudhury
- A Memory Model Sensitive Checker for C# Thuan Quang Huynh and Abhik Roychoudhury
- Synthesis and Traceability of Scenario-based Executable Models
- gen([0,0,1]) thm([0,0,1]) thm([1])gen([1])
- Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for
- Rhapsody Before using the information in this manual, be sure to read the "Notices" section of the Help or
- Critical Systems & their Verification Review Questions and Revision Exercises
- Revision of Timing Analysis Abhik Roychoudhury
- Revision of System level Timing Abhik Roychoudhury
- Revision of Testing/Debugging Abhik Roychoudhury
- Context-Sensitive Timing Analysis of Esterel Programs Lei Ju Bach Khoa Huynh Samarjit Chakraborty Abhik Roychoudhury
- NATIONAL UNIVERSITY OF SINGAPORE SCHOOL OF COMPUTING
- Communicating Transaction Processes Abhik Roychoudhury P.S. Thiagarajan
- Cache-aware Optimization of BAN Applications Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
- Scope-aware Data Cache Analysis for WCET Estimation Bach Khoa Huynh
- Mining Message Sequence Graphs Sandeep Kumar
- Chronos: a Timing Analyzer for Embedded Software
- Rhapsody in C an overview Sudipta Chattopadhyay (TA)
- Symbolic Message Sequence Charts ABHIK ROYCHOUDHURY, ANKIT GOEL
- Inductively Verifying Invariant Properties of Parameterized Systems
- Depiction and Playout of Multithreaded Program Executions Abhik Roychoudhury
- Specifying Multithreaded Java Semantics for Program Verification
- Communicating Transaction Processes: An MSC-based Model of Computation for
- Symbolic Execution of Behavioral Requirements Tao Wang, Abhik Roychoudhury, Roland H.C. Yap, and S.C. Choudhary
- International Journal of Foundations of Computer Science World Scienti c Publishing Company
- Cache-aware Optimization of BAN Applications Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
- Dynamic Slicing on Java Bytecode Traces TAO WANG and ABHIK ROYCHOUDHURY
- WOMM: A Weak Operational Memory Model , Abhik Roychoudhury2
- Symbolic Execution of Behavioral Requirements Tao Wang, Abhik Roychoudhury, Roland H.C. Yap, and S.C. Choudhary
- Scratchpad Allocation for Concurrent Embedded Software Vivy Suhendra, Abhik Roychoudhury, and Tulika Mitra
- DARWIN: An Approach for Debugging Evolving Programs , Abhik Roychoudhury
- NATIONAL UNIVERSITY OF SINGAPORE SCHOOL OF COMPUTING
- MICROARCHITECTURE MODELING FOR TIMING ANALYSIS OF EMBEDDED
- Formal Reasoning about Hardware and Software Memory Models ?
- Memory Model Sensitive Bytecode Verification Thuan Quang Huynh
- Unfold/fold Transformations for Automated Veri cation of
- To appear: Proceedings of PLIP/ALP'98 Logic Programming and Model Checking ?
- Footprinter: Round-trip Engineering via Scenario and State based Models National Univ. of Singapore
- T H E N A T I O N A L U N I V E R S I T Y o f S I N G A P O R E
- A Rule-Based Data Standardizer for Enterprise Data Bases
- CS4271 Assignment 1 January 15, 2011
- Golden Implementation Driven Software Debugging Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang
- To appear: Proceedings of PLIP/ALP'98 Logic Programming and Model Checking?
- A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
- Proofs by Program Transformations Abhik Roychoudhury1
- MEMORY OPTIMIZATIONS FOR TIME-PREDICTABLE EMBEDDED SOFTWARE
- Accurate Estimation of CacheRelated Preemption Delay Hemendra Singh Negi Tulika Mitra Abhik Roychoudhury
- Justifying Proofs using Memo Tables Abhik Roychoudhury
- Title of Project: Analysis and Test Generation of Evolving Software
- Introducing Model Checking to Undergraduates Abhik Roychoudhury
- Automatic Generation of Protocol Converters from Scenariobased Specifications Abhik Roychoudhury P. S. Thiagarajan TuanAnh Tran
- An Executable Speci cation Language Based on Message Sequence Charts
- A Parameterized Unfold/Fold Transformation Framework for De nite Logic Programs?
- A Framework to Model Branch Prediction for WCET Analysis Tulika Mitra
- Accounting for Cache-Related Preemption Delay in Dynamic Priority Schedulability Analysis
- Program Transformations for Verifying Parameterized Systems
- Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for
- A Framework to Model Branch Prediction for Worst Case Execution Time Analysis
- Hierarchical Dynamic Slicing Tao Wang Abhik Roychoudhury
- Midterm 2010 : CS 4271: Critical Systems and their Verification
- Embedded Systems and Software Abhik Roychoudhury
- PARAMETERIZED VALIDATION OF UML-LIKE MODELS FOR REACTIVE
- A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs ?
- An Unfold/Fold Transformation Framework for De nite Logic Programs
- POST-MORTEM DYNAMIC ANALYSIS FOR SOFTWARE DEBUGGING
- Symbolic Message Sequence Charts Abhik Roychoudhury
- Interacting Process Classes Ankit Goel Sun Meng Abhik Roychoudhury P. S. Thiagarajan
- Cache-Aware Timing Analysis of Streaming Applications
- Automated Inductive Veri cation of Parameterized Protocols ?
- A guide to use chronos March 9, 2011
- CS4271 Homework 2 March 16, 2011
- Engineering Multi-Tenant Software-as-a-Service Systems Bikram Sengupta
- Locating Failure-Inducing Environment Changes Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury
- Path Exploration based on Symbolic Output Dawei Qi, Hoang D.T. Nguyen, Abhik Roychoudhury
- Scalable and Precise Refinement of Cache Timing Analysis via Model Checking Sudipta Chattopadhyay Abhik Roychoudhury
- Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds Timon Kelter, Heiko Falk, Peter Marwedel
- Darwin: An Approach for Debugging Evolving Programs
- A Conservative Technique to Improve Deterministic Evaluation of Logic Programs \Lambda
- SMV Model Checker Abhik Roychoudhury
- A Unified WCET Analysis Framework for Multi-core Platforms Sudipta Chattopadhyay, Chong Lee Kee, Abhik Roychoudhury
- Model-based testing Specifications temporal logics
- Critical Systems & their Verification Review Questions and Revision Exercises
- Communication Validation CS 4271 Lecture 13
- Statecharts CS4271, 2011CS4271, 2011--1212 11
- Modeling Notations CS 4271 lecture 2
- SPIN Model Checker Abhik Roychoudhury
- Modeling Control Speculation for Timing Analysis Xianfeng Li, Tulika Mitra and Abhik Roychoudhury
- Model Checking CS 4271, Lecture 4, 2nd Feb 2012
- CS4271 Assignment 1 January 5, 2012
- Critical Systems and their Verification CS4271 Introductory Lecture
