Peer-reviewed publications

G5 Doctoral dissertation (article) Formal analysis of network routing protocols (2019) Mojgan Kamali

A4 Conference proceedings Adaptive Formal Framework for WMN Routing Protocols (2018) Mojgan Kamali, Ansgar Fehnker Springer View on publisher's site

A4 Conference proceedings AODVv2: Performance vs. Loop Freedom (2018) Mojgan Kamali, Massimo Merro, Alice Dal Corso Springer View on publisher's site

A4 Conference proceedings Uppaal vs Event-B for Modelling Optimised Link State Routing (2017) Mojgan Kamali, Luigia Petre Springer View on publisher's site

A4 Conference proceedings Modelling Link State Routing in Event-B (2016) Mojgan Kamali, Luigia Petre IEEE View on publisher's site

A4 Conference proceedings Comparing Routing Protocols (2015) Mojgan Kamali, Luigia Petre IEEE View on publisher's site

A4 Conference proceedings Formal Analysis of Proactive, Distributed Routing (2015) Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre Lecture Notes in Computer Science Springer View on publisher's site

A4 Conference proceedings Improved Recovery for Proactive, Distributed Routing (2015) Mojgan Kamali, Luigia Petre IEEE View on publisher's site

Other publications

D4 Published development or research report or study AODVv2: Performance vs. Loop Freedom (2017) Mojgan Kamali, Massimo Merro, Alice Dal Corso

D4 Published development or research report or study Modelling Link State Routing in Event-B (2016) Mojgan Kamali, Luigia Petre

D4 Published development or research report or study Uppaal vs Event-B for Modelling Optimised Link State Routing (2016) Mojgan Kamali, Luigia Petre

D4 Published development or research report or study Improved Recovery for Proactive, Distributed Routing (2015) Mojgan Kamali, Luigia Petre

D4 Published development or research report or study Formally Analyzing Proactive, Distributed Routing (2014) Mojgan Kamali, Maryam Kamali, Luigia Petre