Chandy, K. Mani
Chandy, K. Mani and Bunn, Julian (2019) Compositional structures for streaming applications ; ISBN 978-1-4503-6094-4; Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19); 352-361; 10.1145/3288599.3288642
Fujimoto, Richard M. and Bagrodia, Rajive, et el. (2017) Parallel discrete event simulation: The making of a field ; ISBN 978-1-5386-3428-8; Proceedings of the 2017 Winter Simulation Conference; 262-291; 10.1109/WSC.2017.8247793
Chandy, K. Mani (2016) Theory and implementation of a distributed event based platform ; ISBN 978-1-4503-4021-2; DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems; 205-213; 10.1145/2933267.2940321
Agarwal, Anish and Cai, Desmond, et el. (2015) A model for residential adoption of photovoltaic systems ; ISBN 978-1-4673-8040-9; 2015 IEEE Power & Energy Society General Meeting; 1-5; 10.1109/PESGM.2015.7286226
Bose, Subhonmesh and Gayme, Dennice F., et el. (2014) Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow ; ISBN 978-1-4799-3001-2; 48th Annual Conference on Information Sciences and Systems (CISS); 1-5; 10.1109/CISS.2014.6814135
Bose, Subhonmesh and Gayme, Dennice F., et el. (2012) Optimal placement of energy storage in the grid ; ISBN 978-1-4673-2065-8; 51st IEEE Conference on Decision and Control; 5605-5612; 10.1109/CDC.2012.6426113
Subhonmesh, Bose and Low, Steven H., et el. (2012) Equivalence of Branch Flow and Bus Injection Models ; ISBN 978-1-4673-4537-8; 2012 50th Annual Allerton Conference on Communication, Control, and Computing; 1893-1899; 10.1109/Allerton.2012.6483453
Liu, Annie and Olson, Michael, et el. (2012) Towards a Discipline of Geospatial Distributed Event Based Systems ; ISBN 978-1-4503-1315-5; Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; 95-106; 10.1145/2335484.2335495
Cai, Desmond W. H. and Adlakha, Sachin, et el. (2011) Optimal contract for wind power in day-ahead electricity markets ; ISBN 978-1-61284-800-6; 2011 50th IEEE Conference on Decision and Control and European Control Conference; 1521-1527; 10.1109/CDC.2011.6161253
Farivar, Masoud and Clarke, Christopher R., et el. (2011) Inverter VAR control for distribution systems with renewables ; ISBN 978-1-4577-1704-8; 2011 IEEE International Conference on Smart Grid Communications; 457-462; 10.1109/SmartGridComm.2011.6102366
Bakken, D. and Bose, A., et el. (2011) GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π ; ISBN 978-1-4577-1702-4; 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm); 7-12; 10.1109/SmartGridComm.2011.6102397
Huang, Rui and Low, Steven H., et el. (2011) Optimal design of hybrid energy system with PV/wind turbine/storage: A case study ; ISBN 978-1-4577-1704-8; 2011 IEEE International Conference on Smart Grid Communications; 511-516; 10.1109/SmartGridComm.2011.6102376
Bose, Subhonmesh and Gayme, Dennice F., et el. (2011) Optimal power flow over tree networks ; ISBN 978-1-4577-1817-5; 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton); 1342-1348; 10.1109/Allerton.2011.6120323
Bizarro, Pedro and Chandy, K. Mani, et el. (2011) Tutorial: Event processing grand challenges ; ISBN 978-1-4503-0423-8; Proceedings of the 5th ACM international conference on Distributed event-based system; 361-362; 10.1145/2002259.2002308
Olson, Michael and Liu, Annie, et el. (2011) Rapid detection of rare geospatial events: earthquake warning applications ; ISBN 978-1-4503-0423-8; Proceedings of the 5th ACM international conference on Distributed event-based system; 89-100; 10.1145/2002259.2002276
Faulkner, Matthew and Olson, Michael, et el. (2011) Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors ; ISBN 978-1-61284-854-9; Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 121-122
Liu, Annie H. and Bunn, Julian J., et el. (2011) Sensor networks for the detection and tracking of radiation and other threats in cities ; ISBN 978-1-61284-854-9; Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks
Faulkner, Matthew and Olson, Michael, et el. (2011) The next big one: Detecting earthquakes and other rare events from community-based sensors ; ISBN 978-1-61284-854-9; Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 13-24
Chandy, K. Mani and Low, Steven H., et el. (2010) A simple optimal power flow model with energy storage ; ISBN 978-1-4244-7745-6; 49th IEEE Conference on Decision and Control (CDC); 1051-1057; 10.1109/CDC.2010.5718193
Xu, Huan and Topcu, Ufuk, et el. (2010) Load-shedding probabilities with hybrid renewable power generation and energy storage ; ISBN 978-1-4244-8216-0; 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton); 233-239; 10.1109/ALLERTON.2010.5706912
Chandy, K. Mani and Mitra, Sayan, et el. (2008) Convergence Verification: From Shared Memory to Partially Synchronous Systems ; ISBN 978-3-540-85777-8; Formal Modeling and Analysis of Timed Systems; 218-232; 10.1007/978-3-540-85778-5_16
Mitra, Sayan and Chandy, K. Mani (2008) A Formalized Theory for Verifying Stability and Convergence of Automata in PVS ; ISBN 9783540710653; Theorem Proving in Higher Order Logics; 230-245; 10.1007/978-3-540-71067-7_20
Chandy, Mani and Pilotto, Concetta, et el. (2008) Networked sensing systems for detecting people carrying radioactive material ; ISBN 978-4-907764-31-9; 5th International Conference on Networked Sensing Systems; 148-155; 10.1109/INSS.2008.4610916
Chandy, K. Mani and Charpentier, Michel, et el. (2007) Towards a theory of events ; ISBN 978-1-59593-665-3; Proceedings of the 2007 inaugural international conference on Distributed event-based systems; 180-187; 10.1145/1266894.1266929
Chandy, Mani and Gawlick, Dieter (2007) Event processing using database technology ; ISBN 978-1-59593-686-8; SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data; 1169-1170; 10.1145/1247480.1247645
Chandy, K. Mani and Charpentier, Michel (2007) Self-Similar Algorithms for Dynamic Distributed Systems ; ISBN 9780769528373; 27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007; 67; 10.1109/ICDCS.2007.137
Khorlin, Andrey-A and Chandy, K. Mani (2006) Control-based Scheduling in a Distributed Stream Processing System ; ISBN 0-7695-2681-0; SCW 2006: IEEE Services Computing Workshops; 55-64; 10.1109/SCW.2006.8
Chandy, K. Mani and Tian, Lu, et el. (2006) Enterprise Computing Systems as Information Factories ; ISBN 0-7695-2558-X; 10th IEEE International Enterprise Distributed Object Computing Conference proceedings; 427-432; 10.1109/EDOC.2006.24
Zimmerman, Daniel M. and Chandy, K. Mani (2006) Snapshot Processing in Streaming Environments ; ISBN 978-1-4244-0343-1; 2006 7th IEEE/ACM International Conference on Grid Computing; 319-320; 10.1109/ICGRID.2006.311038
Tian, Lu and Chandy, K. Mani (2006) Resource Allocation in Streaming Environments ; ISBN 978-1-4244-0343-1; 2006 7th IEEE/ACM International Conference on Grid Computing; 270-277; 10.1109/ICGRID.2006.311025
Ginis, Roman and Chandy, K. Mani (2000) Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment ; ISBN 1-58113-272-7; EC '00 Proceedings of the 2nd ACM conference on Electronic commerce; 207-214; 10.1145/352871.352894
Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition ; ISBN 978-3-540-67727-7; Mathematics of Program Construction; 167-186; 10.1007/10722010_12
Charpentier, Michel and Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems ; ISBN 978-3-540-66587-8; FM'99 — Formal Methods; 570-589; 10.1007/3-540-48119-2_32
Charpentier, Michel and Chandy, K. Mani (1999) Examples of program composition illustrating the use of universal properties ; ISBN 978-3-540-65831-3; Parallel and Distributed Processing; 1215-1227; 10.1007/bfb0098004
Chandy, K. Mani and Sivilotti, Paolo A. G., et el. (1998) A Cottage industry of software publishing: Implications for theories of composition ; ISBN 9783540643593; Parallel and Distributed Processing; 890-899; 10.1007/3-540-64359-1_751
Chandy, K. Mani and Taylor, Stephen (1992) Program Composition Notation ; ISBN 978-0-444-88135-9; A Comparative Study of Parallel Programming Languages: the Salishan Problems; 263-295; 10.1016/B978-0-444-88135-9.50012-7
Bagrodia, R. and Chandy, K. M., et el. (1990) UC: a language for the connection machine ; ISBN 0-8186-2056-0; Proceedings of Supercomputing '90; 525-534; 10.1109/SUPERC.1990.130064
Chandy, K. Mani and Taylor, Stephen (1989) The Composition of Concurrent Programs ; ISBN 0-89791-341-8; Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing; 557-561; 10.1145/76263.76325
Chandy, K. Mani and Misra, Jayadev (1985) How processes learn ; ISBN 0-89791-168-7; Proceedings of the fourth annual ACM symposium on Principles of distributed computing; 204-214; 10.1145/323596.323615
Berry, Robert and Chandy, K. Mani (1983) Performance models of token ring local area networks ; ISBN 0-89791-112-1; Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems; 266-274; 10.1145/800040.801414
Misra, J. and Chandy, K. M., et el. (1982) Proving safety and liveness of communicating processes with examples ; ISBN 0-89791-081-8; Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; 201-208; 10.1145/800220.806698
Chandy, K. M. and Misra, J. (1982) A distributed algorithm for detecting resource deadlocks in distributed systems ; ISBN 0-89791-081-8; Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; 157-164; 10.1145/800220.806693
Chandy, K. M. and Misra, J., et el. (1982) The use of performance models in systematic design ; ISBN 0-88283-035-X; Proceedings of the 1982 national computer conference; 251-256; 10.1145/1500774.1500804
Lang, D. E. and Agerwala, T. K., et el. (1979) A modeling approach and design tool for pipelined central processors ; 10.1145/800090.802901
Chandy, K. M. (1976) Bayesian models of design based on intuition
Chandy, K. M. and Hewes, J. E. (1976) File allocation in distributed systems ; 10.1145/800200.806177
Chandy, K. M. and Ramamoorthy, C. V., et el. (1972) A framework for hardware-software tradeoffs in the design of fault-tolerant computers ; 10.1145/1479992.1480000
Chandy, K. M. and Keller, T. W., et el. (1972) Design automation and queueing networks: An interactive system for the evaluation of computer queueing models ; 10.1145/800153.804968
