S.R. Karri, Verification of AMBA bus protocol, graduated
2002. This work led to a publication in Design Automation and Test
in Europe Conference (DATE) 2003.
Jia Zhan, Multi-threaded Java from Multi-processor
perspective, Co-supervised with Tulika Mitra, graduated 2003.
S.C. Choudhary, Symbolic simulation of Live Sequence
Charts, Co-supervised with Roland Yap, graduated 2003. This work
led to a publication in the Intl. Conf. on Practical Applications
of Declarative Languages (PADL) 2004.
K.K. Subramanian, Extending algorithmic searches for
Design Space Exploration of Embedded Systems, graduated 2004.
Lei Ju, Tracing methods to help multi-threaded program
debugging, graduated 2005.
Xue Luo, A Play-in front-end to a Live Sequence Chart
symbolic simulator, graduated 2005.
Mustafa Yucefabdali, Search optimizations for model checking
of C# programs, graduated 2006.
Chong Tat Chua, Improved instrumentation methods for
software fault localization}, graduated 2006.
Shek Chian Low, Verification of Interacting Process
Classes using PVS prover, graduated 2007.
Kelly Tan, Verification of Live Sequence Charts using
PVS prover, graduated 2007.
Wei Chern Choo, Explanation of counter-examples in SPIN for education purposes,
graduated 2009.Samuel Risandy, Extending
JSlice with Hierarchical Dynamic Slicing, graduated 2010.
Nguyen Duong Thien Hoang (visiting from Ho Chi
Minh City University of Technology, Vietnam), Path-based testing, graduated
2011.