Pubblicazioni

Autori:

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

Titolo:

AODVv2: performance vs. loop freedom

Anno:

2018

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Lingua:

Inglese

Formato:

A Stampa

Nome rivista:

LECTURE NOTES IN COMPUTER SCIENCE

ISSN Rivista:

0302-9743

N° Volume:

10706

Titolo del Convegno:

CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE

Luogo:

Krems an der Donau, Austria

Periodo:

January 29 - February 2, 2018

Editore:

Springer Verlag Germany

Casa editrice:

Springer Verlag Germany

Intervallo pagine:

337-350

Parole chiave:

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

Breve descrizione dei contenuti:

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.

Id prodotto:

99192

Handle IRIS:

11562/969738

ultima modifica:

15 novembre 2022

Citazione bibliografica:

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 , Atti di "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