Mojgan Kamali

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 5

Top Topics

Routing Protocol

Temporal Properties

Formal Analysis

Top Venues

Publications

Mojgan Kamali, Joost-Pieter Katoen
Probabilistic Model Checking of AODV. QEST (2020)
Mojgan Kamali, Ansgar Fehnker
Adaptive Formal Framework for WMN Routing Protocols. FACS (2018)
Mojgan Kamali, Massimo Merro, Alice Dal Corso
AODVv2: Performance vs. Loop Freedom. SOFSEM (2018)
Mojgan Kamali, Luigia Petre
Uppaal vs Event-B for Modelling Optimised Link State Routing. VECoS (2017)
Mojgan Kamali, Luigia Petre
Modelling Link State Routing in Event-B. ICECCS (2016)
Mojgan Kamali, Luigia Petre
Improved Recovery for Proactive, Distributed Routing. ICECCS (2015)
Mojgan Kamali, Luigia Petre
Comparing Routing Protocols. ICECCS (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Formal Analysis of Proactive, Distributed Routing. SEFM (2015)