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 47 to 66 of 97
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2008
Java memory model aware software validation
De, A.
;
Roychoudhury, A.
;
D'Souza, D.
2012
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Roychoudhury, A.
;
D'Souza, M.
2011
Locating failure-inducing environment changes
Qi, D.
;
Ngo, M.N.
;
Sun, T.
;
Roychoudhury, A.
2007
Memory model sensitive bytecode verification
Huynh, T.Q.
;
Roychoudhury, A.
2011
Mining message sequence graphs
Kumar, S.
;
Khoo, S.-C.
;
Roychoudhury, A.
;
Lo, D.
2005
Modeling control speculation for timing analysis
Li, X.
;
Mitra, T.
;
Roychoudhury, A.
2004
Modeling out-of-order processors for software timing analysis
Li, X.
;
Roychoudhury, A.
;
Mitra, T.
2006
Modeling out-of-order processors for WCET analysis
Li, X.
;
Roychoudhury, A.
;
Mitra, T.
2010
Modeling shared cache and bus in multi-cores for timing analysis
Chattopadhyay, S.
;
Roychoudhury, A.
;
Mitra, T.
2019
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
Shiqi, Shen
;
Shinde, Shweta
;
Ramesh, Soundarya
;
Roychoudhury, Abhik
;
Saxena, Prateek
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.