S. Ramesh

A Brief biodata.

Recent Publications. For a full list, see here .

A PDF version of the full CV is available here

Past and Present Students

• Ph.D. Students:
  • Ambar Gadkari, Thesis Title: Formal High Level Specification of Verification of GALS, In progress.
  • M.G. Nanda, Thesis Title: Slicing Concurrent Java Programs: Issues and Solutions, November 2001, ( ps.gz file ).
  • Sridhar Iyer Thesis Title: Efficient Reachability Analysis of Concurrent OO Programs, April 1998.
  • A. Sowmya, Thesis Title: Autonomous Robot Motion in Complex Environments: Specification and Verification, Sept. 1991 (jointly with Prof. J.R. Issac).

Current Projects:

• CFDVS
• Design and Verification of Distributed and Reactive Applications
• Slicing Concurrent and Reactive Programs
• UML based Specification and Verification of Distributed and Reactive Systems
• Testing FPGAs

Some past projects

• Processor modeling and verification
• Testing piplelined Processors
• Efficient conformance test generation methods for network protocols
• High Level langauge abstractions for hardware and reactive systems
• Programming in Esterel

Some Recent Talks

• DATE 2004 Talk
• SCAM 2003 Talk
• TI-TALK-NOV03
• Book
• Lecture 1
• Lecture 2
• Lecture 3
• Lecture 4
• Lecture 5
• Lecture 6
• Lecture 7
• Lecture 8
• overview
• Projects
• centre
• Lecture ACE

Some important Links

• The Language Esterel
• Synchronous Languages and Programming
• Formal Methods Home Page
• Some example html pages
• Linux Directory
• Additions
• Bookmarks
• Can-bus
• lynx-bookmarks
• List of Journals