Farid Mokhati

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 25

Top Topics

Quality Attributes

Business Process

Top Venues

Multiagent Grid Syst.

Informatica (Slovenia)

Int. J. Embed. Real Time Commun. Syst.

Publications

Kalache Ayyoub, Mourad Badri, Farid Mokhati, Mohamed Chaouki Babahenini
A testing framework for JADE agent-based software. Multiagent Grid Syst. 19 (1) (2023)
Yahia Menassel, Toufik Marir, Farid Mokhati
Operational profile development methodology for normative multi-agent systems. Multiagent Grid Syst. 19 (1) (2023)
Zouheyr Tamrabet, Toufik Marir, Farid Mokhati
ESQuMo: An Embedded Software Quality Model. Int. J. Embed. Real Time Commun. Syst. 13 (1) (2022)
Salima Bourougaa-Tria, Farid Mokhati, Houssemeddine Tria, Okba Bouziane
SPubBin: Smart Public Bin Based on Deep Learning Waste classification An IOT system for Smart environment in Algeria. Informatica (Slovenia) 46 (8) (2022)
Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri
NC4OMAS: A Norms-based Approach for Open Multi-Agent Systems Controllability. ICAART (1) (2022)
Salima Bourougaa-Tria, Farid Mokhati, Houssemeddine Tria, Okba Bouziane
SPubBin: Smart Public Bin Based on Deep Learning Waste classification An IOT system for Smart environment in Algeria. Informatica (Slovenia) 46 (8) (2022)
Nawel Ghrieb, Farid Mokhati, Tahar Guerram
Maintaining Organizational Multi-agent Systems: A Reorganization-based Preventive Approach. ICAART (1) (2021)
Karima Boussaha, Farid Mokhati, Amira Hanneche
System-Based Ontology for Assessing Learner's Programming Practical Works Activities (S_Onto_ALPPWA). Int. J. Web Based Learn. Teach. Technol. 16 (5) (2021)
Nawel Ghrieb, Farid Mokhati, Mostafa Anouar Ghorab, Tahar Guerram
Towards a preventive maintenance approach for multi-agent applications. Multiagent Grid Syst. 16 (1) (2020)
Toufik Marir, Abd El Heq Silem, Farid Mokhati, Abdelouahed Gherbi, Bali Ahmed
NorJADE: An Open Source JADE-Based Framework for Programming Normative Multi-Agent Systems. Int. J. Open Source Softw. Process. 10 (2) (2019)
Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini
Monitoring open multi-agent systems: An aspect-oriented programming based approach. Multiagent Grid Syst. 15 (2) (2019)
Nour El Houda Dehimi, Tahar Guerram, Zakaria Tolba, Farid Mokhati
A novel distributed dynamic planning approach based on constraint satisfaction. Multiagent Grid Syst. 14 (3) (2018)
Zouheyr Tamrabet, Toufik Marir, Farid Mokhati
A Survey on Quality Attributes and Quality Models for Embedded Software. Int. J. Embed. Real Time Commun. Syst. 9 (2) (2018)
Abdelmalek Metrouh, Farid Mokhati
Flexible Web services integration: a novel personalised social approach. J. Exp. Theor. Artif. Intell. 30 (3) (2018)
Salim Zerrougui, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini
A novel approach for scalability and performance enhancement in JADE. Multiagent Grid Syst. 13 (2) (2017)
Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem
A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach. Multiagent Grid Syst. 13 (4) (2017)
Mihoub Mazouz, Farid Mokhati, Mourad Badri
Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic. Informatica (Slovenia) 41 (2) (2017)
Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini
Towards Preventive Control for Open MAS - An Aspect-based Approach. ICINCO (1) (2016)
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Youghourta Acid, Maroua Bouzid
QM4MAS: a quality model for multi-agent systems. Int. J. Comput. Appl. Technol. 54 (4) (2016)
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Boubakar Benaissa
Dynamic Metrics for Multi-agent Systems Using Aspect-Oriented Programming - Application to DIMA Platform. MATES (2016)
Abdelmalek Metrouh, Farid Mokhati
A Novel Social Networks Approach Based on QoS for Web Services Selection. MedPRAI (2016)
Salima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati
An Ontology-Based Context Model to manage Users Preferences and Conflicts. Informatica (Slovenia) 40 (1) (2016)
Nour El Houda Dehimi, Farid Mokhati, Mourad Badri
Testing HMAS-based applications: An ASPECS-based approach. Eng. Appl. Artif. Intell. 46 (2015)
Mihoub Mazouz, Farid Mokhati, Mourad Badri
Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology. ICAART (1) (2015)
Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri
Assessing the Effect of Aspect Refactoring on Multi-Agent Applications: A Dynamic Analysis. Int. J. Agent Technol. Syst. 7 (3) (2015)
Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem
Formalizing Artifact-Centric Business Processes - Towards a Conformance Testing Approach. ICEIS (2) (2014)
Kalache Ayyoub, Farid Mokhati, Mourad Badri
Towards a New Approach for Controlling the Reorganization Process of Multi-Agent Systems. Int. J. Agent Technol. Syst. 6 (2) (2014)
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem
Do We Need Specific Quality Models for Multi-Agent Systems? - Toward Using the ISO/IEC 25010 Quality Model for MAS. ICSOFT EA (2014)
Salim Zerrougui, Farid Mokhati, Mourad Badri
Toward a new aspect-mining approach for multi-agent systems. J. Syst. Softw. 98 (2014)
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Zouheyr Tamrabet
Complexity Measurement of Multi-Agent Systems. MATES (2014)
Abdelmalek Metrouh, Farid Mokhati
Social Web Services Discovery: A Community-Based Approach. iiWAS (2013)
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem
Formalizing SIMBA RTMAS Models using Real-time Maude. ICAART (1) (2013)
Farid Mokhati, Yahia Menassel
Towards formalising use case maps in Maude strategy language: application to multi-agent systems. Int. J. Comput. Appl. Technol. 47 (2/3) (2013)
Salima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati
Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation. ICEIS (2) (2012)
Karima Boussaha, Farid Mokhati, Nora Taleb
A Novel Learner Self-assessment Approach - Application to Pratical Works. CSEDU (2) (2012)
Abdelmalek Metrouh, Hassina Seridi-Bouchelaghem, Farid Mokhati
Web Services Discovery - A Novel Social Networks Approach based on Communities. ICEIS (2) (2012)
Yahia Menassel, Farid Mokhati
A Novel Formalization Process for Use Case Maps. KMIS (2012)
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. J. Object Technol. 9 (3) (2010)
Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem
Towards formalizing web service composition in Maude's strategy language. ISWSA (2010)
Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem
A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements. MATES (2010)
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem
Formalizing ARTIS Agent Model Using RT-Maude. MATES (2009)
Farid Mokhati, Mourad Badri
Generating Maude Specifications From UML Use Case Diagrams. J. Object Technol. 8 (2) (2009)
Patrice Gagnon, Farid Mokhati, Mourad Badri
Applying Model Checking to Concurrent UML Models. J. Object Technol. 7 (1) (2008)
Noura Boudiaf, Farid Mokhati, Mourad Badri
Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. Int. J. Softw. Eng. Knowl. Eng. 18 (7) (2008)
Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia
Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. Int. J. Agent Oriented Softw. Eng. 2 (4) (2008)
Farid Mokhati, Patrice Gagnon, Mourad Badri
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC (2007)
Farid Mokhati, Mourad Badri, Linda Badri
A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 31 (3) (2007)
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. J. Object Technol. 6 (4) (2007)
Farid Mokhati, Mourad Badri, Linda Badri
A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 30 (1) (2006)
Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri
Generating Maude formal specifications from AUML diagrams. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Farid Mokhati, Mourad Badri, Patrice Gagnon
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE (2006)
Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri
Specifying DIMA Multi-agents Models Using Maude. PRIMA (2004)