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 33 to 52 of 101
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2006
Efficient detection and exploitation of infeasible paths for software timing analysis
Suhendra, V.
;
Mitra, T.
;
Roychoudhury, A.
;
Chen, T.
2011
Engineering multi-tenant Software-as-a-Service systems
Sengupta, B.
;
Roychoudhury, A.
2007
Exploiting branch constraints without exhaustive path enumeration
Chen, T.
;
Mitra, T.
;
Roychoudhury, A.
;
Suhendra, V.
2013
Expressing and checking intended changes via software change contracts
Yi, J.
;
Qi, D.
;
Tan, S.H.
;
Roychoudhury, A.
2009
Fair model checking with process counter abstraction
Sun, J.
;
Liu, Y.
;
Roychoudhury, A.
;
Liu, S.
;
Dong, J.S.
2009
Footprinter: Round-trip engineering via scenario and state based models
Goel, A.
;
Sengupta, B.
;
Roychoudhury, A.
10-Jul-2020
Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural Networks
Gao, Xiang
;
Saha, Ripon
;
Prasad, Mukul
;
Abhik Roychoudhury
2009
Generating test programs to cover pipeline interactions
Thanh, N.D.
;
Roychoudhury, A.
;
Mitra, T.
;
Mishra, P.
2010
Golden implementation driven software debugging
Banerjee, A.
;
Roychoudhury, A.
;
Harlie, J.A.
;
Liang, Z.
2006
Handling constraints in multi-objective GA for embedded system design
Chakraborty, B.
;
Chen, T.
;
Mitra, T.
;
Roychoudhury, A.
2007
Hierarchical dynamic slicing
Wang, T.
;
Roychoudhury, A.
2004
Impact of java memory model on out-of-order multiprocessors
Mitra, T.
;
Roychoudhury, A.
;
Shen, Q.
2004
Inductively verifying invariant properties of parameterized systems
Roychoudhury, A.
;
Ramakrishnan, I.V.
2012
Inferring class level specifications for distributed systems
Kumar, S.
;
Khoo, S.-C.
;
Roychoudhury, A.
;
Lo, D.
2013
Integrated timing analysis of application and operating systems code
Chong, L.K.
;
Ballabriga, C.
;
Pham, V.-T.
;
Chattopadhyay, S.
;
Roychoudhury, A.
2006
Interacting process classes
Goel, A.
;
Meng, S.
;
Roychoudhury, A.
;
Thiagarajan, P.S.
2008
Java memory model aware software validation
De, A.
;
Roychoudhury, A.
;
D'Souza, D.
1-Feb-2020
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
Wang, Guanhua
;
Chattopadhyay, Sudipta
;
Biswas, Arnab Kumar
;
Mitra, Tulika
;
Roychoudhury, Abhik
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.