Papers
-
Formal Modeling and Analysis of Timed Systems (FORMATS 08), September 2008
-
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.
-
Andrey Khorlin and K. Mani Chandy. Presented at the First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS '06), September 2006.
-
Daniel M. Zimmerman and K. Mani Chandy. Presented at the 7th IEEE/ACM Conference on Grid Computing (GRID 2006), September 2006.
-
Lu Tian and K. Mani Chandy. Presented at the 7th IEEE/ACM Conference on Grid Computing (GRID 2006), September 2006.