A formal framework for verifying inter-firewalls consistency. - Majda Moussa; Hakima Ould-Slimane; Hanifa Boucheneb; Steven Chamberland (ISCC, 2014)

ACCUSE: Helping Users to Minimize Android App Privacy Concerns. - Majda Moussa; Massimiliano Di Penta; Giuliano Antoniol; Giovanni Beltrame (MOBILESoft@ICSE, 2017)

On the robustness of consensus-based behaviors for robot swarms. - Majda Moussa; Giovanni Beltrame (Swarm Intell., 2020)

Real-Time Path Planning With Virtual Magnetic Fields. - Majda Moussa; Giovanni Beltrame (IEEE Robotics Autom. Lett., 2021)