Distributed Algorithms
-
49th IEEE Conference on Decision and Control. Atlanta, GA, USA. December 15--17, 2010.
-
Second NASA Formal Methods Symposium
-
To appear: Formal Aspects of Computing
-
Verification and Validation MURI hands-on workshop
-
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
-
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