1. ScholarBank@NUS

Abhik Roychoudhury

rp04465

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Abhik Roychoudhury
Variants
Roychoudhury, Abhik
Roychoudhnry, A.
Roychoudhury, A.
 
Main Affiliation
 
Faculty
 
Email
dcsar@nus.edu.sg
 

Publications

Results 81-100 of 116 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
812012Relating software validation to technology trendsLiu, Z.; Roychoudhury, A. 
822011Scalable and precise refinement of cache timing analysis via model checkingChattopadhyay, S.; Roychoudhury, A. 
83Jul-2013Scalable and precise refinement of cache timing analysis via path-sensitive verificationChattopadhyay, S.; Roychoudhury, A. 
842008Schedulability analysis of MSC-based system modelsJu, L. ; Roychoudhury, A. ; Chakraborty, S. 
852011Scope-aware data cache analysis for WCET estimationHuynh, B.K. ; Ju, L.; Roychoudhury, A. 
862010Scratchpad allocation for concurrent embedded softwareSuhendra, V.; Roychoudhury, A. ; Mitra, T. 
872008Scratchpad allocation for concurrent embedded softwareSuhendra, V. ; Roychoudhury, A. ; Mitra, T. 
882013SemFix: Program repair via semantic analysisNguyen, H.D.T.; Qi, D.; Roychoudhury, A. ; Chandra, S.
89Oct-2020Smart Contract RepairYu, Xiao Liang ; Al-Bataineh, Omar ; Lo, David; Roychoudhury, Abhik 
901-Sep-2021Smart Greybox FuzzingPham, Van-Thuan ; Bohme, Marcel; Santosa, Andrew E ; Caciulescu, Alexandru Razvan; Roychoudhury, Abhik 
912015Software change contractsYi, Jooyong; Qi, Dawei ; Tan, Shinhwei; Roychoudhury, Abhik 
922012Software change contractsQi, D.; Yi, J.; Roychoudhury, A. 
932002Specifying multithreaded Java semantics for program verificationRoychoudhury, A. ; Mitra, T. 
942013Static analysis driven cache performance testingBanerjee, A.; Chattopadhyay, S.; Roychoudhury, A. 
952014Static analysis of multi-core TDMA resource arbitration delaysKelter, T.; Falk, H.; Marwedel, P.; Chattopadhyay, S.; Roychoudhury, A. 
962011Static bus schedule aware scratchpad allocation in multiprocessorsChattopadhyay, S.; Roychoudhury, A. 
972007Symbolic message sequence chartsRoychoudhury, A. ; Goel, A. ; Sengupta, B.
982012Symbolic message sequence chartsRoychoudhury, A. ; Goel, A. ; Sengupta, B.
992007Synthesis and traceability of scenario-based executable modelsGoel, A. ; Roychoudhury, A. 
1002012Tenant onboarding in evolving multi-tenant software-as-a-service systemsJu, L.; Sengupta, B.; Roychoudhury, A.