| Applying model checking to concurrent UML models. P Gagnon, F Mokhati, M Badri J. Object Technol. 7 (1), 59-84, 2008 | 38 | 2008 |
| Verifying UML diagrams with model checking: A rewriting logic based approach F Mokhati, P Gagnon, M Badri Seventh International Conference on Quality Software (QSIC 2007), 356-362, 2007 | 33 | 2007 |
| Generating Maude Specifications From UML Use Case Diagrams. F Mokhati, M Badri J. Object Technol. 8 (2), 319-136, 2009 | 22 | 2009 |
| Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. F Mokhati, N Boudiaf, M Badri, L Badri J. Object Technol. 6 (4), 77-102, 2007 | 20 | 2007 |
| A novel test case generation approach based on auml sequence diagram NEH Dehimi, F Mokhati 2019 International Conference on Networking and Advanced Systems (ICNAS), 1-4, 2019 | 16 | 2019 |
| QM4MAS: a quality model for multi-agent systems T Marir, F Mokhati, H Bouchlaghem-Seridi, Y Acid, M Bouzid International Journal of Computer Applications in Technology 54 (4), 297-310, 2016 | 16 | 2016 |
| Testing HMAS-based applications: An ASPECS-based approach NEH Dehimi, F Mokhati, M Badri Engineering Applications of Artificial Intelligence 46, 232-257, 2015 | 14 | 2015 |
| Monitoring open multi-agent systems: An aspect-oriented programming based approach MS Chebout, F Mokhati, M Badri, MC Babahenini Multiagent and Grid Systems 15 (2), 155-177, 2019 | 12 | 2019 |
| A formal framework for organization-centered multi-agent system specification: A rewriting logic based approach MA Laouadi, F Mokhati, H Seridi-Bouchelaghem Multiagent and Grid Systems 13 (4), 395-419, 2017 | 11 | 2017 |
| A tool for specifying and validating agents’ interaction protocols: From Agent UML to Maude F Mokhati, B Sahraoui, S Bouzaher, MT Kimour Object Technology 9 (3), 2010 | 10 | 2010 |
| Norjade: An open source jade-based framework for programming normative multi-agent systems T Marir, F Mokhati, A Gherbi, A Bali International Journal of Open Source Software and Processes (IJOSSP) 10 (2 …, 2019 | 9 | 2019 |
| Complexity measurement of multi-agent systems T Marir, F Mokhati, H Bouchelaghem-Seridi, Z Tamrabet Multiagent System Technologies: 12th German Conference, MATES 2014 …, 2014 | 9 | 2014 |
| Social web services discovery: A community-based approach A Metrouh, F Mokhati Proceedings of international conference on information integration and web …, 2013 | 9 | 2013 |
| Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. F Mokhati, M Badri, P Gagnon SEKE 6, 572-577, 2006 | 9 | 2006 |
| Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols F Mokhati, M Badri, L Badri, F Hamidane, S Bouazdia International Journal of Agent-Oriented Software Engineering 2 (4), 422-448, 2008 | 8 | 2008 |
| Assessing the effect of aspect refactoring on multi-agent applications: a dynamic analysis MS Chebout, F Mokhati, M Badri International Journal of Agent Technologies and Systems (IJATS) 7 (3), 45-66, 2015 | 7 | 2015 |
| Towards formalising use case maps in Maude strategy language: application to multi–agent systems F Mokhati, Y Menassel International journal of computer applications in technology 47 (2-3), 138-151, 2013 | 7 | 2013 |
| A formal framework supporting the specification of the interactions between agents F Mokhati, M Badri, L Badri Informatica 30 (1), 2006 | 7 | 2006 |
| Specifying dima multi-agents models using maude N Boudiaf, F Mokhati, M Badri, L Badri Pacific Rim International Workshop on Multi-Agents, 29-42, 2004 | 7 | 2004 |
| Spubbin: Smart public bin based on deep learning waste classification an iot system for smart environment in algeria S Bourougaa-Tria, F Mokhati, HE Tria, O Bouziane Informatica 46 (8), 2022 | 6 | 2022 |
