| 2025 | IJCCI | Solidity Meets LLMs: A Transformer-Based Approach to Smart Contract Vulnerability Detection. | Djamel Eddine Hakim Ghorab, Farid Mokhati, Mostafa Anouar Ghorab |
| 2022 | ICAART | NC4OMAS: A Norms-based Approach for Open Multi-Agent Systems Controllability. | Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri |
| 2021 | ICAART | Maintaining Organizational Multi-agent Systems: A Reorganization-based Preventive Approach. | Nawel Ghrieb, Farid Mokhati, Tahar Guerram |
| 2016 | ICINCO | Towards Preventive Control for Open MAS - An Aspect-based Approach. | Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini |
| 2015 | ICAART | Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology. | Mihoub Mazouz, Farid Mokhati, Mourad Badri |
| 2014 | ICSoft | Do We Need Specific Quality Models for Multi-Agent Systems? - Toward Using the ISO/IEC 25010 Quality Model for MAS. | Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem |
| 2013 | ICAART | Formalizing SIMBA RTMAS Models using Real-time Maude. | Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem |
| 2013 | IIWAS | Social Web Services Discovery: A Community-Based Approach. | Abdelmalek Metrouh, Farid Mokhati |
| 2012 | CSEDU | A Novel Learner Self-assessment Approach - Application to Pratical Works. | Karima Boussaha, Farid Mokhati, Nora Taleb |
| 2012 | IC3K | A Novel Formalization Process for Use Case Maps. | Yahia Menassel, Farid Mokhati |
| 2006 | SEKE | Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. | Farid Mokhati, Mourad Badri, Patrice Gagnon |
| 2004 | PRIMA | Specifying DIMA Multi-agents Models Using Maude. | Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri |