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.