Specifying DIMA Multi-agents Models Using Maude. - Noura Boudiaf; Farid Mokhati; Mourad Badri; Linda Badri (PRIMA, 2004)

Modeling Workflows with Recursive ECATNets. - Awatef Hicheur; Kamel Barkaoui; Noura Boudiaf (SYNASC, 2006)

Generating Maude formal specifications from AUML diagrams. - Farid Mokhati; Noura Boudiaf; Linda Badri; Mourad Badri (J. Comput. Methods Sci. Eng., 2006)

Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. - Farid Mokhati; Noura Boudiaf; Mourad Badri; Linda Badri (J. Object Technol., 2007)

Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. - Noura Boudiaf; Farid Mokhati; Mourad Badri (Int. J. Softw. Eng. Knowl. Eng., 2008)