Specifying DIMA Multi-agents Models Using Maude. - Noura Boudiaf; Farid Mokhati; Mourad Badri; Linda Badri (PRIMA, 2004)

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. - Farid Mokhati; Mourad Badri; Patrice Gagnon (SEKE, 2006)

A Formal Framework Supporting the Specification of the Interactions between Agents. - Farid Mokhati; Mourad Badri; Linda Badri (Informatica (Slovenia), 2006)

Generating Maude formal specifications from AUML diagrams. - Farid Mokhati; Noura Boudiaf; Linda Badri; Mourad Badri (J. Comput. Methods Sci. Eng., 2006)

Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. - Farid Mokhati; Patrice Gagnon; Mourad Badri (QSIC, 2007)

Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. - Farid Mokhati; Noura Boudiaf; Mourad Badri; Linda Badri (J. Object Technol., 2007)

Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. - Farid Mokhati; Mourad Badri; Linda Badri; Fathi Hamidane; Sofiane Bouazdia (Int. J. Agent Oriented Softw. Eng., 2008)

Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. - Noura Boudiaf; Farid Mokhati; Mourad Badri (Int. J. Softw. Eng. Knowl. Eng., 2008)

Applying Model Checking to Concurrent UML Models. - Patrice Gagnon; Farid Mokhati; Mourad Badri (J. Object Technol., 2008)

Formalizing ARTIS Agent Model Using RT-Maude. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem (MATES, 2009)

Generating Maude Specifications From UML Use Case Diagrams. - Farid Mokhati; Mourad Badri (J. Object Technol., 2009)

Towards formalizing web service composition in Maude's strategy language. - Hamza Merouani; Farid Mokhati; Hassina Seridi-Bouchelaghem (ISWSA, 2010)

A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements. - Mohamed Amin Laouadi; Farid Mokhati; Hassina Seridi-Bouchelaghem (MATES, 2010)

A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. - Farid Mokhati; Brahim Sahraoui; Soufiane Bouzaher; Mohamed Tahar Kimour (J. Object Technol., 2010)

A Novel Learner Self-assessment Approach - Application to Pratical Works. - Karima Boussaha; Farid Mokhati; Nora Taleb (CSEDU (2), 2012)

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

Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation. - Salima Bourougaa-Tria; Hassina Seridi-Bouchelaghem; Farid Mokhati (ICEIS (2), 2012)

Web Services Discovery - A Novel Social Networks Approach based on Communities. - Abdelmalek Metrouh; Hassina Seridi-Bouchelaghem; Farid Mokhati (ICEIS (2), 2012)

Formalizing SIMBA RTMAS Models using Real-time Maude. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem (ICAART (1), 2013)

Social Web Services Discovery: A Community-Based Approach. - Abdelmalek Metrouh; Farid Mokhati (iiWAS, 2013)

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

Formalizing Artifact-Centric Business Processes - Towards a Conformance Testing Approach. - Hamza Merouani; Farid Mokhati; Hassina Seridi-Bouchelaghem (ICEIS (2), 2014)

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 (ICSOFT EA, 2014)

Complexity Measurement of Multi-Agent Systems. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem; Zouheyr Tamrabet (MATES, 2014)

Towards a New Approach for Controlling the Reorganization Process of Multi-Agent Systems. - Kalache Ayyoub; Farid Mokhati; Mourad Badri (Int. J. Agent Technol. Syst., 2014)

Toward a new aspect-mining approach for multi-agent systems. - Salim Zerrougui; Farid Mokhati; Mourad Badri (J. Syst. Softw., 2014)

Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology. - Mihoub Mazouz; Farid Mokhati; Mourad Badri (ICAART (1), 2015)

Testing HMAS-based applications: An ASPECS-based approach. - Nour El Houda Dehimi; Farid Mokhati; Mourad Badri (Eng. Appl. Artif. Intell., 2015)

Assessing the Effect of Aspect Refactoring on Multi-Agent Applications: A Dynamic Analysis. - Mohamed Sedik Chebout; Farid Mokhati; Mourad Badri (Int. J. Agent Technol. Syst., 2015)

