Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. - Faiza Belala; Fateh Latreche; Malika Benammar (CAL, 2008)

AADL behavioral annex based on generalized rewriting logic. - Malika Benammar; Faiza Belala; Fateh Latreche (RCIS, 2008)

Extension d'ABAReL par les Propriétés d'Exécution. - Malika Benammar; Faiza Belala; Kamel Barkaoui; Nadira Benlahrache (CAL, 2009)

Vers un Modèle de Déploiement à base de Bigraphes. - Nadira Benlahrache; Faiza Belala; Chafia Bouanaka; Malika Benammar (CAL, 2010)

Implémentation orientée objet d'ABAReL en Maude. - Malika Benammar; Faiza Belala; Kamel Barkaoui (Tech. Sci. Informatiques, 2011)