- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Karima Boussaha, Farid Mokhati, Nora Taleb: A Novel Learner Self-assessment Approach - Application to Pratical Works. CSEDU (2) 2012: 144-148 |
| c9 | | |
| 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 | ||
| j8 |  | Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, Mohamed Tahar Kimour: A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. Journal of Object Technology 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 |
| 2009 | ||
| j7 | | Farid Mokhati, Mourad Badri: Generating Maude Specifications From UML Use Case Diagrams. Journal of Object Technology 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 | ||
| j6 | | Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia: Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. IJAOSE 2(4): 422-448 (2008) |
| j5 | | Noura Boudiaf, Farid Mokhati, Mourad Badri: Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. International Journal of Software Engineering and Knowledge Engineering 18(7): 853-875 (2008) |
| j4 | | Patrice Gagnon, Farid Mokhati, Mourad Badri: Applying Model Checking to Concurrent UML Models. Journal of Object Technology 7(1): 59-84 (2008) |
| 2007 | ||
| j3 | | Farid Mokhati, Mourad Badri, Linda Badri: A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 31(3): 337-350 (2007) |
| j2 | | Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri: Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. Journal of Object Technology 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 | ||
| j1 | | Farid Mokhati, Mourad Badri, Linda Badri: A Formal Framework Supporting the Specification of the Interactions between Agents. Informatica (Slovenia) 30(1): 97-110 (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 |
Colors in the list of coauthors
Last update Wed May 22 18:04:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page