|
|
Abhik Roychoudhury
Associate Professor
School of Computing
National University of Singapore
abhik at comp dot nus dot edu dot sg
| |
List of All Publications
Post-PhD Publications categorized by topics
Software Testing, Analysis and Validation
Design methods for
Real-time Embedded Software
Past Publications (PhD work)
Mixing Model Checking with Deductive Verification
Selected Publications (five only)
Other Relevant Data
Partial Citations from Google Scholar
Partial Publication List from DBLP Bibliography Server
Last updated 21 June 2011.