| 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 | 19 | 2015 |
| Modelling link state routing in Event-B M Kamali, L Petre 2016 21st International Conference on Engineering of Complex Computer …, 2016 | 8 | 2016 |
| Improved recovery for proactive, distributed routing M Kamali, L Petre 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 6 | 2015 |
| AODVv2: performance vs. loop freedom M Kamali, M Merro, A Dal Corso SOFSEM 2018: Theory and Practice of Computer Science: 44th International …, 2018 | 5 | 2018 |
| Comparing routing protocols M Kamali, L Petre 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 5 | 2015 |
| Probabilistic model checking of AODV M Kamali, JP Katoen Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020 | 2 | 2020 |
| Adaptive formal framework for WMN routing protocols M Kamali, A Fehnker Formal Aspects of Component Software: 15th International Conference, FACS …, 2018 | 2 | 2018 |
| Uppaal vs event-b for modelling optimised link state routing M Kamali, L Petre Verification and Evaluation of Computer and Communication Systems: 11th …, 2017 | 1 | 2017 |
| Formal Analysis of Network Routing Protocols M Kamali Turku Centre for Computer Science (TUCS), 2019 | | 2019 |
| AODVv2: performance vs. loop freedom M Kamali, M Merro, A Dal Corso LECTURE NOTES IN COMPUTER SCIENCE 10706, 337-350, 2018 | | 2018 |
| Paper V M Kamali, M Merro, A Dal Corso Mojgan Kamali, 0 | | |
Luigia PetreAssociate Professor in Computer Science, Åbo Akademi University, Finland在 abo.fi 的电子邮件经过验证
