S. Ramesh

A Brief biodata

Recent Publications. For a full list, see here .

Current Projects:

• CFDVS
• Communicating Reactive State Machines: Design, Implementation and Verification
• Processor modeling and verification
• Efficient conformance test generation methods for protocols
• High Level langauge abstractions for hardware and reactive systems

Some important Links

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