Selected Publications

    2003

  1. Alper Sen and Vijay K. Garg, On Checking Whether a Predicate Definitely Holds , 3rd International Workshop onFormal Approaches to Testing of Software(FATES 2003) Montreal, Quebec, Canada,October 2003............Postscript

    2. 1996

  2. V. K. Garg, B. Waldecker,Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 12, December 1996, pp. 1323 - 1333. Abstract ...........Postscript