2008 |
6 | EE | Farid Mokhati,
Mourad Badri,
Linda Badri,
Fathi Hamidane,
Sofiane Bouazdia:
Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.
IJAOSE 2(4): 422-448 (2008) |
5 | 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 |
4 | EE | Farid Mokhati,
Patrice Gagnon,
Mourad Badri:
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.
QSIC 2007: 356-362 |
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 | | Farid Mokhati,
Mourad Badri,
Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.
SEKE 2006: 572-577 |
2004 |
1 | EE | Noura Boudiaf,
Farid Mokhati,
Mourad Badri,
Linda Badri:
Specifying DIMA Multi-agents Models Using Maude.
PRIMA 2004: 29-42 |