Naming for heterogeneous networks prone to episodic connectivity. - Rao Naveed Bin Rais; Mariem Abdelmoula; Thierry Turletti; Katia Obraczka (WCNC, 2011)

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems. - Mariem Abdelmoula; Daniel Gaffé; Michel Auguin (ICTSS, 2014)

Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués. (Automatic generation of tests with data symbolic analysis for the embedded systems). - Mariem Abdelmoula (2014)