@TECHREPORT{arora2001tr01, author = {A. Arora, M. Demirbas and S. S. Kulkarni}, month = {January}, year = 2001, title = {Graybox Stabilization}, number = {OSU-CISRC-1/01-TR01}, address = {ftp://ftp.cse.ohio-state.edu/pub/tech-report/2001/TR01.ps.gz}, institution = {The Ohio State University} } |
@ARTICLE{arora1998tse1, author = {Anish Arora and Sandeep S. Kulkarni}, year = 1998, title = {Component based design of multitolerance}, journal = {IEEE Transactions on Software Engineering}, volume = 24, number = 1, pages = {63-78} } |
@ARTICLE{arora1998tse2, author = {Anish Arora and Sandeep Kulkarni}, year = 1998, title = {Designing Masking Fault-Tolerance Via Nonmasking Fault-Tolerance}, journal = {IEEE Transactions on Software Engineering}, volume = 24, number = 6, pages = {435--450} } |
@Unpublished{arora2001icdcs, author = "A.~Arora and M.~Nesterenko", title = "Unifying Stabilization and Termination in Message-Passing Systems", note = "to appear at ICDCS 2001", http://www.cse.ohio-state.edu/~anish/group/ginfo/publications/na2001-ustmps-icdcs.pdf" } |
@inproceedings{arora2003dsn, author = "Anish Arora and Hongwei Zhang", title = "LSRP: Locat Stabilization in Shortest Path Routing", booktitle = "International Conference on Dependable Systems and Networks (DSN)", month = "June", year = "2003", } |
@TECHREPORT{arora2003tr01, author = {Anish Arora and Yi-Min Wang}, year = 2003, title = {Practical Self-Stabilization for Tolerating Unanticipated Faults in Networked Systems}, number = {OSU-CISRC-1/03-TR01}, institution = {The Ohio State University, Computer Information Systems Department} } |
@ARTICLE{arora2004dc, author = {Anish Arora and Mikhail Nesterenko}, year = 2004, title = {Unifying Stabilization and Termination in Message Passing Systems}, journal = {Distributed Computing} } |
@TECHREPORT{demirbas2000tr05, author = {M. Demirbas and A. Arora}, month = {February}, year = 2000, title = {An Optimal Termination Detection Algorithm for Rings}, number = {OSU-CISRC-2/00-TR05}, note = {ftp://ftp.cse.ohio-state.edu/pub/tech-report/2000/TR05.pdf.gz}, institution = {The Ohio State University} } |
@MASTERSTHESIS{demirbas2000tr11, author = {M. Demirbas}, month = {February}, year = 2000, title = {Resettable Vector Clocks: A Case Study in Designing Graybox Fault-Tolerance}, address = {ftp://ftp.cse.ohio-state.edu/pub/tech-report/2000/TR11.ps.gz}, school = {The Ohio State University} } |
@article{demirbas2003sss, author = {M. Demirbas and A. Arora and M. Gouda}, title = {A Pursuer-Evader Game for Sensor Networks}, journal = {Sixth Symposium on Self-Stabilizing Systems(SSS'03)}, year = {2003}, OPTnote = {OSU-CISRC-10/02-TR24}, } |
author={S. Kulkarni and A. Arora}, title={Multitolerance in Distributed Reset}, journal={Chicago Journal of Theoretical Computer Science}, volume={1998}, number={4}, publisher={MIT Press}, month={December}, year={1998} } |
@TECHREPORT{leal1999tr11, author = {William Leal and Anish Arora}, year = 1999, title = {A Foundation for Component Implementation in {RESOLVE}}, number = {OSU-CISRC-4/99-TR11}, note = {ftp://ftp.cse.ohio-state.edu/pub/tech-report/}, institution = {Department of Computer and Information Science, The Ohio State University, Columbus, Ohio} } |
@TECHREPORT{leal2000tr13, author = {William Leal and Anish Arora}, year = 2000, title = {State-Level and Value-Level Simulations in Data Type Refinement}, number = {OSU-CISRC-5/00-TR13}, note = {ftp://ftp.cse.ohio-state.edu/pub/tech-report/}, institution = {Dep. of Computer Information Science, The Ohio State University} } |
@PHDTHESIS{demirbas2004phdthesis, author = {Murat Demirbas}, year = 2004, title = {Scalable design of fault-tolerance for wireless sensor networks}, school = {The Ohio State University} } |
@PHDTHESIS{leal2001phdthesis, author = {William Leal}, year = 2001, title = {A Foundation for Fault Tolerant Components}, school = {The Ohio State University} } |
@UNPUBLISHED{leal2004icdcs, author = {William Leal and Murat Demirbas and Anish Arora}, year = {{ICDCS} 2004.}, title = {Scalable Self-Stabilization Via Composition and Refinement} } |
@TECHREPORT{leal2003tr46, author = {William Leal and Anish Arora}, month = {July}, year = 2003, title = {Scalable Self-Stabilization Via Composition}, number = {OSU-CISRC-7/03-TR46}, address = {\url{www.cse.ohio-state.edu}}, institution = {Department of Computer Information Science, The Ohio State University} } |
@MASTERSTHESIS{mittal2003thesis, author = {Vineet Mittal}, year = 2003, title = {{LOCI}: Local Clustering Service for Large Scale Wireless Sensor Networks}, address = {Columbus, Ohio}, school = {The Ohio State University} } |
@InProceedings{nesterenko1999isdc, author = "M.~Nesterenko and A.~Arora", title = "Stabilization-Preserving Atomicity Refinement", booktitle = "Proceedings of the 13th International Symposium on Distributed Computing", year = "1999", pages = "254--268", note = "http://www.cse.ohio-state.edu/~anish/group/ginfo/publications/na1999-spar-disc99.pdf" } |
@Unpublished{nesterenko2000jpdc, author = "M.~Nesterenko and A.~Arora", title = "Stabilization-Preserving Atomicity Refinement", note = "to appear in Journal of Parallel and Distributed Computing http://www.cse.ohio-state.edu/~anish/group/ginfo/publications/na2000-spar-jpdc.pdf"} |
@TECHREPORT{naik2003tr04, author = {V. Naik and S. Bapat and A. Arora and M. Gouda}, year = 2003, title = {Whisper: Local Secret Maintenance in Sensor Networks}, number = {OSU-CISRC-1/03-TR04}, address = {www.cse.ohio-state.edu}, institution = {The Ohio State University, Computer Information Science} } |
@INPROCEEDINGS{sun2002icppp, author = "M. T. Sun, L. Huang, A. Arora, and T. H. Lai", title = "{MAC} layer multicast in {IEEE} wireless networks", booktitle = "Proceedings of the {I}nternational {C}onference on {P}arallel {P}rocessing ({ICPP}) 2002" } |
@InProceedings{zhang2002podc, author = {H. Zhang and A. Arora}, title = {GS$^{3}$: Scalable Self-configuration and Self-healing in Wireless Networks}, booktitle = {21st ACM Symposium on Principles of Distributed Computing}, year = {2002}, month = {July} } |
@CONFERENCE{zhang2004srds, author = {H. Zhang and A. Arora and Z. Liu}, year = 2004, title = {A Stability-Oriented Approach to Improving {BGP} Convergence}, booktitle = {23rd {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2004)} } |
@TECHREPORT{zhang2004tr27, author = {Hongwei Zhang and Anish Arora}, year = 2004, title = {{LSRP}: Local Stabilization in Shortest Path Routing}, number = {OSU-CISRC-5/04-TR027}, address = {http://www.cse.ohio-state.edu/research/tech-report.html}, institution = {The Ohio State University, Department of Computer Science and Engineering} } |
@CONFERENCE{arora2002ipdps, author = {A. Arora and R. Jagannathan and {Y.-M}. Wang}, year = 2002, title = {Model-Based Fault Detection in Powerline Networking}, booktitle = {International Parallel and Distributed Processing Symposium ({IDPDS})} } |
@INPROCEEDINGS{wang2000isdn, author = {{Y.-M.} Wang and W. Russell and Anish Arora and J. Xu and Rajesh Jagannathan}, year = 2000, title = {Towards Dependable Home Networking: {A}n Experience Report}, booktitle = {Proceedings of the International Conference on Dependable Systems and Networks} } |
@CONFERENCE{wang2000usenix, author = {Y.-M. Wang and W. Russell and A. Arora}, year = 2000, title = {A Toolkit for Building Dependable and Extensible Home Networking Applications}, booktitle = {Proceedings of the Fourth {USENIX} Windows Systems Symposium {(USENIX}-{WIN'2000)}} } |
@ARTICLE{arora1995jhis, author = {A. Arora and A. Singhai}, year = 1995, title = {Fault-Tolerant Reconfiguration of Trees and Rings in Distributed Systems}, journal = {Journal of High Integrity Systems}, volume = 1, number = 4, pages = {375-384} } |
@INCOLLECTION{arora1996scp, author = {Anish Arora}, year = 1996, title = {Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs}, booktitle = {Science of Computer Programming} } |
@ARTICLE{arora1994toc, author = {Anish Arora and Mohamed Gouda}, year = 1994, title = {Distributed reset}, journal = {IEEE Transactions on Computers}, volume = 43, number = 9, pages = {1026-1038}, } |
@CONFERENCE{kulkarni1997icnp, author = {Sandeep Kulkarni and Anish Arora}, year = 1997, title = {Once-and-Forall Management Protocol {(OFMP)}}, booktitle = {Proceedings of the Fifth International Conference on Network Protocols} } |
@ARTICLE{arora1995iccn, author = {A. Arora and D. Poduska}, year = 1995, title = {A Timing-Based Schema for Stabilizing Information Exchange in Networks.}, journal = {Proceedings of the Third International Conference on Computer Networks} } |
@INPROCEEDINGS{arora1995wdag, author = {A. Arora and M. G. Gouda}, year = 1995, title = {On the Correctness Criteria of Load Balancing Programs}, booktitle = {Roceedings of the Ninth International Workshop on Distributed Algorithms {(WDAG)}} } |
@ARTICLE{arora1991ppl, author = {A. Arora and S. Dolev and M. G. Gouda}, year = 1991, title = {Maintaining Digital Clocks in Step}, journal = {Parallel Processing Letters}, volume = 1, number = 1, pages = {11-18} } |
@INPROCEEDINGS{arora1990spdp, author = {A. Arora and M. G. Gouda and T. Herman}, year = 1990, title = {Composite Routing Protocols}, booktitle = {Proceedings of the Second {IEEE} Symposium on Parallel and Distributed Processing} } |
@INBOOK{arora2000edc, author = {Anish Arora}, editor = {Partha Dasgupta and Joseph E. Urban}, year = 2000, title = {Stabilization}, series = {Encyclopedia of Distributed Computing}, publisher = {Kluwer Academic Publishers} } |
@CONFERENCE{kulkarni1998icpp, author = {Sandeep S. Kulkarni and Anish Arora}, year = 1998, title = {Low-cost Fault-tolerance in Barrier Synchronizations}, institution = {The Ohio State University}, organization = {Conference on Parallel Processing (ICPP)}, type = {Unpublished paper} } |
@ARTICLE{varghese1997cjtcs, author = {G. Varghese and A. Arora and M. G. Gouda}, year = 1997, title = {Self-Stabilization by Tree Correction}, journal = {Chicago Journal of Theoretical Computer Science}, volume = 3 } |
@INPROCEEDINGS{arora1997wsss, author = {A. Arora and M. G. Gouda}, year = 1997, title = {Delay Insensitive Stabilization}, booktitle = {Proceedings of the Third Workshop on Self-Stabilizing Systems}, pages = {95-110} } |
@ARTICLE{kulkarni1997ipl, author = {S. Kulkarni and A. Arora}, year = 1997, title = {Multitolerance in Barrier Computations}, journal = {Information Processing Letters}, volume = 64, number = 1, pages = {29-36} } |
@CONFERENCE{demirbas2002icdcs, author = {M. Demirbas and A. Arora}, year = 2002, title = {Convergence Refinement}, booktitle = {Proceedings of the International Conference on Distributed Computing Systems ({ICDCS})} } |
@CONFERENCE{arora2001wcdc, author = {Anish Arora and Rajesh Jagannathan and Y.-M. Wang}, year = 2001, title = {Model-Based Design of Dependability in Distributed Systems}, booktitle = {Workshop on Concurrency in Dependable Computing} } |
@CONFERENCE{arora2001dsn, author = {A. Arora and M. Demirbas and S. Kulkarni}, year = 2001, title = {Graybox Stabilization}, booktitle = {Proceedings of the International Conference on Dependable Systems and Networks ({DSN}'2001)}, pages = {389--398}, } |
@CONFERENCE{kulkarni2001srds, author = {Sandeep Kulkarni and Anish Arora and A. Chippada}, year = 2001, title = {Polynomial Time Synthesis of {B}yzantine Agreement}, booktitle = {20th Symposium on Reliable Distributed Systems {(SRDS'2001)}} } |
@CONFERENCE{kulkarni2000ftrtfts, author = {Sandeep Kulkarni and Anish Arora}, year = 2000, title = {Automating the Addition of Fault-Tolerance}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems {(FTRTFTS'2000)}} } |
@CONFERENCE{arora1998podc, author = {A. Arora and P. C. Attie and E. A. Emerson}, year = 1998, title = {Synthesis of Fault-Tolerant Concurrent Programs}, booktitle = {Proceedings of the 17th {ACM} Symposium on Principles of Distributed Computing {(PODC)}} } |
@CONFERENCE{kulkarni1997fsttcs, author = {Sandeep Kulkarni and Anish Arora}, year = 1997, title = {Compositional Design of Multitolerant Repetitive {B}yzantine Agreement}, booktitle = {18th International Conference on the Foundations of Software Technology and Theoretical Computer Science} } |
@ARTICLE{arora1996jhsn, author = {A. Arora and M. G. Gouda and G. Varghese}, year = 1996, title = {Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerant Systems}, journal = {Journal of High Speed Networks}, volume = 5, number = 3, pages = {293--306} } |
@INPROCEEDINGS{arora1998icdcs, author = {Anish Arora and Sandeep S. Kulkarni}, year = 1998, title = {Detectors and Correctors: A Theory of Fault-Tolerance Components}, booktitle = {International Conference on Distributed Computing Systems}, pages = {436-443}, url = {citeseer.nj.nec.com/24895.html} } |
@PHDTHESIS{kulkarni1999thesis, author = {S. Kulkarni}, year = 1999, title = {Component Based Design of Fault-Tolerance}, school = {The Ohio State University}, } |
@ARTICLE{arora1993toc, author = {Arora, Anish and Gouda, Mohamed}, year = 1993, title = {Closure and convergence: A foundation for fault-tolerant computing}, journal = {IEEE Transactions on Computers}, volume = 19, number = 10, pages = {1015-1027} } |
@PHDTHESIS{arora1992thesis, author = {A. Arora}, year = 1992, title = {A Foundation of Fault-Tolerant Computing}, school = {The University of Texas at Austin} } |
@ARTICLE{leal2001ipl, author = {W. Leal and A. Arora}, year = 2001, title = {State-Level and Value-Level Simulations in Data Type Refinement}, journal = {Information Processing Letters}, volume = 77, number = {2--4}, pages = {159--167}, } |
@INPROCEEDINGS{arora2000podc, author = {A.~Arora and S.~S.~Kulkarni and M.~Demirbas}, month = {August}, year = 2000, title = {Resettable Vector Clocks}, journal = {Proceedings of the 19th ACM Symposium on Principles of Distributed Computing (PODC)}, pages = {269--278}, } |
@ARTICLE{arora1993dc, author = {Anish Arora and Paul Attie and M. Evangelist and Mohammed G. Gouda}, year = 1993, title = {Convergence of Iteration Systems}, journal = {Distributed Computing}, volume = 7, number = 1, pages = {43-53} } |
@ARTICLE{arora2004computernetworks, author = {A. Arora and P. Dutta and S. Bapat and V. Kulathumani and H. Zhang and V. Naik and V. Mittal and H. Cao and M. Demirbas and M. Gouda and Y-R. Choi and T. Herman and S. S. Kulkarni and U. Arumugam and M. Nesterenko and A. Vora and M. Miyashita}, year = 2004, title = {A Line in the Sand: A Wireless Sensor Network for Target Detection, Classification, and Tracking}, journal = {Computer Networks}, pages = {605--634}, publisher = {Elsevier} } |
@CONFERENCE{demirbas2004opodis, author = {M. Demirbas and A. Arora and T. Nolte and N. Lynch}, year = 2004, title = {A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks}, booktitle = {8th International Conference on Principles of Distributed Systems {(OPODIS)}} } |
@TECHREPORT{demirbas2004tr38, author = {M. Demirbas and A. Arora and T. Nolte and N. Lynch}, year = 2004, title = {A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks}, address = {OSU-CISRC-5/04-TR38}, institution = {The Ohio State University, Department of Computer Science and Engineering} } |
@CONFERENCE{nesterenko2001srds, author = {M. Nesterenko and A. Arora}, year = 2001, title = {Self-Stabilizing Routing in Wireless Embedded Systems}, booktitle = {{SRDS} 2001 Workshop on Reliability in Embedded Systems}, pages = {16--22} } |
@CONFERENCE{choi2003iccn, author = {Y-R. Choi and M. G. Gouda and M. C. Kim and A. Arora}, year = 2003, title = {The Mote Connectivity Protocol}, booktitle = {12th International Conference on Computer Communications and Networks {(ICCCN)}}, pages = {533--538} } |
@CONFERENCE(gouda2004opodis, author = {M. G. Gouda and Y-R. Choi and A. Arora}, year = 2004, title = {Sentries and Sleepers in Sensor Networks}, booktitle = {8th International Conference on Principles of Distributed Systems {(OPODIS)}} } |
@CONFERENCE{kulkarni2004diwans, author = {S. Kulkarni and M. G. Gouda and A. Arora}, year = 2004, title = {Security Instantiation for Mobile Networks}, booktitle = {Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks {(DIWANS/DSN)}} } |
@INCOLLECTION{gouda2004handbook, author = {M. G. Gouda and Y-R. Choi and A. Arora}, editor = {Jie Wu}, year = 2004, title = {Antireplay Protocols for Sensor Networks}, booktitle = {Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks} } |
@CONFERENCE{naik2003pds, author = {V. Naik and S. Bapat and A. Arora and M. Gouda}, year = 2003, title = {Whisper: Local Secret Maintenance in Sensor Networks}, booktitle = {Principles of Dependable Systems {(PDS)}} } |
@TECHREPORT{demirbas2003tr07, author = {V. Mittal and M. Demirbas and A. Arora}, year = 2003, title = {{LOCI}: Local Clustering in Large Scale Wireless Networks}, number = {OSU-CISRC-2/03--TR07}, institution = {, Ohio State University, Department of Computer Science and Engineering} } |
@CONFERENCE{demirbas2004diwans, author = {M. Demirbas and A. Arora and V. Mittal}, year = 2004, title = {{FLOC}: A Fast Local Clustering Service for Wireless Sensor Networks}, booktitle = {Orkshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks {(DIWANS/DSN)}} } |
@CONFERENCE{demirbas2004broadnets, author = {M. Demirbas and A. Arora and V. Mittal and V. Kulathumani}, year = 2004, title = {Design and Analysis of a Fast Local Clustering Service for Wireless Sensor Networks}, booktitle = {Broadband Wireless Networking Symposium (Broadnets)} } |
@CONFERENCE{nesterenko2002icdcs, author = {M. Nesterenko and A. Arora}, year = 2002, title = {Dining Philosophers That Tolerate Malicious Crashes}, booktitle = {22nd International Conference on Distributed Computing Systems {(ICDCS)}}, pages = {191-198} } |
@TECHREPORT{arora2003tr27, author = {Anish Arora and Marvin Theimer}, year = 2003, title = {On Modeling and Tolerating Incorrect Software}, number = {MSR-TR-2003-27}, institution = {Microsoft Research} } |
@ARTICLE{naik2003dsonline, author = {V. Naik and A. Arora and S. Bapat and M. Gouda}, year = 2003, title = {Whisper: Local Secret Maintenance in Sensor Networks}, journal = {IEEE Distributed Systems Online} } |
@ARTICLE{hallstrom2003scalable, author = {Jason Hallstrom and William Leal and Anish Arora}, year = 2003, title = {Scalable Evolution of Highly Available Systems}, journal = {Transactions of the Institute for Electronics, Information and Communication Engineers ({IEICE})}, volume = {{E86-B}}, number = 10, pages = {2154--2166} } |
@INPROCEEDINGS{kumar2004mobicom, author = {S. Kumar and T. H. Lai and J. Balogh}, year = 2004, title = {On K-Coverage in a Mostly Sleeping Sensor Network}, booktitle = {Proceedings of the 0th Annual International Conference on Mobile Computing and Networking {(ACM} {MobiCom)}} } |
@TECHREPORT{zhang2004tr42, author = {H. Zhang and A. Arora and Y.-R. Choi and M. Gouda}, year = 2004, title = {Reliable Bursty Convergecast in Wireless Sensor Networks}, number = {CISRC-7/04-TR42}, institution = {The Ohio State University} } |
@INPROCEEDINGS{gouda2001wsss, author = {M. Gouda and C.-H. Huang and A. Arora}, year = 2001, title = {On the Security and Vulnerability of {PING}}, booktitle = {Proceedings of the {F}ifth {I}nternational {W}orkshop on {S}elf-{S}tabilizing {S}ystems {(LNCS} 2194)}, pages = {124--135}, publisher = {Springer-Verlag} } |