Papers

A Formalized Theory for Verifying Convergence and Stability of Automata in PVS

TPHOLS 2008, 21st International Conference on Theorem Proving in Higher Order Logics, Montreal, 18-21 August, 2008
Networked Sensing Systems for Detecting People Carrying Radioactive Material

Fifth International IEEE Conference on Networked Sensing Systems (INSS 2008), June 17 - 19, 2008, Kanazawa, Japan
Virtual Environment for Developing Strategies for Interdicting Terrorists Carrying Dirty Bombs

Matt Wu, Annie Liu, K. Mani Chandy, ISCRAM 2008

radiation_ISCRAM.pdf
Enterprise Computing Systems as Information Factories

K. Mani Chandy, Lu Tian, and Daniel M. Zimmerman. Presented at the Tenth IEEE International EDOC Conference (EDOC 2006), October 2006.

Enterprise Computing Systems as Information Factories.pdf
Control-based Scheduling in a Distributed Stream Processing System

Andrey Khorlin and K. Mani Chandy. Presented at the First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS '06), September 2006.
Snapshot Processing in Streaming Environments

Daniel M. Zimmerman and K. Mani Chandy. Presented at the 7th IEEE/ACM Conference on Grid Computing (GRID 2006), September 2006.

Snapshot Processing in Streaming Environments.pdf
Resource Allocation in Streaming Environments

Lu Tian and K. Mani Chandy. Presented at the 7th IEEE/ACM Conference on Grid Computing (GRID 2006), September 2006.

Resource Allocation in Streaming Environments.pdf
Sense and Respond Systems

K. Mani Chandy. Presented at the 31st Annual International Conference of the Association of System Performance Professionals (CMG 2005), December 2005.

Sense and Respond Systems.pdf
A Parallel Algorithm for Correlating Event Streams

Daniel M. Zimmerman and K. Mani Chandy. Presented at the 19th IEEE International Parallel and Distributed Programming Symposium (IPDPS 2005), April 2005.

A Parallel Algorithm for Correlating Event Streams.pdf
Δ-Dataflow Networks for Event Stream Processing

Rajit Manohar and K. Mani Chandy. Presented at the 16th IASTED International Conference on Parallel and Distributed Computing and Systems, November 2004.

Dataflow Networks for Event Stream Processing.pdf
Specification Transformers: A Predicate Transformer Approach to Composition

Michel Charpentier and K. Mani Chandy. Acta Informatica, 40(3):265-301, February 2004.

Specification Transformers - A Predicate Transformer Approach to Composition.pdf
Event-Driven Architectures for Distributed Crisis Management

K. Mani Chandy, Brian Emre Aydemir, Elliott Michael Karpilovsky and Daniel M. Zimmerman. Presented at the 15th IASTED International Conference on Parallel and Distributed Computing and Systems, November 2003.

Event-Driven Architectures for Distributed Crisis Management.pdf
Event Webs for Crisis Management

K. Mani Chandy, Brian Emre Aydemir, Elliott Michael Karpilovsky and Daniel M. Zimmerman. Presented at the 2nd IASTED International Conference on Communications, Internet and Information Technology, November 2003.

Event Webs for Crisis Management.pdf
An Experiment in Program Composition and Proof

K. Mani Chandy and Michel Charpentier. Formal Methods in System Design, 20(1):7-21, January 2002.
Reasoning About Composition Using Property Transformers and Their Conjugates

Michel Charpentier and K. Mani Chandy. In J. van Leeuwen, O. Watanabe, M. Hagiya, P.D. Mosses and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP-TCS 2000), volume 1872 of Lecture Notes in Computer Science, pp. 580-595, Springer-Verlag, August 2000.

Reasoning About Composition Using Property Transformers and Their Conjugates.ps
Theorems About Composition

Michel Charpentier and K. Mani Chandy. In R. Backhouse and J. Nuno Oliveira, editors, International Conference on Mathematics of Program Construction (MPC '00), volume 1837 of Lecture Notes in Computer Science, pp. 167-186, Springer-Verlag, July 2000.
Predicate Transformers for Composition

K. Mani Chandy and Michel Charpentier. In J. Davies, B. Roscoe and J. Woodcock, editors, Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, Cornerstones of Computing, pp. 81-90. Palgrave, 2000.