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 32 to 51 of 97 < 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.
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.
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.

Showing results 32 to 51 of 97 < previous next >