Alice Dal Corso

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 1

Top Topics

Neighboring Nodes

Alternating Time Temporal Logic

Verification Method

Top Venues

Publications

Mojgan Kamali, Massimo Merro, Alice Dal Corso
AODVv2: Performance vs. Loop Freedom. SOFSEM (2018)
Alice Dal Corso, Damiano Macedonio, Massimo Merro
Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. NFM (2015)