![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Farid Mokhati
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j31]Yahia Menassel
, Toufik Marir, Farid Mokhati:
Operational profile development methodology for normative multi-agent systems. Multiagent Grid Syst. 19(1): 1-22 (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
- [j29]Zouheyr Tamrabet, Toufik Marir
, Farid Mokhati:
ESQuMo: An Embedded Software Quality Model. Int. J. Embed. Real Time Commun. Syst. 13(1): 1-18 (2022) - [j28]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) - [j27]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) - [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
- [j26]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): 80-107 (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)
2010 – 2019
- 2019
- [j24]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): 1-20 (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
- [j22]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): 1-17 (2018) - [j21]Abdelmalek Metrouh
, Farid Mokhati:
Flexible Web services integration: a novel personalised social approach. J. Exp. Theor. Artif. Intell. 30(3): 441-456 (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) - [j17]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): 395-419 (2017) - 2016
- [j16]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): 297-310 (2016) - [j15]Salima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati:
An Ontology-Based Context Model to manage Users Preferences and Conflicts. Informatica (Slovenia) 40(1) (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 - [c18]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: 58-72 - [c17]Abdelmalek Metrouh
, Farid Mokhati:
A Novel Social Networks Approach Based on QoS for Web Services Selection. MedPRAI 2016: 92-97 - 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) - [c15]Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem:
Formalizing Artifact-Centric Business Processes - Towards a Conformance Testing Approach. ICEIS (2) 2014: 368-374 - [c14]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: 363-368 - [c13]Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Zouheyr Tamrabet:
Complexity Measurement of Multi-Agent Systems. MATES 2014: 188-201 - 2013
- [j10]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): 138-151 (2013) - [c12]Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem:
Formalizing SIMBA RTMAS Models using Real-time Maude. ICAART (1) 2013: 411-414 - [c11]Abdelmalek Metrouh
, Farid Mokhati:
Social Web Services Discovery: A Community-Based Approach. iiWAS 2013: 275 - 2012
- [c10]Karima Boussaha, Farid Mokhati, Nora Taleb:
A Novel Learner Self-assessment Approach - Application to Pratical Works. CSEDU (2) 2012: 144-148 - [c9]Yahia Menassel, Farid Mokhati:
A Novel Formalization Process for Use Case Maps. KMIS 2012: 307-310 - [c8]Salima Bourougaa-Tria, Hassina Seridi-Bouchelaghem, Farid Mokhati:
Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation. ICEIS (2) 2012: 271-276 - [c7]Abdelmalek Metrouh, Hassina Seridi-Bouchelaghem, Farid Mokhati:
Web Services Discovery - A Novel Social Networks Approach based on Communities. ICEIS (2) 2012: 316-319 - 2010
- [j9]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): 59-77 (2010) - [c6]Hamza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem:
Towards formalizing web service composition in Maude's strategy language. ISWSA 2010: 15 - [c5]Mohamed Amin Laouadi
, Farid Mokhati, Hassina Seridi-Bouchelaghem:
A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements. MATES 2010: 15-27
2000 – 2009
- 2009
- [j8]Farid Mokhati, Mourad Badri:
Generating Maude Specifications From UML Use Case Diagrams. J. Object Technol. 8(2): 319-136 (2009) - [c4]Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem:
Formalizing ARTIS Agent Model Using RT-Maude. MATES 2009: 226-231 - 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
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-05-08 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint