Noura Boudiaf

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Noura Boudiaf, Farid Mokhati, Mourad Badri
Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. Int. J. Softw. Eng. Knowl. Eng. 18 (7) (2008)
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. J. Object Technol. 6 (4) (2007)
Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri
Generating Maude formal specifications from AUML diagrams. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf
Modeling Workflows with Recursive ECATNets. SYNASC (2006)
Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri
Specifying DIMA Multi-agents Models Using Maude. PRIMA (2004)