Остановите войну!
for scientists:
default search action
Farid Mokhati
- > Home > Persons > Farid Mokhati
Publications
- 2023
- [j30]Kalache Ayyoub, Mourad Badri, Farid Mokhati, Mohamed Chaouki Babahenini:
A testing framework for JADE agent-based software. Multiagent Grid Syst. 19(1): 61-98 (2023) - 2022
- [c21]Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri:
NC4OMAS: A Norms-based Approach for Open Multi-Agent Systems Controllability. ICAART (1) 2022: 164-171 - 2021
- [c20]Nawel Ghrieb, Farid Mokhati, Tahar Guerram:
Maintaining Organizational Multi-agent Systems: A Reorganization-based Preventive Approach. ICAART (1) 2021: 384-389 - 2020
- [j25]Nawel Ghrieb, Farid Mokhati, Mostafa Anouar Ghorab, Tahar Guerram:
Towards a preventive maintenance approach for multi-agent applications. Multiagent Grid Syst. 16(1): 83-99 (2020) - 2019
- [j23]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): 155-177 (2019) - 2018
- [j20]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): 243-261 (2018) - 2017
- [j19]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) - [j18]Salim Zerrougui, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini:
A novel approach for scalability and performance enhancement in JADE. Multiagent Grid Syst. 13(2): 177-201 (2017) - 2016
- [c19]Mohamed Sedik Chebout, Farid Mokhati, Mourad Badri, Mohamed Chaouki Babahenini:
Towards Preventive Control for Open MAS - An Aspect-based Approach. ICINCO (1) 2016: 269-274 - 2015
- [j14]Nour El Houda Dehimi, Farid Mokhati, Mourad Badri:
Testing HMAS-based applications: An ASPECS-based approach. Eng. Appl. Artif. Intell. 46: 232-257 (2015) - [j13]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): 45-66 (2015) - [c16]Mihoub Mazouz, Farid Mokhati, Mourad Badri:
Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology. ICAART (1) 2015: 203-209 - 2014
- [j12]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): 73-91 (2014) - [j11]Salim Zerrougui, Farid Mokhati, Mourad Badri:
Toward a new aspect-mining approach for multi-agent systems. J. Syst. Softw. 98: 9-24 (2014) - 2009
- [j8]Farid Mokhati, Mourad Badri:
Generating Maude Specifications From UML Use Case Diagrams. J. Object Technol. 8(2): 319-136 (2009) - 2008
- [j7]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): 422-448 (2008) - [j6]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): 853-875 (2008) - [j5]Patrice Gagnon, Farid Mokhati, Mourad Badri:
Applying Model Checking to Concurrent UML Models. J. Object Technol. 7(1): 59-84 (2008) - 2007
- [j4]Farid Mokhati, Mourad Badri, Linda Badri:
A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 31(3): 337-350 (2007) - [j3]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): 77-102 (2007) - [c3]Farid Mokhati, Patrice Gagnon, Mourad Badri:
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC 2007: 356-362 - 2006
- [j2]Farid Mokhati, Mourad Badri, Linda Badri:
A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 30(1): 97-110 (2006) - [j1]Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri:
Generating Maude formal specifications from AUML diagrams. J. Comput. Methods Sci. Eng. 6(5-6): 73-89 (2006) - [c2]Farid Mokhati, Mourad Badri, Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577 - 2004
- [c1]Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri:
Specifying DIMA Multi-agents Models Using Maude. PRIMA 2004: 29-42
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint