Selected Publications

    2003

  1. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing , 7th International Conference on Principles of Distributed Systems La Martinique, France,December 10-13 2003, ........... Postscript ........... pdf

    2. 2002

  2. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in the Happened Before Model ,International Parallel and Distributed Processing Symposium (IPDPS).April, Florida.Abstract ...........Postscript ...........