Improved Recovery for Proactive, Distributed Routing. - Mojgan Kamali; Luigia Petre (ICECCS, 2015)

Comparing Routing Protocols. - Mojgan Kamali; Luigia Petre (ICECCS, 2015)

Formal Analysis of Proactive, Distributed Routing. - Mojgan Kamali; Peter Höfner; Maryam Kamali; Luigia Petre (SEFM, 2015)

Modelling Link State Routing in Event-B. - Mojgan Kamali; Luigia Petre (ICECCS, 2016)

Uppaal vs Event-B for Modelling Optimised Link State Routing. - Mojgan Kamali; Luigia Petre (VECoS, 2017)

Adaptive Formal Framework for WMN Routing Protocols. - Mojgan Kamali; Ansgar Fehnker (FACS, 2018)

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

Probabilistic Model Checking of AODV. - Mojgan Kamali; Joost-Pieter Katoen (QEST, 2020)