An R&D Centre at IIT Bombay

Papers, Reports and Theses 2002-2003
Student Theses 2002-2003

  • Aditya R Kulkarni, Slicing of Synchronous Programs., M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. S. Ramesh. [ps]
  • Aldrin John DSouza, Formal Analysis of Cryptographic Protocols, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. G. Sivakumar. [ps]
  • Amanda Grace Rapsang, Object Oriented Verifiable Modeling Environment, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. G. Sivakumar. [ps]
  • Ashutosh S Trivedi, Techniques in Symbolic Modelchecking , M.Tech. Thesis, IIT Bombay, Feb. 2003, Guide: Prof. S. Chakraborty. [ps]
  • Lakshmi Narsu M P, SemiAutomatic Techniques for Formalizing Specification for Verification, M.Tech. Thesis, IIT Bombay, Feb. 2003, Guide: Prof. S. Chakraborty. [ps]
  • Soudamini Sreepada, Relating HMSCs and CSMs, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. S. Ramesh.
  • Surya Varma R, Automatic Test Case Generation from Communicating State Machines, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. S. Ramesh. [ps]
  • Shivani Bhatia, Modeling, Simulation and Formal Analysis of Real-Time Client-Server Algorithms, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. S. Chakraborty.
  • Vijaya Lakshmi B, Verification of Communicating Reactive State Machines, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. S. Ramesh. [ps]
  • Viraj Kamat, Towards Slicing VHDL, M.Tech. Thesis, IIT Bombay, Jan. 2003, Guide: Prof. S. Ramesh. [ps]
    Student Theses 2001-2002