Papers and Reports

1. On-the-fly Verfication for Linear Time Temporal Logic
   M.Phil. Dissertation submitted to BITS, Pilani, 1997.

2. On-the-fly Verfication for Product-LTL
   D. D'Souza and P. Madhusudan
   Proceedings of Seventh National Seminar on Theoretical Computer Science, 1997.

3. Distributed Interval Automata: A Subclass of Timed Automata
   D. D'Souza and P. S. Thiagarajan
   Internal Report TCS-98-3, Chennai Mathematical Institute, 1998.

4. Product Interval Automata: A Subclass of Timed Automata
   D. D'Souza and P. S. Thiagarajan
   Proceedings of 19th FSTTCS, LNCS 1732, 1999.

5. A Logical Study of Distributed Timed Automata
   Ph.D. Thesis submitted to BITS, Pilani, 2000.