![]() | Monter d'un niveau |
Moussa, M., & Beltrame, G. (2021). Real-Time Path Planning with Virtual Magnetic Fields. IEEE Robotics and Automation Letters, 6(2), 3279-3286. Lien externe
Moussa, M., & Beltrame, G. (2020). On the robustness of consensus-based behaviors for robot swarms. Swarm Intelligence, 14(3), 205-231. Lien externe
Moussa, M. (2019). Towards Reliable Robotics: from Navigation to Coordination [Thèse de doctorat, Polytechnique Montréal]. Disponible
Moussa, M., Di Penta, M., Antoniol, G., & Beltrame, G. (mai 2017). ACCUSE: helping users to minimize Android app privacy concerns [Communication écrite]. 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft 2017), Buenos Aires, Argentina. Lien externe
Moussa, M. (2014). Vérification et configuration automatiques de pare-feux par Model Checking et synthèse de contrôleur [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
Moussa, M., Ould-Slimane, H., Boucheneb, H., & Chamberland, S. (juin 2014). A formal framework for verifying inter-firewalls consistency [Communication écrite]. IEEE Symposium on Computers and Communications (ISCC 2014), Funchal, Portugal (7 pages). Lien externe