Mani Chandy

Analysis-aware design of embedded systems software

Gerard J. Holzmann, Mani Chandy, Mihai Florian, 2014 .

Concept of Operations for a Virtual Machine for C3I Applications.

Mani Chandy, Rajive Bagrodia, R. Bagrodia, 1997 .

Stream Processing Algorithms that model behavior changes

Mani Chandy, Agostino Capponi, A. Capponi, 2005 .

Community Seismic Network

Andreas Krause, Michael Olson, Rishi Chandy, 2012 .

Predicate Signaling in Distributed Sensor Networks

Mani Chandy, Agostino Capponi, Ibrahim Fatkullin, 2006 .

A model for residential adoption of photovoltaic systems

Mani Chandy, Robert Sherick, Anish Agarwal, 2015, 2015 IEEE Power & Energy Society General Meeting.

Strand and Pcn: Two Generations of Compositional Programming Languages Strand and Pcn: Two Generations of Compositional Programming Languages

Mani Chandy, Ian Foster, M. Chandy, 1993 .