Papers
-
Under review: Formal Aspects of Computing
-
AAAI Spring Symposium on Intelligent Complex Event Processing, Stanford, March 23-25, 2009
-
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
-
TPHOLS 2008, 21st International Conference on Theorem Proving in Higher Order Logics, Montreal, 18-21 August, 2008
-
Fifth International IEEE Conference on Networked Sensing Systems (INSS 2008), June 17 - 19, 2008, Kanazawa, Japan
-
Matt Wu, Annie Liu, K. Mani Chandy, ISCRAM 2008
-
PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.
-
Distributed Event Based Systems (DEBS 07) Conference; 2007
-
K. Mani Chandy, Lu Tian, and Daniel M. Zimmerman. Presented at the Tenth IEEE International EDOC Conference (EDOC 2006), October 2006.