Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. - Alice Dal Corso; Damiano Macedonio; Massimo Merro (NFM, 2015)

AODVv2: Performance vs. Loop Freedom. - Mojgan Kamali; Massimo Merro; Alice Dal Corso (SOFSEM, 2018)