A Novel Formalization Process for Use Case Maps. - Yahia Menassel; Farid Mokhati (KMIS, 2012)

Towards formalising use case maps in Maude strategy language: application to multi-agent systems. - Farid Mokhati; Yahia Menassel (Int. J. Comput. Appl. Technol., 2013)

Operational profile development methodology for normative multi-agent systems. - Yahia Menassel; Toufik Marir; Farid Mokhati (Multiagent Grid Syst., 2023)

Operational profile-based test case generation for normative MAS. - Yahia Menassel; Toufik Marir; Farid Mokhati; Varun Gupta (J. Syst. Softw., 2025)