Sayan Mitra
-
To appear: Formal Aspects of Computing
-
Second IFIP Working Conference on Verified Software: Theories, Tools and Experiments Workshop on Experiments
-
Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS`08) , LNCS 5215, 217-231, September 2008, Springer
-
PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.
-
Center for the Mathematics of Information, April 24, 2008
-
Systems Workshop, Harvey Mudd, March 2008