Login / Signup
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
Model Checking
Top Venues
SOFSEM
NFM
</>
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)