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 101-116 of 116 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
1012010Test generation to expose changes in evolving programsQi, D.; Roychoudhury, A. ; Liang, Z. 
210-Jul-2020Time-travel Testing of Android AppsDong, Zhen ; Bohme, Marcel ; Cojocaru, Lucia; Abhik Roychoudhury 
32011Timing analysis of a protected operating system kernelBlackham, B.; Shi, Y.; Chattopadhyay, S.; Roychoudhury, A. ; Heiser, G.
42007Timing analysis of body area network applicationsLiang, Y. ; Roychoudhury, A. ; Mitra, T. 
52009Timing analysis of concurrent programs running on shared cache multi-coresLi, Y.; Suhendra, V. ; Liang, Y. ; Mitra, T. ; Roychoudhury, A. 
62012Timing analysis of concurrent programs running on shared cache multi-coresLiang, Y.; Ding, H.; Mitra, T. ; Roychoudhury, A. ; Li, Y.; Suhendra, V.
72002Timing analysis of embedded software for speculative processorsMitra, T. ; Roychoudhury, A. ; Li, X.
82010Timing analysis of Esterel programs on general-purpose multiprocessorsJu, L. ; Huynh, B.K. ; Roychoudhury, A. ; Chakraborty, S.
930-Aug-2021Trust Enhancement Issues in Program RepairNoller, Yannic ; Shariffdeen, Ridwan ; Gao, Xiang ; Roychoudhury, Abhik 
102004Unfold/fold transformations for automated verification of parameterized concurrent systemsRoychoudhury, A. ; Ramakrishnan, C.R.
112009Unified cache modeling for WCET analysis and layout optimizationsChattopadhyay, S.; Roychoudhury, A. 
122004Using compressed bytecode traces for slicing java programsWang, T. ; Roychoudhury, A. 
132003Using formal techniques to debug the AMBA system-on-chip bus protocolRoychoudhury, A. ; Mitra, T. ; Karri, S.R.
141-Jul-2021Verifix: Verified Repair of Programming AssignmentsAhmed, Umair Z ; Fan, Zhiyu; Yi, Jooyong; Al-Bataineh, Omar I ; Roychoudhury, Abhik 
152005WCET centric data allocation to scratchpad memorySuhendra, V. ; Mitra, T. ; Roychoudhury, A. ; Chen, T. 
162010WOMM: A weak operational memory modelDe, A.; Roychoudhury, A. ; D'Souza, D.