 | 2009 |
|---|
| 10 |       | Toufik Marir,
Farid Mokhati,
Hassina Seridi-Bouchelaghem:
Formalizing ARTIS Agent Model Using RT-Maude.
MATES 2009: 226-231 |
| 9 | | Farid Mokhati,
Mourad Badri:
Generating Maude Specifications From UML Use Case Diagrams.
Journal of Object Technology 8(2): 319-136 (2009) |
| 2008 |
|---|
| 8 | | 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) |
| 7 | | 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 |
|---|
| 6 | | Farid Mokhati,
Patrice Gagnon,
Mourad Badri:
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.
QSIC 2007: 356-362 |
| 5 | | Farid Mokhati,
Mourad Badri,
Linda Badri:
A Formal Framework Supporting the Specification of the Interactions between Agents.
Informatica (Slovenia) 31(3): 337-350 (2007) |
| 4 | | 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 |
|---|
| 3 |  | Farid Mokhati,
Mourad Badri,
Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.
SEKE 2006: 572-577 |
| 2 | | Farid Mokhati,
Mourad Badri,
Linda Badri:
A Formal Framework Supporting the Specification of the Interactions between Agents.
Informatica (Slovenia) 30(1): 97-110 (2006) |
| 2004 |
|---|
| 1 | | Noura Boudiaf,
Farid Mokhati,
Mourad Badri,
Linda Badri:
Specifying DIMA Multi-agents Models Using Maude.
PRIMA 2004: 29-42 |
