Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
ABHIK ROYCHOUDHURY
Enter a last name
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
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Showing results 68 to 87 of 101
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2013
Regression Testing of Evolving Programs
Böhme, M.
;
Roychoudhury, A.
;
Oliveira, B.C.
2013
Regression tests to expose change interaction errors
Böhme, M.
;
Oliveira, B.C.D.S.
;
Roychoudhury, A.
2012
Relating software validation to technology trends
Liu, Z.
;
Roychoudhury, A.
2011
Scalable and precise refinement of cache timing analysis via model checking
Chattopadhyay, S.
;
Roychoudhury, A.
Jul-2013
Scalable and precise refinement of cache timing analysis via path-sensitive verification
Chattopadhyay, S.
;
Roychoudhury, A.
2008
Schedulability analysis of MSC-based system models
Ju, L.
;
Roychoudhury, A.
;
Chakraborty, S.
2011
Scope-aware data cache analysis for WCET estimation
Huynh, B.K.
;
Ju, L.
;
Roychoudhury, A.
2008
Scratchpad allocation for concurrent embedded software
Suhendra, V.
;
Roychoudhury, A.
;
Mitra, T.
2010
Scratchpad allocation for concurrent embedded software
Suhendra, V.
;
Roychoudhury, A.
;
Mitra, T.
2013
SemFix: Program repair via semantic analysis
Nguyen, H.D.T.
;
Qi, D.
;
Roychoudhury, A.
;
Chandra, S.
2012
Software change contracts
Qi, D.
;
Yi, J.
;
Roychoudhury, A.
2015
Software change contracts
Yi, Jooyong
;
Qi, Dawei
;
Tan, Shinhwei
;
Roychoudhury, Abhik
2002
Specifying multithreaded Java semantics for program verification
Roychoudhury, A.
;
Mitra, T.
2013
Static analysis driven cache performance testing
Banerjee, A.
;
Chattopadhyay, S.
;
Roychoudhury, A.
2014
Static analysis of multi-core TDMA resource arbitration delays
Kelter, T.
;
Falk, H.
;
Marwedel, P.
;
Chattopadhyay, S.
;
Roychoudhury, A.
2011
Static bus schedule aware scratchpad allocation in multiprocessors
Chattopadhyay, S.
;
Roychoudhury, A.
2007
Symbolic message sequence charts
Roychoudhury, A.
;
Goel, A.
;
Sengupta, B.
2012
Symbolic message sequence charts
Roychoudhury, A.
;
Goel, A.
;
Sengupta, B.
2007
Synthesis and traceability of scenario-based executable models
Goel, A.
;
Roychoudhury, A.
2012
Tenant onboarding in evolving multi-tenant software-as-a-service systems
Ju, L.
;
Sengupta, B.
;
Roychoudhury, A.