Noura Boudiaf

According to our database, Noura Boudiaf authored at least 5 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

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

2007

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

2006

Generating Maude formal specifications from AUML diagrams.

Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri

J. Comput. Methods Sci. Eng., 2006

Modeling Workflows with Recursive ECATNets.

Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2004

Specifying DIMA Multi-agents Models Using Maude.

Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004