Chandy, Kanianthra

Monograph from CaltechTHESIS committee

• Badithela, Apurva Srinivas (2024) Test and Evaluation of Autonomous Systems: Reactive Test Synthesis and Task-Relevant Evaluation of Perception; 10.7907/e8qz-rd26
• Akella, Prithvi (2023) Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification; 10.7907/jej3-4444
• Phan-Minh, Tung (2021) Contract-Based Design: Theories and Applications; 10.7907/8vp7-kd82
• Cai, Karena Xin (2021) Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception; 10.7907/w3m8-es32
• Dathathri, Sumanth (2020) Scalable Synthesis and Verification: Towards Reliable Autonomy; 10.7907/4j39-v857
• Filippidis, Ioannis (2019) Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design; 10.7907/Z9Q52MTD
• Ren, Xiaoqi (2018) Optimizing Resource Management in Cloud Analytics Services; 10.7907/K62Y-FV39
• Peng, Qiuyu (2016) Distributed Control and Optimization for Communication and Power Systems; 10.7907/Z99C6VBW
• Cai, Wuhan Desmond (2016) Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control; 10.7907/Z9BG2KZG
• Asimakopoulos, Aristotelis (2015) Macroscopically Dissipative Systems with Underlying Microscopic Dynamics : Properties and Limits of Measurement; 10.7907/Z9V40S4N
• Gan, Lingwen (2015) Distributed Load Control in Multiphase Radial Networks; 10.7907/Z9FQ9TJ0
• Cheng, Ming Hei (2014) New Applications that Come from Extending Seismic Networks into Buildings; 10.7907/STB2-XR07
• Faulkner, Matthew Nicholas (2014) Community Sense and Response Systems; 10.7907/QFM5-FH06
• Olson, Michael James (2014) Cloud Computing Services for Seismic Networks; 10.7907/5D60-FG88
• Bose, Subhonmesh (2014) An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets; 10.7907/FRGW-AF26
• Liu, Zhenhua (2014) Sustainable IT and IT for Sustainability; 10.7907/296T-HR79
• Florian, Mihai (2014) Analysis-Aware Design of Embedded Systems Software; 10.7907/VB1N-Y042
• Wolff, Eric McKenzie (2014) Control of Dynamical Systems with Temporal Logic Specifications; 10.7907/TGFR-SS39
• Xu, Huan (2013) Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic; 10.7907/QDJN-BB72
• DeLorimier, Michael John (2013) GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms; 10.7907/M3TW-7Y53
• Sojoudi, Somayeh (2013) Mathematical Study of Complex Networks: Brain, Internet, and Power Grid; 10.7907/E750-2M74
• Liu, Annie Hsin-Wen (2013) Sensor Networks for Geospatial Event Detection - Theory and Applications; 10.7907/MZWJ-T222
• Gopalakrishnan, Ragavendran (2013) Characterizing Distribution Rules for Cost Sharing Games; 10.7907/AWE2-H976
• Lin, Minghong (2013) Algorithmic Challenges in Green Data Centers; 10.7907/NRXJ-JB76
• Bakshi, Mayank (2012) Network Coding and Distributed Compression over Large Networks: Some Basic Principles; 10.7907/GWDW-5H78
• Nair, Jayakrishnan U. (2012) Scheduling for Heavy-Tailed and Light-Tailed Workloads in Queueing Systems; 10.7907/AAXJ-EX10
• Bakshi, Mayank (2012) Network Coding and Distributed Compression over Large Networks: Some Basic Principles; 10.7907/GWDW-5H78
• Lavaei, Javad (2011) Large-Scale Complex Systems: From Antenna Circuits to Power Grids; 10.7907/CM46-5R54
• White, Jerome S. (2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations ; 10.7907/8FRW-ZF17
• Pilotto, Concetta (2011) Systematic Design and Formal Verification of Multi-Agent Systems ; 10.7907/SCQF-VP66
• Wongpiromsarn, Tichakorn (2010) Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle; 10.7907/XZ3X-7V51
• Braman, Julia Marie Badger (2009) Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems; 10.7907/3H42-BF56
• Capponi, Agostino (2009) Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence; 10.7907/7XV3-9Q45
• Shi, Ling (2009) Resource Optimization for Networked Estimator with Guaranteed Estimation Quality; 10.7907/DTCJ-BN07
• Kalyanaraman, Shankar (2009) Limited Randomness in Games, and Computational Perspectives in Revealed Preference ; 10.7907/KH85-HJ73
• Epstein, Michael Steven (2008) Managing Information in Networked and Multi-Agent Control Systems; 10.7907/84NT-9N46
• Jang, Wonjin (2008) Soft-Error Tolerant Quasi Delay-insensitive Circuits; 10.7907/ZVFF-WE07
• Jang, Wonjin (2008) Soft-Error Tolerant Quasi Delay-insensitive Circuits; 10.7907/ZVFF-WE07
• Prakash, Piyush (2008) Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching; 10.7907/9HMY-RR92
• Liu, Xin (2007) Robustness, Complexity, Validation and Risk; 10.7907/JZX4-QN41
• Mehyar, Mortada (2007) Distributed Averaging and Efficient File Sharing on Peer-to-Peer Networks; 10.7907/Q9EV-S167
• Martinez Estrada, Alfredo (2007) A Treatise on Econometric Forecasting; 10.7907/WXN5-9A47
• Wei, Xiaoliang (David) (2007) Microscopic Behavior of Internet Congestion Control; 10.7907/W5E3-9N04
• Țăpuș, Cristian (2006) Distributed Speculations: Providing Fault-Tolerance and Improving Performance; 10.7907/YZCK-4T29
• Papadantonakis, Karl Spyros (2006) Rigorous Analog Verification of Asynchronous Circuits; 10.7907/4R8F-WF03
• Wang, Jiantao (2006) A Theoretical Study of Internet Congestion Control: Equilibrium and Dynamics; 10.7907/4DQ0-GA49
• Tang, Ao (Kevin) (2006) Heterogeneous Congestion Control Protocols; 10.7907/eh43-pa83
• Prajna, Stephen (2005) Optimization-Based Methods for Nonlinear and Hybrid Systems Verification; 10.7907/S3BJ-4M47
• Jiang, Anxiao (Andrew) (2004) Optimized Network Data Storage and Topology Control; 10.7907/91R7-MH71
• Wong, Catherine Grace (2004) High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems; 10.7907/5N2N-0W58
• Mauch, Sean Patrick (2003) Efficient Algorithms for Solving Static Hamilton-Jacobi Equations; 10.7907/5R5P-Y603
• Ginis, Roman (2002) Automating Resource Management for Distributed Business Processes; 10.7907/9GXT-BD03
• Kiniry, Joseph Roland (2002) Kind Theory; 10.7907/TVTD-E826
• Zimmerman, Daniel Marc (2002) Dynamic UNITY; 10.7907/AC6E-WE21
• Schooler, Eve Meryl (2001) Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication; 10.7907/44QZ-R465
• Zhu, Xiaoyun (2000) Hard vs. soft bounds in probablilistic robustness analysis and generalized source coding and optimal web layout design; 10.7907/1f3r-va82
• Parrilo, Pablo A. (2000) Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization; 10.7907/2K6Y-CH43
• Primbs, James A. (1999) Nonlinear optimal control: a receding horizon appoach; 10.7907/4AD2-0T48
• Xu, Lihao (1999) Highly available distributed storage systems; 10.7907/EQK9-8C84
• Manohar, Rajit (1999) The impact of asynchrony on computer architecture; 10.7907/xzwa-p598
• Heirich, Alan Bryant (1998) Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering; 10.7907/ZVYW-H876
• Massingill, Berna Linda (1998) A structured approach to parallel programming; 10.7907/5ma9-h225
• Sivilotti, Paolo A. G. (1998) A method for the specification, composition, and testing of distributed object systems; 10.7907/z89g-gm27
• Watts, Jerrell R. (1998) Dynamic load balancing and granularity control on heterogeneous and hybrid architectures; 10.7907/gvgq-3d11
• Rieffel, Marc A. (1998) Performance modeling for concurrent particle simulations; 10.7907/sx57-5d89
• Maskit, Daniel (1997) Software register synchronization for super-scalar processors with partitioned register files; 10.7907/tyap-ea69
• Cheng, Jung-Fu (1997) Iterative decoding; 10.7907/ydj9-zq05
• Dabdub, Donald (1996) Mathematical modeling of air pollution dynamics by parallel computation; 10.7907/k1ap-np35
• Thornley, John William (1996) A parallel programming model with sequential semantics; 10.7907/mytw-er77
• Van der Goot, Marcel Rene (1995) Semantics of VLSI synthesis; 10.7907/SR5V-KT18
• Hofstee, H. Peter (1995) Synchronizing processes; 10.7907/G620-GG65
• Leino, K. Rustan M. (1995) Toward reliable modular programs; 10.7907/ynt2-nn65
• Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits; 10.7907/ehzs-y537
• Seizovic, Jakov N. (1994) The architecture and programming of a fine-grain multicomputer; 10.7907/53vc-hs15
• Mouchtaris, Petros N. (1993) Analysis of an interactive video architecture; 10.7907/A9Z4-N267
• Barzel, Ronen (1992) A structured approach to physically-based modeling for computer graphics; 10.7907/tbgd-g285
• Barzel, Ronen (1992) A structured approach to physically-based modeling for computer graphics; 10.7907/tbgd-g285
• Steele, Craig S. (1992) Affinity : a concurrent programming system for multicomputers; 10.7907/syrm-sx30
• Gupta, Rajiv (1991) Compiler Optimization of Data Storage; 10.7907/E8DD-VG68
• Burns, Steven Morgan (1991) Performance analysis and optimization of asynchronous circuits; 10.7907/kez1-7q52
• Su, Wen-King (1990) Reactive-Process Programming and Distributed Discrete-Event Simulation; 10.7907/9qzd-kv20
• Ngai, John Yee-Keung (1989) A Framework for Adaptive Routing in Multicomputer Networks; 10.7907/a01h-0z81