Farid Mokhati

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