Chandy, K. Mani; Bunn, Julian (2019) Compositional structures for streaming applications Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19); 20th International Conference on Distributed Computing and Networking (ICDCN '19), 4-7 January 2019 , Bangalore, India

Fujimoto, Richard M.; Bagrodia, Rajive et al. (2017) Parallel discrete event simulation: The making of a field Proceedings of the 2017 Winter Simulation Conference; 2017 Winter Simulation Conference (WSC), 3-6 December 2017 , Las Vegas, NV

Chandy, K. Mani (2016) Theory and implementation of a distributed event based platform DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems; DEBS '16 The 10th ACM International Conference on Distributed and Event-based Systems, June 20-24, 2016 , Irvine, CA

Agarwal, Anish; Cai, Desmond et al. (2015) A model for residential adoption of photovoltaic systems 2015 IEEE Power & Energy Society General Meeting; 2015 IEEE Power & Energy Society General Meeting, 26-30 July 2015 , Denver, CO

Bose, Subhonmesh; Gayme, Dennice F. et al. (2014) Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow 48th Annual Conference on Information Sciences and Systems (CISS); 48th Annual Conference on Information Sciences and Systems (CISS), 19-21 March 2014 , Princeton, NJ

Bose, Subhonmesh; Gayme, Dennice F. et al. (2012) Optimal placement of energy storage in the grid 51st IEEE Conference on Decision and Control; 51st IEEE Annual Conference on Decision and Control (CDC), Dec. 10-13, 2012 , Maui, HI

Subhonmesh, Bose; Low, Steven H. et al. (2012) Equivalence of Branch Flow and Bus Injection Models 2012 50th Annual Allerton Conference on Communication, Control, and Computing; 50th Annual Allerton Conference on Communication, Control, and Computing, Oct 1-5, 2012 , Monticello, IL

Liu, Annie; Olson, Michael et al. (2012) Towards a Discipline of Geospatial Distributed Event Based Systems Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; DEBS '12, 16-20 July 2012 , Berlin, Germany

Cai, Desmond W. H.; Adlakha, Sachin et al. (2011) Optimal contract for wind power in day-ahead electricity markets 2011 50th IEEE Conference on Decision and Control and European Control Conference; 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), 12-15 December 2011 , Orlando, FL

Bakken, D.; Bose, A. et al. (2011) GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm); 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011 , Brussels, Belgium

Farivar, Masoud; Clarke, Christopher R. et al. (2011) Inverter VAR control for distribution systems with renewables 2011 IEEE International Conference on Smart Grid Communications; 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011 , Brussels, Belgium

Huang, Rui; Low, Steven H. et al. (2011) Optimal design of hybrid energy system with PV/wind turbine/storage: A case study 2011 IEEE International Conference on Smart Grid Communications; 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm), October 17-20, 2011 , Brussels, Belgium

Bose, Subhonmesh; Gayme, Dennice F. et al. (2011) Optimal power flow over tree networks 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton); 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 28-30 September 2011 , Monticello, IL

Olson, Michael; Liu, Annie et al. (2011) Rapid detection of rare geospatial events: earthquake warning applications Proceedings of the 5th ACM international conference on Distributed event-based system ; 5th ACM international conference on Distributed event-based system (DEBS '11), July 11-15, 2011 , New York, NY

Bizarro, Pedro; Chandy, K. Mani et al. (2011) Tutorial: Event processing grand challenges Proceedings of the 5th ACM international conference on Distributed event-based system; 5th ACM international conference on Distributed event-based system, July 11-15, 2011 , New York, NY

Faulkner, Matthew; Olson, Michael et al. (2011) Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 10th International Conference on Information Processing in Sensor Networks (IPSN), April 12-14, 2011 , Chicago, IL

Liu, Annie H.; Bunn, Julian J. et al. (2011) Sensor networks for the detection and tracking of radiation and other threats in cities Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 10th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 12-14, 2011 , Chicago, IL

Faulkner, Matthew; Olson, Michael et al. (2011) The next big one: Detecting earthquakes and other rare events from community-based sensors Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks; 10th International Conference on Information Processing in Sensor Networks (IPSN), April 12-14, 2011 , Chicago, IL

Chandy, K. Mani; Low, Steven H. et al. (2010) A simple optimal power flow model with energy storage 49th IEEE Conference on Decision and Control (CDC); 49th IEEE Conference on Decision and Control (CDC), December 15-17, 2010 , Atlanta, GA

Xu, Huan; Topcu, Ufuk et al. (2010) Load-shedding probabilities with hybrid renewable power generation and energy storage 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton); 48th Annual Allerton Conference on Communication, Control, and Computing, September 29 - October 1, 2010 , Monticello, IL

