Farid Mokhati

According to our database, Farid Mokhati authored at least 50 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Operational profile development methodology for normative multi-agent systems.

Yahia Menassel, Toufik Marir, Farid Mokhati

Multiagent Grid Syst., 2023

A testing framework for JADE agent-based software.

Kalache Ayyoub, Mourad Badri, Farid Mokhati, Mohamed Chaouki Babahenini

Multiagent Grid Syst., 2023

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

ESQuMo: An Embedded Software Quality Model.

Zouheyr Tamrabet, Toufik Marir, Farid Mokhati

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

NC4OMAS: A Norms-based Approach for Open Multi-Agent Systems Controllability.

Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

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

Maintaining Organizational Multi-agent Systems: A Reorganization-based Preventive Approach.

Nawel Ghrieb, Farid Mokhati, Tahar Guerram

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

Towards a preventive maintenance approach for multi-agent applications.

Nawel Ghrieb, Farid Mokhati, Mostafa Anouar Ghorab, Tahar Guerram

Multiagent Grid Syst., 2020

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

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

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

Flexible Web services integration: a novel personalised social approach.

Abdelmalek Metrouh, Farid Mokhati

J. Exp. Theor. Artif. Intell., 2018

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

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 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

Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic.

Mihoub Mazouz, Farid Mokhati, Mourad Badri

Informatica (Slovenia), 2017

2016

An Ontology-Based Context Model to manage Users Preferences and Conflicts.

Salima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati

Informatica (Slovenia), 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

A Novel Social Networks Approach Based on QoS for Web Services Selection.

Abdelmalek Metrouh, Farid Mokhati

Proceedings of the Mediterranean Conference on Pattern Recognition and Artificial Intelligence, 2016

Dynamic Metrics for Multi-agent Systems Using Aspect-Oriented Programming - Application to DIMA Platform.

Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Boubakar Benaissa

Proceedings of the Multiagent System Technologies - 14th German Conference, 2016

Towards Preventive Control for Open MAS - An Aspect-based Approach.

Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini

Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016), 2016

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

Testing HMAS-based applications: An ASPECS-based approach.

Nour El Houda Dehimi, Farid Mokhati, Mourad Badri

Eng. Appl. Artif. Intell., 2015

Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology.

Mihoub Mazouz, Farid Mokhati, Mourad Badri

Proceedings of the ICAART 2015, 2015

2014

Toward a new aspect-mining approach for multi-agent systems.

Salim Zerrougui, Farid Mokhati, Mourad Badri

J. Syst. Softw., 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

Complexity Measurement of Multi-Agent Systems.

Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Zouheyr Tamrabet

Proceedings of the Multiagent System Technologies - 12th German Conference, 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

Proceedings of the ICSOFT-EA 2014, 2014

Formalizing Artifact-Centric Business Processes - Towards a Conformance Testing Approach.

Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem

Proceedings of the ICEIS 2014, 2014

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

Social Web Services Discovery: A Community-Based Approach.

Abdelmalek Metrouh, Farid Mokhati

Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

Formalizing SIMBA RTMAS Models using Real-time Maude.

Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem

Proceedings of the ICAART 2013, 2013

2012

Web Services Discovery - A Novel Social Networks Approach based on Communities.

Abdelmalek Metrouh, Hassina Seridi-Bouchelaghem, Farid Mokhati

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation.

Salima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

A Novel Formalization Process for Use Case Maps.

Yahia Menassel, Farid Mokhati

Proceedings of the KMIS 2012, 2012

A Novel Learner Self-assessment Approach - Application to Pratical Works.

Karima Boussaha, Farid Mokhati, Nora Taleb

Proceedings of the CSEDU 2012, 2012

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 Formal Specification Approach for Real Time Multi-Agent System Functional Requirements.

Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Towards formalizing web service composition in Maude's strategy language.

Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem

Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications, 2010

2009

Generating Maude Specifications From UML Use Case Diagrams.

Farid Mokhati, Mourad Badri

J. Object Technol., 2009

Formalizing ARTIS Agent Model Using RT-Maude.

Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

2008

Applying Model Checking to Concurrent UML Models.

Patrice Gagnon, Farid Mokhati, Mourad Badri

J. Object Technol., 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

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

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

Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.

Farid Mokhati, Patrice Gagnon, Mourad Badri

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Generating Maude formal specifications from AUML diagrams.

Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri

J. Comput. Methods Sci. Eng., 2006

A Formal Framework Supporting the Specification of the Interactions between Agents.

Farid Mokhati, Mourad Badri, Linda Badri

Informatica (Slovenia), 2006

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.

Farid Mokhati, Mourad Badri, Patrice Gagnon

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2004

Specifying DIMA Multi-agents Models Using Maude.

Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004