- Deploying Wireless Sensors to Achieve Both Coverage and Connectivity
- Distributed Reset Anish ARORA Mohamed GOUDA
- Lowcost Faulttolerance in Barrier Synchronizations Sandeep S. Kulkarni Anish Arora
- Chicago Journal of Theoretical Computer Science
- Closure and Convergence: A Foundation of FaultTolerant Computing
- Maintaining Digital Clocks In Step Anish ARORA 1 Shlomi DOLEV 2 Mohamed GOUDA 1
- Chicago Journal of Theoretical Computer Science
- Practical SelfStabilization for Tolerating Unanticipated Faults in Networked Systems
- GS 3 : Scalable Selfconfiguration and Selfhealing in Wireless Networks*
- Stabilization-Preserving Atomicity Re nement Mikhail Nesterenko y and Anish Arora z
- Component Based Design of Multitolerance Anish Arora Sandeep S. Kulkarni
- Statelevel and valuelevel simulations in data refinement
- On the Correctness Criteria of Load Balancing Programs Anish Arora 1 Mohamed G. Gouda
- Reliable MAC Layer Multicast in IEEE 802.11 Wireless Networks MinTe Sun, Lifei Huang, Anish Arora, TenHwang Lai
- Whisper: Local Secret Maintenance in Sensor Networks 1
- Synthesis of Fault-Tolerant Concurrent Programs (Extended Abstract)
- Efficient Reconfiguration of Trees: A Case Study in Methodical Design of
- FaultTolerant Reconfiguration of Trees and Rings in Distributed Systems \Lambda
- Resettable Vector Clocks Anish Arora y
- Unifying Stabilization and Termination in Message-Passing Systems Anish Arora
- Stabilization-Preserving Atomicity Re nement (Full Version)
- Composite Routing Protocols Anish Arora, Mohamed Gouda and Ted Herman
- An Optimal Termination Detection Algorithm for Murat Demirbas Anish Arora 1
- LSRP: Local Stabilization in Shortest Path Routing Anish Arora Hongwei Zhang
- Automating the Addition of Fault-Tolerance Sandeep S. Kulkarni Anish Arora
- State-level and value-level simulations in data refinement
- Practical Self-Stabilization for Tolerating Unanticipated Faults in Networked Systems
- Stabilization Anish Arora
- A Timingbased Schema for Stabilizing Information Exchange
- Convergence Re nement Murat Demirbas Anish Arora
- Statelevel and valuelevel simulations in data refinement
- Once-and-Forall Management Protocol (OFMP) Sandeep S. Kulkarni Anish Arora
- Detectors and Correctors: A Theory of FaultTolerance Components 1
- OnceandForall Management Protocol (OFMP) Sandeep S. Kulkarni Anish Arora
- Learn on the Fly: Data-driven Link Estimation and Routing in Sensor
- State-level and value-level simulations in data refinement
- Introduction Faulttolerant computing has traditionally been studied in the context of specific
- Synthesis of FaultTolerant Concurrent Programs (Extended Abstract)
- Detectors and Correctors: A Theory of Fault-Tolerance Components1
- A Line in the Sand: A Wireless Sensor Network for Target
- On Modeling and Tolerating Incorrect Software Anish Arora Marvin Theimer
- A Pursuer-Evader Game for Sensor Networks Murat Demirbas
- Compositional Design of Multitolerant Repetitive Byzantine Agreement 1
- Component Based Design of Multitolerance Anish Arora Sandeep S. Kulkarni
- : Scalable Self-configuration and Self-healing in Wireless Networks*
- Scalable Evolution of Highly Available Systems1 This work was supported in part by an unrestricted grant from Microsoft Research.
- LSRP: Local Stabilization in Shortest Path Routing Anish Arora, Member, IEEE, and Hongwei Zhang, Student Member, IEEE
- Convergence of Iteration Systems Anish ARORA 1;2 Paul ATTIE 1;2 Michael EVANGELIST 1
- Graybox Stabilization Anish Arora Murat Demirbas Sandeep S. Kulkarni y
- Designing Masking Faulttolerance via Nonmasking Faulttolerance
- The Mote Connectivity Protocol Young-ri Choi, Mohamed G. Gouda, and Moon C. Kim
- Reliable Bursty Convergecast in Wireless Sensor Networks Hongwei Zhang
- Sprinkler: A Reliable and Energy Efficient Data Dissemination Service for Wireless Embedded Devices
- Chicago Journal of Theoretical Computer Science
- LSRP: Local Stabilization in Shortest Path Routing Anish Arora Hongwei Zhang
- Self-Stabilizing Routing in Wireless Embedded Mikhail Nesterenko
- Graybox Stabilization Anish Arora
- Design and Analysis of a Fast Local Clustering Service for Wireless Sensor Networks
- A Hierarchy-based Fault-local Stabilizing Algorithm for Tracking in Sensor Networks
- Constraint Satisfaction as a Basis for Designing Nonmasking FaultTolerance
- Component Based Design of Fault-Tolerance DISSERTATION
- Multitolerant Barrier Synchronization Sandeep S. Kulkarni Anish Arora
- Resettable Vector Clocks: A Case Study in Designing Graybox Fault-Tolerance
- Digital Object Identifier (DOI) 10.1007/s00446-004-0111-6 Distrib. Comput. (2004) :
- FLOC: A Fast Local Clustering Service for Wireless Sensor Networks Murat Demirbas Anish Arora Vineet Mittal
- A Stability-oriented Approach to Improving BGP Convergence Hongwei Zhang Anish Arora Zhijun Liu
- Wireless Testbed Bonsai Vinayak Naik, Emre Ertin, Hongwei Zhang, Anish Arora
- Reliable Bursty Convergecast in Wireless Sensor Networks Hongwei Zhang
- Appears in Proceedings of 8th International Conference on Principles of Distributed Systems (OPODIS 2004) Sentries and Sleepers in Sensor Networks
- SCALABLE DESIGN OF FAULT-TOLERANCE FOR WIRELESS SENSOR NETWORKS
- Antireplay Protocols for Sensor Networks Mohamed G. Gouda, Young-ri Choi and Anish Arora
- Whisper: Local Secret Maintenance in Sensor Networks1 Vinayak Naik Anish Arora Sandip Bapat Mohamed Gouda
- Abstract--A challenge in resource-constrained networks is to provide secure communication in an efficient manner. In
- Whisper: Local Secret Maintenance in Sensor Networks1
- LOCI: Local Clustering Service for Large Scale Wireless Sensor Networks
- Reliable MAC Layer Multicast in IEEE 802.11 Wireless Networks Min-Te Sun, Lifei Huang, Anish Arora, Ten-Hwang Lai
- Towards Dependable Home Networking: An Experience Report Yi-Min Wang
- A Toolkit for Building Dependable and Extensible Home Networking Applications Yi-Min Wang
- Scalable Self-Stabilization via Composition
- ! " #$%&#(')0 21 3 4'5#$ 64(7#8 9#
- d.j : = d.g d.j = d.j = 0
- Compositional Design of Multitolerant Repetitive Byzantine Agreement1
- Intolerant program Masking tolerant program
- Introduction Fault-tolerant computing has traditionally been studied in the context of speci c
- A Foundation for Fault Tolerant Components DISSERTATION
- On the Security and Vulnerability of PING Mohamed G. Gouda Chin-Tser Huang Anish Arora
- Polynomial Time Synthesis of Byzantine Agreement Sandeep S. Kulkarni Anish Arora y Arun Chippada
- Model-based design of dependability in distributed systems
- Model-based Fault Detection in Powerline Networking
- Closure and Convergence: A Foundation of Fault-Tolerant Computing
