@conference {
	title = {Correctness Proof for a Dynamic Adaptive Routing Algorithm for Mobile Ad-hoc Networks},
	author = {Yang, Shahan., Baras, John S.},
	year = {2003},
	month = {07/2003},
	abstract = {Dynamic and adaptive routing algorithms are the {\textquotedblleft}brains{\textquotedblright} of mobile ad-hoc networks (MANETs), in that they govern the self-organization of these networks. MANETs are infrastructureless {\textquotedblleft}intelligent{\textquotedblright} networks, which are becoming increasingly popular and have wide applicability. In this paper, we view dynamic adaptive routing algorithms for MANETs as hybrid systems (partly based on logic and partly based on numerics). In this paper, we introduce formal models for the analysis and verification of one such routing algorithm, the Temporally Oriented Routing Algorithm (TORA) under certain assumptions. More specifically we give a rigorous mathematical proof of correctness and convergence of TORA. Other formal methods, their limitations~and future research challenges are also discussed.},
	address = {Lake Baikal, Russia},
	booktitle = {IFAC Workshop \&ndash; Modeling and Analysis of Logic Controlled Dynamic Systems},
	pages = {pp. 1-10}
}
@conference {
	title = {An Implementation Study of Multicast Extensions of AODV},
	author = {Dharmaraju, Dinesh., Karir, Manish., Baras, John S., Das, Subir.},
	year = {2003},
	month = {07/2003},
	abstract = {In this paper we describe our experience of implementing multicast extensions of AODV (MAODV). Using insight gained from our implementation we propose some enhancements to MAODV that enhance its stability and its performance. We propose the use of a tree optimization scheme based on Group Hello messages, a scheme for merging group partitions, as well as a method to add reliability to the multicast tree formation and maintenance, via the use of an acknowledgement for MACT messages. Our implementation is based on the kernel AODV implementation from NIST. We describe details regarding our implementation that can provide valuable insight to future implementers of ad hoc routing protocols, and in particular, people attempting to implement multicast routing protocols. We also provide a brief description of some basic validation experiments that we used to verify the functionality and the various features of our implementation.},
	address = {Montreal, Canada},
	booktitle = {SPECTS 2003 Conference}
}
