Referentgranskade publikationer

A4 Konferenspublikationer
Adaptive Formal Framework for WMN Routing Protocols (2018)
Mojgan Kamali, Ansgar Fehnker
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
AODVv2: Performance vs. Loop Freedom (2018)
Mojgan Kamali, Massimo Merro, Alice Dal Corso
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Uppaal vs Event-B for Modelling Optimised Link State Routing (2017)
Mojgan Kamali, Luigia Petre
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Comparing Routing Protocols (2015)
Mojgan Kamali, Luigia Petre
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Analysis of Proactive, Distributed Routing (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
IEEE
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
AODVv2: Performance vs. Loop Freedom (2017)
Mojgan Kamali, Massimo Merro, Alice Dal Corso
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modelling Link State Routing in Event-B (2016)
Mojgan Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Uppaal vs Event-B for Modelling Optimised Link State Routing (2016)
Mojgan Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Improved Recovery for Proactive, Distributed Routing (2015)
Mojgan Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formally Analyzing Proactive, Distributed Routing (2014)
Mojgan Kamali, Maryam Kamali, Luigia Petre

Senast uppdaterad 2019-01-03 vid 08:08