Publications

 

Categories
Publications are organized by category.
Publications that fit multiple categories have duplicate entries.

Networking
  Sensor and Wireless Networks
  Home Networking
  Ad-Hoc Network Protocols
  Robust Network Protocols
Fault Tolerance
  Stabilization
  Dependability: Design and Automatic Synthesis
  Fault Tolerance: Foundations
  Components: Verification and Design
  Distributed Algorithms
Security
Other Topics

 

 

Networking

Sensor and Wireless Networks
 

2006

  H. Zhang, A. Arora. Guaranteed fault containment and local stabilization in routing. Computer Networks (Elsevier), to appear.
[pdf, bibtex]
  Y-R. Choi, M. Gouda, H. Zhang, A. Arora. Stabilization of grid routing in sensor networks. AIAA Journal of Aerospace Computing, Information, and Communication, to appear.
[pdf, bibtex]
  A. Arora and H. Zhang. LSRP: Local stabilization in shortest path routing. IEEE/ACM Transactions on Networking, 14(3), pp. 520-531, 2006.
[pdf, bibtex]
  H. Zhang, A. Arora, P. Sinha. Learn on the fly: Data-driven link estimation and routing in sensor network backbones. 25th IEEE International Conference on Computer Communications (INFOCOM), 2006.
[pdf, bibtex]
  X. Bai, S. Kumar, Z. Yun, D. Xuan, and T. H. Lai. Deploying wireless sensors to achieve both coverage and connectivity. Proceedings of the Seventh International Symposium on Mobile Ad Hoc Networking and Computing (ACM MobiHoc), 2006.
[pdf, bibtex]
  V. Naik, E. Ertin, H. Zhang, and A. Arora. Wireless testbed bonsai. Proceedings of the Second International Workshop On Wireless Network Measurement (WiNMee) held in conjunction with the 4th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt), 2006.
[pdf, bibtex]
 

2005

  H. Zhang, A. Arora. Brief announcement: Continuous containment and local stabilization in path-vector routing. 24th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2005.
[pdf, bibtex]
  V. Naik, A. Arora, P. Sinha, and H. Zhang. Sprinkler: A reliable and energy efficient data dissemination service for wireless embedded devices. 26th IEEE Real-Time Systems Symposium for Real-Time Communication (RTSS), Sensor Network Track, 2005.
[pdf, bibtex]
  H. Zhang, A. Arora, Y-R Choi, M. Gouda. Reliable bursty convergecast in wireless sensor networks. 6th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), 2005.
[pdf, bibtex]
 

2004

  A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V. Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S. Kulkarni, U. Arumugam, M. Nesterenko, A. Vora and M. Miyashita. A Line in the sand: A wireless sensor network for target detection, classification, and tracking. Computer Networks (Elsevier), pp. 605-634, 2004.
[pdf, bibtex]
  H. Zhang, A. Arora, Y.-R. Choi, M. Gouda. Reliable bursty convergecast in wireless sensor networks. Technical report OSU-CISRC-7/04-TR42, The Ohio State University, 2004.
[pdf, bibtex]
  S. Kulkarni, M. G. Gouda and A. Arora. Security instantiation for mobile networks. Workshop on Dependability Issues  in Wireless Ad Hoc Networks and Sensor Networks (DIWANS/DSN). 2004.
[pdf, bibtex]
  S. Kumar, T. H. Lai, and J. Balogh. On k-coverage in a mostly sleeping sensor network. 10th Annual International Conference on Mobile Computing and Networking (ACM MobiCom), 2004.
[pdf, bibtex]
  M. G. Gouda, Y-R. Choi, and A. Arora. Sentries and sleepers in sensor networks. 8th International Conference on Principles of Distributed Systems (OPODIS), 2004.
[pdf, bibtex]
  M. Demirbas. Scalable design of fault-tolerance for wireless sensor networks. Ph.D. Thesis, The Ohio State University, 2004.
[pdf, abstract, bibtex]
 

