Mojgan Kamali
Titel
Geciteerd door
Geciteerd door
Jaar
Formal Analysis of Proactive, Distributed Routing
M Kamali, P Höfner, M Kamali, L Petre
Software Engineering and Formal Methods (SEFM 2015), 175-189, 2015
202015
Modelling link state routing in Event-B
M Kamali, L Petre
2016 21st International Conference on Engineering of Complex Computer …, 2016
72016
Improved recovery for proactive, distributed routing
M Kamali, L Petre
2015 20th International Conference on Engineering of Complex Computer …, 2015
62015
AODVv2: performance vs. loop freedom
M Kamali, M Merro, A Dal Corso
International Conference on Current Trends in Theory and Practice of …, 2018
52018
Comparing routing protocols
M Kamali, L Petre
2015 20th International Conference on Engineering of Complex Computer …, 2015
42015
Probabilistic Model Checking of AODV
M Kamali, JP Katoen
International Conference on Quantitative Evaluation of Systems, 54-73, 2020
12020
Adaptive formal framework for WMN routing protocols
M Kamali, A Fehnker
International Conference on Formal Aspects of Component Software, 175-195, 2018
12018
Uppaal vs event-b for modelling optimised link state routing
M Kamali, L Petre
International Conference on Verification and Evaluation of Computer and …, 2017
12017
Formal Analysis of Network Routing Protocols
M Kamali
Turku Centre for Computer Science (TUCS), 2019
2019
Paper V
M Kamali, M Merro, A Dal Corso
Mojgan Kamali, 0
AODVv2-16: performance vs. loop freedom
M Kamali, M Merro, A Dal Corso
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11