| 2008 |
|---|
| 4 | EE | 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 | EE | 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): (2007) |
| 2006 |
|---|
| 2 | EE | Awatef Hicheur,
Kamel Barkaoui,
Noura Boudiaf:
Modeling Workflows with Recursive ECATNets.
SYNASC 2006: 389-398 |
| 2004 |
|---|
| 1 | EE | Noura Boudiaf,
Farid Mokhati,
Mourad Badri,
Linda Badri:
Specifying DIMA Multi-agents Models Using Maude.
PRIMA 2004: 29-42 |
