Browsing DSpace | ScholarBank@NUS

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 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.

Showing results 47 to 66 of 97 < previous next >