An R&D Centre at IIT Bombay

Papers, Reports and Theses 2001-2002
Papers 2001-2002

  • S. Chakraborty and R. Angrish, Probabilistic Timing Analysis of Asynchronous Systems with Moments of Delays, IEEE Symposium for Advanced Research in Asynchronous Circuits and Systems (ASYNC), April 2002.
  • N. Vinod and S. Ramesh, Slicing Hierarchical and Concurrent State Machines, Workshop on Synchronous Languages and Programming, April 2002.
  • I. Singh, Sridhar Iyer, Distributed apportioning based reachability analysis of concurrent Java programs, Workshop on Automated Program Analysis, Testing and Verification, Intl. Conference on Software Engg, Toronto, Canada, May 2001.
  • Sridhar Iyer, S. Ramesh, Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object Oriented Programs, IEEE Trans. on Software Engineering, Vol. 27, No. 11, November 2001.