Browsing by Author ABHIK ROYCHOUDHURY

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


Showing results 72 to 91 of 97 < previous   next >
Issue DateTitleAuthor(s)
2008Scratchpad allocation for concurrent embedded softwareSuhendra, V. ; Roychoudhury, A. ; Mitra, T. 
2010Scratchpad allocation for concurrent embedded softwareSuhendra, V.; Roychoudhury, A. ; Mitra, T. 
2013SemFix: Program repair via semantic analysisNguyen, H.D.T.; Qi, D.; Roychoudhury, A. ; Chandra, S.
2012Software change contractsQi, D.; Yi, J.; Roychoudhury, A. 
2015Software change contractsYi, Jooyong; Qi, Dawei ; Tan, Shinhwei; Roychoudhury, Abhik 
2002Specifying multithreaded Java semantics for program verificationRoychoudhury, A. ; Mitra, T. 
2013Static analysis driven cache performance testingBanerjee, A.; Chattopadhyay, S.; Roychoudhury, A. 
2014Static analysis of multi-core TDMA resource arbitration delaysKelter, T.; Falk, H.; Marwedel, P.; Chattopadhyay, S.; Roychoudhury, A. 
2011Static bus schedule aware scratchpad allocation in multiprocessorsChattopadhyay, S.; Roychoudhury, A. 
2007Symbolic message sequence chartsRoychoudhury, A. ; Goel, A. ; Sengupta, B.
2012Symbolic message sequence chartsRoychoudhury, A. ; Goel, A. ; Sengupta, B.
2007Synthesis and traceability of scenario-based executable modelsGoel, A. ; Roychoudhury, A. 
2012Tenant onboarding in evolving multi-tenant software-as-a-service systemsJu, L.; Sengupta, B.; Roychoudhury, A. 
2010Test generation to expose changes in evolving programsQi, D.; Roychoudhury, A. ; Liang, Z. 
2011Timing analysis of a protected operating system kernelBlackham, B.; Shi, Y.; Chattopadhyay, S.; Roychoudhury, A. ; Heiser, G.
2007Timing analysis of body area network applicationsLiang, Y. ; Roychoudhury, A. ; Mitra, T. 
2009Timing analysis of concurrent programs running on shared cache multi-coresLi, Y.; Suhendra, V. ; Liang, Y. ; Mitra, T. ; Roychoudhury, A. 
2012Timing analysis of concurrent programs running on shared cache multi-coresLiang, Y.; Ding, H.; Mitra, T. ; Roychoudhury, A. ; Li, Y.; Suhendra, V.
2002Timing analysis of embedded software for speculative processorsMitra, T. ; Roychoudhury, A. ; Li, X.
2010Timing analysis of Esterel programs on general-purpose multiprocessorsJu, L. ; Huynh, B.K. ; Roychoudhury, A. ; Chakraborty, S.