An R&D Centre at IIT Bombay
Reports and Students Theses
— Technical Reports 2011-2012
- Ajith K John, Supratik Chakraborty.A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations, Technical Report No. TR-11-33.[download]
— Technical Reports 2006-2007
- Sudeep Juvekar, Ankur Taly, Varun Kanade , Supratik Chakraborty.Efficient Approximate Symbolic Reachability of Discrete-timed Digital Circuits, Technical Report No. TR-07-22.[download]
- Seetha Jayasankar and Supratik Chakraborty.LREs: A Framework For Guiding Symbolic Reachability Analysis , Technical Report No. TR-07-23.[download]
— Technical Reports 2005-2006
- Joycee Mekie, Supratik Chakraborty, Girish Venkataramani, P. S. Thiagarajan, D. K. Sharma Interfaces for Rationally clocked GALS systems, Technical Report No. TR-06-18.[download]
- Dina Thomas, Supratik Chakraborty and Paritosh Pandya Efficient Guided Symbolic Reachability using Reachability Expressions, Technical Report No. tTR-06-01 (TR-06-19). [download]
Technical Reports 2004-2005
|
People
—> Principal Investigators
—> Research Employees
—> Students
Projects
—> R & D Projects
—> Sponsored Projects
—> Exploratory Projects
Papers/Reports
—> Papers
—> Technical Reports
—> Theses
Resources
—> Search
—> Tools
Activities
—> Weekly Meetings
—> Formal Methods Update '05
—> Workshop'05
—> Workshop 2002
Download
—> Course Material
—> Online documentation
Others
—> Photographs
—> Internal Website
—> Webmail
|