Towards Preventive Control for Open MAS - An Aspect-based Approach. - Mohamed Sedik Chebout; Farid Mokhati; Mourad Badri; Mohamed Chaouki Babahenini (ICINCO (1), 2016)

Dynamic Metrics for Multi-agent Systems Using Aspect-Oriented Programming - Application to DIMA Platform. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem; Boubakar Benaissa (MATES, 2016)

A Novel Social Networks Approach Based on QoS for Web Services Selection. - Abdelmalek Metrouh; Farid Mokhati (MedPRAI, 2016)

QM4MAS: a quality model for multi-agent systems. - Toufik Marir; Farid Mokhati; Hassina Seridi-Bouchelaghem; Youghourta Acid; Maroua Bouzid (Int. J. Comput. Appl. Technol., 2016)

An Ontology-Based Context Model to manage Users Preferences and Conflicts. - Salima Bourougaa-Tria; Hassina Seridi-Bouchelaghem; Farid Mokhati (Informatica (Slovenia), 2016)

Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic. - Mihoub Mazouz; Farid Mokhati; Mourad Badri (Informatica (Slovenia), 2017)

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach. - Mohamed Amin Laouadi; Farid Mokhati; Hassina Seridi-Bouchelaghem (Multiagent Grid Syst., 2017)

A novel approach for scalability and performance enhancement in JADE. - Salim Zerrougui; Farid Mokhati; Mourad Badri; Mohamed Chaouki Babahenini (Multiagent Grid Syst., 2017)

A Survey on Quality Attributes and Quality Models for Embedded Software. - Zouheyr Tamrabet; Toufik Marir; Farid Mokhati (Int. J. Embed. Real Time Commun. Syst., 2018)

Flexible Web services integration: a novel personalised social approach. - Abdelmalek Metrouh; Farid Mokhati (J. Exp. Theor. Artif. Intell., 2018)

A novel distributed dynamic planning approach based on constraint satisfaction. - Nour El Houda Dehimi; Tahar Guerram; Zakaria Tolba; Farid Mokhati (Multiagent Grid Syst., 2018)

NorJADE: An Open Source JADE-Based Framework for Programming Normative Multi-Agent Systems. - Toufik Marir; Abd El Heq Silem; Farid Mokhati; Abdelouahed Gherbi; Bali Ahmed (Int. J. Open Source Softw. Process., 2019)

Monitoring open multi-agent systems: An aspect-oriented programming based approach. - Mohamed Sedik Chebout; Farid Mokhati; Mourad Badri; Mohamed Chaouki Babahenini (Multiagent Grid Syst., 2019)

Towards a preventive maintenance approach for multi-agent applications. - Nawel Ghrieb; Farid Mokhati; Mostafa Anouar Ghorab; Tahar Guerram (Multiagent Grid Syst., 2020)

Maintaining Organizational Multi-agent Systems: A Reorganization-based Preventive Approach. - Nawel Ghrieb; Farid Mokhati; Tahar Guerram (ICAART (1), 2021)

System-Based Ontology for Assessing Learner's Programming Practical Works Activities (S_Onto_ALPPWA). - Karima Boussaha; Farid Mokhati; Amira Hanneche (Int. J. Web Based Learn. Teach. Technol., 2021)

NC4OMAS: A Norms-based Approach for Open Multi-Agent Systems Controllability. - Mohamed Sedik Chebout; Farid Mokhati; Mourad Badri (ICAART (1), 2022)

ESQuMo: An Embedded Software Quality Model. - Zouheyr Tamrabet; Toufik Marir; Farid Mokhati (Int. J. Embed. Real Time Commun. Syst., 2022)

SPubBin: Smart Public Bin Based on Deep Learning Waste classification An IOT system for Smart environment in Algeria. - Salima Bourougaa-Tria; Farid Mokhati; Houssemeddine Tria; Okba Bouziane (Informatica (Slovenia), 2022)

A testing framework for JADE agent-based software. - Kalache Ayyoub; Mourad Badri; Farid Mokhati; Mohamed Chaouki Babahenini (Multiagent Grid Syst., 2023)

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)