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 60 to 79 of 101
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2013
Partition-based regression verification
Bohme, M.
;
Oliveira, B.C.D.S.
;
Roychoudhury, A.
2013
Past expression: Encapsulating pre-states at post-conditions by means of AOP
Yi, J.
;
Robby
;
Deng, X.
;
Roychoudhury, A.
2011
Path exploration based on symbolic output
Qi, D.
;
Nguyen, H.D.T.
;
Roychoudhury, A.
2008
Performance debugging of Esterel specifications
Ju, L.
;
Huynh, B.K.
;
Roychoudhury, A.
;
Chakraborty, S.
2012
Performance debugging of Esterel specifications
Ju, L.
;
Huynh, B.K.
;
Roychoudhury, A.
;
Chakraborty, S.
2013
Precise micro-architectural modeling for WCET analysis via AI+SAT
Banerjee, A.
;
Chattopadhyay, S.
;
Roychoudhury, A.
2013
Program performance spectrum
Chattopadhyay, S.
;
Chong, L.K.
;
Roychoudhury, A.
2013
Program performance spectrum
Chattopadhyay, S.
;
Chong, L.K.
;
Roychoudhury, A.
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