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); Association for Computing
Machinery (ACM): New York, NY; 352-361; 10.1145/3288599.3288642
Fujimoto, Richard M.; 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;
IEEE: Piscataway, NJ; 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; ACM: New York, NY;
205-213; 10.1145/2933267.2940321
Agarwal, Anish; 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;
IEEE: Piscataway, NJ; 1-5; 10.1109/PESGM.2015.7286226
Bose, Subhonmesh; 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); IEEE:
Piscataway, NJ; 1-5; 10.1109/CISS.2014.6814135
Bose, Subhonmesh; 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; IEEE: Piscataway, NJ;
5605-5612; 10.1109/CDC.2012.6426113
Subhonmesh, Bose; 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; IEEE: Piscataway, NJ; 1893-1899; 10.1109/Allerton.2012.6483453
Liu, Annie; 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; ACM: New York; 95-106; 10.1145/2335484.2335495
Cai, Desmond W. H.; 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; IEEE: Piscataway, NJ; 1521-1527; 10.1109/CDC.2011.6161253
Bakken, D.; 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); IEEE:
Piscataway, NJ; 7-12; 10.1109/SmartGridComm.2011.6102397
Farivar, Masoud; 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; IEEE: Piscataway, NJ; 457-462; 10.1109/SmartGridComm.2011.6102366
Huang, Rui; 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; IEEE: Piscataway, NJ; 511-516; 10.1109/SmartGridComm.2011.6102376
Bose, Subhonmesh; 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); IEEE: Piscataway, NJ; 1342-1348; 10.1109/Allerton.2011.6120323
Olson, Michael; 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; Association
for Computing Machinery (ACM): New York, NY; 89-100; 10.1145/2002259.2002276
Bizarro, Pedro; 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; Association for Computing Machinery (ACM): New York,
NY; 361-362; 10.1145/2002259.2002308
Faulkner, Matthew; 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; ACM: New York, NY; 121-122
Liu, Annie H.; 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;
ACM: New York, NY
Faulkner, Matthew; 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; ACM: New York, NY; 13-24
Chandy, K. Mani; 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);
IEEE: Piscataway, NJ; 1051-1057; 10.1109/CDC.2010.5718193
Xu, Huan; 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); IEEE: Piscataway, NJ;
233-239; 10.1109/ALLERTON.2010.5706912
Chandy, K. Mani; 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;
Springer: Berlin; 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;
Springer: Berlin; 230-245; 10.1007/978-3-540-71067-7_20
Chandy, Mani; 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; IEEE: Piscataway, NJ; 148-155; 10.1109/INSS.2008.4610916
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; ACM: New York, NY; 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; IEEE: Pisctaway, NJ; 67; 10.1109/ICDCS.2007.137
Chandy, K. Mani; 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;
Association for Computing Machinery: New York, NY; 180-187; 10.1145/1266894.1266929
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; IEEE: Los
Alamitos, CA; 55-64; 10.1109/SCW.2006.8
Chandy, K. Mani; 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; IEEE: Los Alamitos, CA; 427-432; 10.1109/EDOC.2006.24
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; IEEE:
Piscataway, NJ; 270-277; 10.1109/ICGRID.2006.311025
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; IEEE:
Piscataway, N.J.; 319-320; 10.1109/ICGRID.2006.311038
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; ACM: New
York, NY; 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; Springer: Berlin, Heidelberg; 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; Springer:
Berlin; 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; Springer:
Berlin; 1215-1227; 10.1007/bfb0098004
Chandy, K. Mani; Sivilotti, Paolo A. G.; et el. (1998) A
Cottage industry of software publishing: Implications for theories of
composition ; ISBN 9783540643593; Parallel and Distributed
Processing; Springer: Berlin, Heidelberg; 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; Elsevier:
Amsterdam; 263-295; 10.1016/B978-0-444-88135-9.50012-7
Bagrodia, R.; Chandy, K. M.; et el. (1990) UC:
a language for the connection machine ; ISBN 0-8186-2056-0;
Proceedings of Supercomputing ’90; IEEE: Piscataway, NJ; 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; ACM: New York, NY; 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; Association
for Computing Machinery: New York, NY; 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; Association for Computing Machinery: New
York, NY; 266-274; 10.1145/800040.801414
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;
Association for Computing Machinery: New York, NY; 157-164; 10.1145/800220.806693
Misra, J.; 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; Association for Computing
Machinery: New York, NY; 201-208; 10.1145/800220.806698
Chandy, K. M.; 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; Association for
Computing Machinery: New York, NY; 251-256; 10.1145/1500774.1500804
Lang, D. E.; 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.; 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.; 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