Mojgan Kamali

According to our database, Mojgan Kamali authored at least 8 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Probabilistic Model Checking of AODV.

Mojgan Kamali, Joost-Pieter Katoen

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

2018

AODVv2: Performance vs. Loop Freedom.

Mojgan Kamali, Massimo Merro, Alice Dal Corso

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Adaptive Formal Framework for WMN Routing Protocols.

Mojgan Kamali, Ansgar Fehnker

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Uppaal vs Event-B for Modelling Optimised Link State Routing.

Mojgan Kamali, Luigia Petre

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016

Modelling Link State Routing in Event-B.

Mojgan Kamali, Luigia Petre

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

Formal Analysis of Proactive, Distributed Routing.

Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Comparing Routing Protocols.

Mojgan Kamali, Luigia Petre

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Improved Recovery for Proactive, Distributed Routing.

Mojgan Kamali, Luigia Petre

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015