Noura Boudiaf

	2008
4		Noura Boudiaf, Farid Mokhati, Mourad Badri: Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. International Journal of Software Engineering and Knowledge Engineering 18(7): 853-875 (2008)
	2007
3		Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri: Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. Journal of Object Technology 6(4): 77-102 (2007)
	2006
2		Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf: Modeling Workflows with Recursive ECATNets. SYNASC 2006: 389-398
	2004
1		Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri: Specifying DIMA Multi-agents Models Using Maude. PRIMA 2004: 29-42

Coauthor Index

1	Linda Badri	[1] [3]
2	Mourad Badri	[1] [3] [4]
3	Kamel Barkaoui	[2]
4	Awatef Hicheur	[2]
5	Farid Mokhati	[1] [3] [4]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page