Chandy, K. Mani; Mitra, Sayan et al. (2008) Convergence Verification: From Shared Memory to Partially Synchronous Systems Formal Modeling and Analysis of Timed Systems; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 5215; 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), 15-17 September 2008 , Saint Malo, France

Mitra, Sayan; Chandy, K. Mani (2008) A Formalized Theory for Verifying Stability and Convergence of Automata in PVS Theorem Proving in Higher Order Logics; Series.Lecture Notes in Computer Science; No. 5170; 21st International Conference on Theorem Proving in Higher Order Logics, 18-21 August 2008 , Montréal, Canada

Chandy, Mani; Pilotto, Concetta et al. (2008) Networked sensing systems for detecting people carrying radioactive material 5th International Conference on Networked Sensing Systems; 5th International Conference on Networked Sensing Systems, June 17-19, 2008 , Kanazawa, Japan

Chandy, Mani; Gawlick, Dieter (2007) Event processing using database technology SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data; SIGMOD/PODS '07 International Conference on Management of Data, June 11-14, 2007 , Beijing, China

Chandy, K. Mani; Charpentier, Michel (2007) Self-Similar Algorithms for Dynamic Distributed Systems 27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007; 27th International Conference on Distributed Computing Systems (ICDCS '07), June 25-27, 2007 , Toronto, ON

Chandy, K. Mani; Charpentier, Michel et al. (2007) Towards a theory of events Proceedings of the 2007 inaugural international conference on Distributed event-based systems; 2007 inaugural international conference on Distributed event-based systems (DEBS '07), 20-22 June 2007 , Toronto, Canada

Khorlin, Andrey-A; Chandy, K. Mani (2006) Control-based Scheduling in a Distributed Stream Processing System SCW 2006: IEEE Services Computing Workshops; IEEE Services Computing Workshops, 18-22 September 2006 , Chicago, IL

Chandy, K. Mani; Tian, Lu et al. (2006) Enterprise Computing Systems as Information Factories 10th IEEE International Enterprise Distributed Object Computing Conference proceedings; Series.IEEE International Enterprise Distributed Object Computing (EDOC) Conference; 10th IEEE International Enterprise Distributed Object Computing Conference, October 16-20, 2006 , Hong Kong, China

Tian, Lu; Chandy, K. Mani (2006) Resource Allocation in Streaming Environments 2006 7th IEEE/ACM International Conference on Grid Computing; 7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006 , Barcelona, Spain

Zimmerman, Daniel M.; Chandy, K. Mani (2006) Snapshot Processing in Streaming Environments 2006 7th IEEE/ACM International Conference on Grid Computing; 7th IEEE/ACM International Conference on Grid Computing, September 28-29, 2006 , Barcelona, Spain

Ginis, Roman; Chandy, K. Mani (2000) Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment EC '00 Proceedings of the 2nd ACM conference on Electronic commerce; EC'00 The 2nd ACM Conference on Electronic Commerce, October 17-20, 2000 , Minneapolis, MN

Charpentier, Michel; Chandy, K. Mani (2000) Theorems about Composition Mathematics of Program Construction; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 1837; 5th International Conference on Mathematics of Program Construction, 3-5 July 2000 , Ponte de Lima, Portugal

Charpentier, Michel; Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems FM’99 — Formal Methods; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 1708; World Congress on Formal Methods in the Development of Computing Systems, 20-24 September 1999 , Toulouse, France

Charpentier, Michel; Chandy, K. Mani (1999) Examples of program composition illustrating the use of universal properties Parallel and Distributed Processing; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 1586; 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 12-16 April 1999 , San Juan, Puerto Rico

Chandy, K. Mani; Sivilotti, Paolo A. G. et al. (1998) A Cottage industry of software publishing: Implications for theories of composition Parallel and Distributed Processing; Lecture Notes in Computer Science; Series.Lecture Notes in Computer Science; No. 1388; 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, 30 March-3 April 1998 , Orlando, FL

Chandy, K. Mani; Taylor, Stephen (1992) Program Composition Notation A Comparative Study of Parallel Programming Languages: the Salishan Problems; Series.Special topics in supercomputing; No. 6;

Bagrodia, R.; Chandy, K. M. et al. (1990) UC: a language for the connection machine Proceedings of Supercomputing '90; 1990 ACM/IEEE conference on Supercomputing, November 12-16, 1990 , New York, NY

Chandy, K. Mani; Taylor, Stephen (1989) The Composition of Concurrent Programs Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing ; SC89 International Conference for High Performance Computing, Networking, Storage and Analysis, November 12-17, 1989 , Reno, NV

Chandy, K. Mani; Misra, Jayadev (1985) How processes learn Proceedings of the fourth annual ACM symposium on Principles of distributed computing; Fourth annual ACM symposium on Principles of distributed computing (PODC '85), 5-7 August 1985 , Minaki, Ontario

Berry, Robert; Chandy, K. Mani (1983) Performance models of token ring local area networks Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems; 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems (SIGMETRICS '83), 29-31 August 1983 , Minneapolis, MN

Chandy, K. M.; Misra, J. (1982) A distributed algorithm for detecting resource deadlocks in distributed systems Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; First ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82), 18-20 August 1982 , Ottawa, Canada

Misra, J.; Chandy, K. M. et al. (1982) Proving safety and liveness of communicating processes with examples Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; First ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82), 18-20 August 1982 , Ottawa, Canada

Chandy, K. M.; Misra, J. et al. (1982) The use of performance models in systematic design Proceedings of the 1982 national computer conference; Series.AFIPS Conference Proceedings; No. 51; 1982 national computer conference (AFIPS '82), 7-10 June 1982 , Houston, TX

Lang, D. E.; Agerwala, T. K. et al. (1979) A modeling approach and design tool for pipelined central processors Proceedings of the 6th annual symposium on Computer architecture; 6th annual symposium on Computer architecture (ISCA '79), 23-25 April 1979 , Philadelphia, PA

Chandy, K. M. (1976) Bayesian models of design based on intuition Proceedings of the 2nd international conference on Software engineering; 2nd international conference on Software engineering (ICSE '76), 13-15 October 1976 , San Francisco, CA

Chandy, K. M.; Hewes, J. E. (1976) File allocation in distributed systems Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation; 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation (SIGMETRICS '76), 29-31 March 1976 , Cambridge, MA

Chandy, K. M.; Ramamoorthy, C. V. et al. (1972) A framework for hardware-software tradeoffs in the design of fault-tolerant computers Proceedings of the 1972 fall joint computer conference, Part I; 1972 fall joint computer conference (AFIPS '72), 5-7 December 1972 , Anaheim, CA

Chandy, K. M.; Keller, T. W. et al. (1972) Design automation and queueing networks: An interactive system for the evaluation of computer queueing models Proceedings of the 9th Design Automation Workshop; 9th Design Automation Workshop (DAC '72), 26-28 June 1972 , Dallas, TX