Chandy, K. Mani - Computer Science Department, California Institute of Technology

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Chandy, K. Mani - Computer Science Department, California Institute of Technology

Towards Verified Distributed Software Through Refinement of Formal Archetypes
Data fusion with distributed mobile detectors in a highly variable background
Consensus on Asynchronous Communication Networks in Presence of External Input
Verification of Faulty Message Passing Systems with Continuous State Space in PVS
Under consideration for publication in Formal Aspects of Computing Verification of Distributed Systems with
Specifications and Architectures of Federated Event-Driven Systems K. Mani Chandy and Michael Olson
Towards Verified Distributed Software Through Refinement of
A Simple Optimal Power Flow Model with Energy Storage K. Mani Chandy, Steven H. Low, Ufuk Topcu and Huan Xu
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Performance issues in cloud computing for cyber-physical applications Michael Olson, K. Mani Chandy
Rapid Detection of Rare Geospatial Events: Earthquake Warning Applications
The Next Big One: Detecting Earthquakes and other Rare Events from Community-based Sensors