M. G. Gouda, Y-R. Choi and A. Arora. Antireplay protocols for sensor networks. Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks (ed. Jie Wu), CRC , 2004.
[pdf, bibtex]

  M. Demirbas, A. Arora and V. Mittal. FLOC: A fast local clustering service for wireless sensor networks. Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (DIWANS/DSN), 2004.
[pdf, bibtex]
  M. Demirbas, A. Arora, V. Mittal and V. Kulathumani. Design and analysis of a fast local clustering service for wireless sensor networks. Invited paper at Broadband Wireless Networking Symposium (Broadnets), 2004.
[pdf, bibtex]
  M. Demirbas, A. Arora, T. Nolte and N. Lynch. A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks. 8th International Conference on Principles of Distributed Systems (OPODIS), 2004.
[pdf, bibtex]
 

2003

  V. Naik, A. Arora, S. Bapat and M. Gouda. Whisper: Local secret maintenance in sensor networks.
bulletInvited to IEEE Distributed Systems Online (http://dsonline.computer.org), 2003.
[pdf, bibtex]
bulletPrinciples of Dependable Systems (PDS), 2003.
[pdf, bibtex]
bullet Technical Report OSU-CISRC-1/03-TR04, The Ohio State University, January 2003.
[postscript, pdf, bibtex]
  Y-R. Choi, M. G. Gouda, M. C. Kim and A. Arora. The mote connectivity protocol. 12th International Conference on Computer Communications and Networks (ICCCN), pp. 533-538, 2003.
[pdf, bibtex]
  H. Zhang and A. Arora. GS3: Scalable self-configuration and self-healing in wireless sensor networks. Computer Networks (Elsevier), 43(4), pp. 459-480, 2003.
[
pdf, bibtex]
  M. Demirbas, A. Arora and M. G. Gouda. A pursuer-evader game for sensor networks. Sixth Symposium on Self-Stabilizing Systems (SSS), 2003.
[pdf, bibtex]
  V. Mittal, M. Demirbas and A. Arora. LOCI: Local clustering in large scale wireless networks. Technical Report OSU-CISRC-2/03-TR07, Ohio State University, 2003.
[pdf, bibtex]
  V. Mittal. LOCI: Local clustering service for large scale wireless sensor networks. Master's Thesis, The Ohio State University, 2003.
Thesis [pdf, bibtex] Thesis presentation [ppt]
 

2002 & earlier

  H. Zhang and A. Arora. GS3: Scalable self-configuration and self-healing in wireless networks. 21st ACM Symposium on Principles of Distributed Computing (PODC 2002), 2002.
[postscript, pdf, bibtex]
  M. T. Sun, L. Huang, A. Arora, and T. H. Lai. Reliable MAC layer multicast in IEEE wireless networks. Proceedings of International Conference on Parallel Processing (ICCP), Vancouver, 2002.
[postscript, pdf, bibtex]
  M. Nesterenko and A. Arora. Self-stabilizing routing in wireless embedded systems. SRDS 2001 Workshop on Reliability in Embedded Systems, pp. 16-22, 2001.
[postscript, pdf, bibtex]
Home Networking
  A. Arora, R. Jagannathan and Y.-M. Wang. Model-based fault detection in powerline networking. International Parallel and Distributed Processing Symposium (IPDPS'2002).
[postscript, pdf, bibtex]
  Y.-M. Wang, W. Russell, A. Arora, J. Xu, and R. Jagannathan. Towards dependable home networking: An experience report. International Conference on Dependable Systems and Networks (ICDSN'2000), New York, 2000.
[postscript, pdf, bibtex]
  Y.-M. Wang, W. Russell, and A. Arora. A toolkit for building dependable and extensible home networking applications. Fourth USENIX Windows Systems Symposium USENIX-WIN'2000, Seattle, 2000.
[postscript, pdf, bibtex]
  See also the Seattle Intelligencer report on the Aladdin home powerline networking project, September 18, 2000.
It was a fishy way for a scientist to start wiring houses onto Web.
Ad-Hoc Network Protocols
  H. Zhang and A. Arora. GS3: Scalable self-configuration and self-healing in wireless networks. 21st ACM Symposium on Principles of Distributed Computing (PODC 2002), 2002.
[postscript, pdf, bibtex]
  S. Kulkarni and A. Arora. Multitolerance in distributed reset. Chicago Journal of Theoretical Computer Science, 4, 1998, 46pp.
[postscript, pdf, bibtex]
  A. Arora. Efficient reconfiguration of trees: A case study in the methodical design of nonmasking fault-tolerance. Science of Computer Programming, in press, 1996.
[postscript, pdf, bibtex]
  A. Arora and A. Singhai. Fault-tolerant reconfiguration of trees and rings in distributed systems. Journal of High Integrity Systems, 1(4), 375c-384, 1995.
[postscript, pdf, bibtex]
  A. Arora and M. G. Gouda. Distributed reset. IEEE Transactions on Computers, 43(9), 1026-1038, 1994.
[postscript, pdf, bibtex ]
Robust Network Protocols
  H. Zhang, A. Arora and Z. Liu. A stability-oriented approach to improving BGP convergence. 23rd IEEE Symposium on Reliable Distributed Systems (SRDS 2004).
[pdf, bibtex]
  H. Zhang and A. Arora. Containment of continuously occurring faults in path-vector routing. Technical Report OSU-CISRC-5/04-TR027, 2004.
[pdf, bibtex]
  A. Arora and H. Zhang. LSRP: Local stabilization in shortest path routing. 2003 International Conference on Dependable Systems and Networks (DSN 2003).
[postscript, pdf, bibtex]
  M. T. Sun, L. Huang, A. Arora, and T. H. Lai. Reliable MAC layer multicast in IEEE wireless networks. Proceedings of International Conference on Parallel Processing (ICCP), Vancouver, 2002.
[postscript, pdf, bibtex]
  S. Kulkarni and A. Arora. Once-and-forall management protocol (OFMP). Proceedings of the Fifth International Conference on Network Protocols, Atlanta, October 1997.
[postscript, pdf, bibtex]
  A. Arora and D. Poduska. A timing-based schema for stabilizing information exchange in networks. Proceedings of the Third International Conference on Computer Networks, Tokyo, Japan, 1995.
[postscript, pdf, bibtex]
  A. Arora and M. G. Gouda. On the correctness criteria of load balancing programs. Proceedings of the Ninth International Workshop on Distributed Algorithms (WDAG), Le Mont Saint Michel, France, 1995.
[postscript, pdf, bibtex]
  A. Arora, S. Dolev, and M. G. Gouda. Maintaining digital clocks in step. Parallel Processing Letters, 1(1), 1991, 11-18.
[postscript, pdf, bibtex]
  A. Arora, M. G. Gouda, and T. Herman. Composite routing protocols. Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, Dallas, 1990.
[postscript, pdf, bibtex]

Fault Tolerance

Stabilization
  M. Nesterenko and A. Arora. Dining philosophers that tolerate malicious crashes. 22nd International Conference on Distributed Computing Systems, pp. 191-198, 2002.
[pdf, bibtex]
  A. Arora and M. Nesterenko. Unifying stabilization and termination in message passing systems. Distributed Computing 2004.
[pdf, bibtex]
  W. Leal and A. Arora. Scalable self-stabilization via composition. ICDCS 2004.
Among the six top papers at the conference.
[
abstract, pdf, bibtex]
[pdf, bibtex] (extended technical report version)
  A. Arora and M. Theimer. On modeling and tolerating incorrect software. Microsoft Research Technical Report MSR-TR-2003-27, 2003
[pdf, bibtex]
  A. Arora and Yi-Min Wang. Practical self-stabilization for tolerating unanticipated faults in networked systems. Technical Report OSU-CISRC-1/03-TR01, The Ohio State University.
[postscript, pdf, bibtex]
  A. Arora. Stabilization. Invited chapter, to appear in Encyclopedia of Distributed Computing, (ed. Partha Dasgupta and Joseph E. Urban), Kluwer Academic Publishers, 2000.
[postscript, pdf, bibtex]
  A. Arora and M. Nesterenko. Unifying stabilization and termination in message-passing systems. 21st International Conference on Distributed Computer Systems (ICDCS'01), Phoenix, 2001.
[postscript, pdf, bibtex]
  M. Nesterenko and A. Arora. Stabilization-preserving atomicity refinement . 13th International Symposium on Distributed Computing (DISC'99), Bratislava, Slovak Republic, 1999; and JPDC, special issue in Self-Stabilization 2000.
[postscript, pdf, bibtex] (DISC version)
[postscript, pdf, bibtex] (JPDC version)
  S. Kulkarni and A. Arora. Low-cost fault-tolerance in barrier synchronizations. International Conference on Parallel Processing (ICPP), 1998.
[postscript, pdf, bibtex]
  G. Varghese, A. Arora, and M. G. Gouda, Self-stabilization by tree correction. Chicago Journal of Theoretical Computer Science, 3, 1997, 32pp.
[postscript, pdf, bibtex]
  A. Arora and M. G. Gouda. Delay-insensitive stabilization. Self-Stabilizing Systems (eds. S. Ghosh and T. Herman), Carleton University Press, pp. 95-109, 1997.
[pdf, bibtex]
  S. Kulkarni and A. Arora. Multitolerance in barrier computations. Information Processing Letters, 64(1), 29-36, 1997.
[postscript, pdf, bibtex]
Dependability: Design and Automatic Synthesis
   
  M. Demirbas and A. Arora. Convergence refinement. Proceedings of the 22nd International Conference on Distributed Systems (ICDCS 2002), Vienna, Vienna, Austria, 589-597. 2002. Received "Best Paper" Award.
[postscript, pdf, bibtex]
  A. Arora, R. Jagannathan and Y.-M. Wang. Model-based design of dependability in distributed systems. Workshop on Concurrency in Dependable Computing, Newcastle, England 2001.
[postscript, pdf, bibtex]
  A. Arora, M. Demirbas and S. Kulkarni. Graybox stabilization. International Conference on Dependable Systems and Networks (DSN'2001), Goteborg, Sweden, July 2001.
[postscript, pdf, bibtex]
technical report version [postscript (gzipped), bibtex]
  S. Kulkarni, A. Arora and A. Chippada. Polynomial time synthesis of Byzantine agreement. 20th Symposium on Reliable Distributed Systems (SRDS'2001).
[postscript, pdf, bibtex]
  S. Kulkarni and A. Arora. Automating the addition of fault-tolerance. Formal Techniques in Real-time and Fault-tolerant Systems (FTRTFTS'2000), Pune, India, 2000.
[postscript, pdf, bibtex]
  A. Arora and S. Kulkarni. Designing masking fault-tolerance via nonmasking fault-tolerance. IEEE Transactions on Software Engineering, Vol. 24, No. 6, 435-450, 1998.
[postscript, pdf, bibtex]
  A. Arora, P. C. Attie, and E. A. Emerson. Synthesis of fault-tolerant concurrent programs. Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC), Mexico, 1998.
[postscript, pdf, bibtex]
  S. Kulkarni and A. Arora. Compositional design of multitolerant repetitive Byzantine agreement. Proceedings of the 18th International Conference on the Foundations of Software Technology and Theoretical Computer Science, Kharagpur, India, 1997.
[postscript, pdf, bibtex]
  A. Arora, M. G. Gouda, and G. Varghese. Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems. Journal of High Speed Networks, 5(3), 293-306, 1996.
[postscript, pdf, bibtex]
Fault Tolerance: Foundations
  A. Arora and S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. One of the top six papers at ICDCS'98. Invited to appear in IEEE Transactions on Computers, 2000.
[postscript, pdf, bibtex]
  S. Kulkarni. Component based design of fault-tolerance. Ph.D. Dissertation, The Ohio State University, 1999.
[postscript, pdf, bibtex]
  A. Arora and M. G. Gouda, Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering, 19(10), 1015-1027, 1993.
[postscript, pdf, bibtex]
  A. Arora, A foundation of fault-tolerant computing. Ph.D. Dissertation, University of Texas at Austin, 1992.
[postscript, pdf, bibtex]
Components: Verification and Design
  M. Demirbas. Scalable design of fault-tolerance for wireless sensor networks. Ph.D. Thesis, The Ohio State University, 2004.
[pdf, abstract, bibtex]
  W. Leal. A foundation for fault-tolerant components. Ph.D. Thesis, The Ohio State University, 2001.
[pdf, abstract (html), bibtex]
  W. Leal and A. Arora. State-level and value-level simulations in data refinement. Information Processing Letters 77(2-4), 2001. Special issue on the retirement of professor Edsger W. Dijkstra.
[postscript, pdf, bibtex]
expanded tech report version [postscript, pdf, bibtex]
  W. Leal and A. Arora. A foundation for component verification in RESOLVE. Technical Report OSU-CISRC-4/99-TR11, 1999.
[postscript, pdf, bibtex]
  A. Arora, S. Kulkarni, and M. Demirbas. Resettable vector clocks. 19th ACM Symposium on Principles of Distributed Computing (PODC'2000), Portland, 2000.
[postscript, pdf, bibtex]
  M. Demirbas. Resettable vector clocks: A case study in designing fault tolerance. Masters Thesis, The Ohio State University, 2000.
[postscript, pdf, bibtex]
  A. Arora and S. Kulkarni, Component based design of multitolerance. IEEE Transactions on Software Engineering, Vol. 24, No.1, 63-78, 1998.
[postscript, pdf, bibtex]
  A. Arora, P. Attie, M. Evangelist, and M. G. Gouda. Convergence of iteration systems. Distributed Computing, 7(1), 43-53, 1993.
[postscript, pdf, bibtex]
Distributed Algorithms
  M. Demirbas and A. Arora. An optimal termination detection algorithm for rings. Technical Report OSU-CISRC-2/00-TR05, The Ohio State University. February 2000.
[postscript, pdf, bibtex]

Security

  S. Kulkarni, M. G. Gouda and A. Arora. Security instantiation for mobile networks. Workshop on Dependability Issues  in Wireless Ad Hoc Networks and Sensor Networks (DIWANS/DSN), 2004.
[pdf, bibtex]
  V. Naik, A. Arora, S. Bapat and M. Gouda. Whisper: Local secret maintenance in sensor networks. Invited to IEEE Distributed Systems Online (http://dsonline.computer.org), 2003.
[pdf, bibtex]
 

M. G. Gouda, Y-R. Choi and A. Arora. Antireplay protocols for sensor networks. Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks (ed. Jie Wu), CRC , 2004.
[pdf, bibtex]

  V. Naik, A. Arora, S. Bapat and M. Gouda. Whisper: A local secret maintenance protocol. Principles of Dependable Systems (PDS), 2003.
[pdf, bibtex]
technical report version
[postscript, pdf, bibtex]
  M. Gouda, C.-H. Huang and A. Arora. On the security and vulnerability of PING. Proceedings of the Fifth International Workshop on Self-Stabilizing Systems (LNCS 2194), Springer-Verlag, pp. 124-135, 2001.
[pdf, bibtex]

Other Topics

 
Jason Hallstrom, William Leal, and Anish Arora. Scalable evolution of highly available systems. IEICE/IEEE Joint Special Issue on Assurance Systems and Networks E86-B(10). pp. 2154-2166, 2003.
[pdf, bibtex]
Jason Hallstrom, Nigamanth Sridhar, Paul Sivilotti, Anish Arora, and William Leal. A container-based approach to object-oriented product lines. Journal of Object Technology 3(4), 2004.
    [abstract] [pdf] [bibtex entry]
tr> Jason Hallstrom, William Leal, and Anish Arora. Scalable evolution of highly available systems. IEICE/IEEE Joint Special Issue on Assurance Systems and Networks E86-B(10). pp. 2154-2166, 2003.
[pdf, bibtex]
Jason Hallstrom, Nigamanth Sridhar, Paul Sivilotti, Anish Arora, and William Leal. A container-based approach to object-oriented product lines. Journal of Object Technology 3(4), 2004.
    [abstract] [pdf] [bibtex entry]