Peer-reviewed publications

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

Last updated on 2019-01-03 at 08:08