Publications |
Categories |
|
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 |
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. |
|||||||
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.
|
|||||||
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] |
|||||||
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] |
|||||||
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. |
|||||||
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] |
|||||||
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] |