Publications

Authors:

Kamali, M.; Merro, M.; Dal Corso, A.

Title:

AODVv2: performance vs. loop freedom

Year:

2018

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

A Stampa

Name of journal:

LECTURE NOTES IN COMPUTER SCIENCE

ISSN of journal:

0302-9743

N° Volume:

10706

Congresso:

CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE

Place:

Krems an der Donau, Austria

Period:

January 29 - February 2, 2018

:

Springer Verlag Germany

Publisher:

Springer Verlag Germany

Page numbers:

337-350

Keyword:

Routing protocol; Ad-Hoc Network; Statistical model-checking

Short description of contents:

We compare two evolutions of the Ad-hoc On-demand Distance Vector (AODV) routing protocol, i.e. DYMO and AODVv2-16. In particular, we apply statistical model checking to investigate the performance of these two protocols in terms of routes established and looping routes. Our modelling and analysis are carried out by the Uppaal Statistical Model Checker on 3x3 grids, with possibly lossy communication.

Product ID:

99192

Handle IRIS:

11562/969738

Last Modified:

November 15, 2022

Bibliographic citation:

Kamali, M.; Merro, M.; Dal Corso, A., AODVv2: performance vs. loop freedom in «LECTURE NOTES IN COMPUTER SCIENCE» vol. 10706 Springer Verlag Germany  in CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE , Springer Verlag Germany , Proceedings of "CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE" , Krems an der Donau, Austria , January 29 - February 2, 2018 , 2018 , pp. 337-350

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo