default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Farid Mokhati
@article{DBLP:journals/mags/MenasselMM23,
author = {Yahia Menassel and
Toufik Marir and
Farid Mokhati},
title = {Operational profile development methodology for normative multi-agent
systems},
journal = {Multiagent Grid Syst.},
volume = {19},
number = {1},
pages = {1--22},
year = {2023},
url = {https://doi.org/10.3233/MGS-221507},
doi = {10.3233/MGS-221507},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mags/MenasselMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/AyyoubBMB23,
author = {Kalache Ayyoub and
Mourad Badri and
Farid Mokhati and
Mohamed Chaouki Babahenini},
title = {A testing framework for {JADE} agent-based software},
journal = {Multiagent Grid Syst.},
volume = {19},
number = {1},
pages = {61--98},
year = {2023},
url = {https://doi.org/10.3233/MGS-230023},
doi = {10.3233/MGS-230023},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mags/AyyoubBMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/TamrabetMM22,
author = {Zouheyr Tamrabet and
Toufik Marir and
Farid Mokhati},
title = {ESQuMo: An Embedded Software Quality Model},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {13},
number = {1},
pages = {1--18},
year = {2022},
url = {https://doi.org/10.4018/IJERTCS.289201},
doi = {10.4018/IJERTCS.289201},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijertcs/TamrabetMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/Bourougaa-TriaM22,
author = {Salima Bourougaa{-}Tria and
Farid Mokhati and
Houssemeddine Tria and
Okba Bouziane},
title = {SPubBin: Smart Public Bin Based on Deep Learning Waste classification
An {IOT} system for Smart environment in Algeria},
journal = {Informatica (Slovenia)},
volume = {46},
number = {8},
year = {2022},
url = {https://doi.org/10.31449/inf.v46i8.4331},
doi = {10.31449/INF.V46I8.4331},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/Bourougaa-TriaM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/Bourougaa-TriaM22a,
author = {Salima Bourougaa{-}Tria and
Farid Mokhati and
Houssemeddine Tria and
Okba Bouziane},
title = {SPubBin: Smart Public Bin Based on Deep Learning Waste classification
An {IOT} system for Smart environment in Algeria},
journal = {Informatica (Slovenia)},
volume = {46},
number = {8},
year = {2022},
url = {https://doi.org/10.31449/inf.v46i7.4331},
doi = {10.31449/INF.V46I7.4331},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/Bourougaa-TriaM22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/CheboutMB22,
author = {Mohamed Sedik Chebout and
Farid Mokhati and
Mourad Badri},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {{NC4OMAS:} {A} Norms-based Approach for Open Multi-Agent Systems Controllability},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 1, Online Streaming, February
3-5, 2022},
pages = {164--171},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010793600003116},
doi = {10.5220/0010793600003116},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/CheboutMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwltt/BoussahaMH21,
author = {Karima Boussaha and
Farid Mokhati and
Amira Hanneche},
title = {System-Based Ontology for Assessing Learner's Programming Practical
Works Activities (S{\_}Onto{\_}ALPPWA)},
journal = {Int. J. Web Based Learn. Teach. Technol.},
volume = {16},
number = {5},
pages = {80--107},
year = {2021},
url = {https://doi.org/10.4018/ijwltt.20210901.oa5},
doi = {10.4018/IJWLTT.20210901.OA5},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwltt/BoussahaMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/GhriebMG21,
author = {Nawel Ghrieb and
Farid Mokhati and
Tahar Guerram},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Maintaining Organizational Multi-agent Systems: {A} Reorganization-based
Preventive Approach},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 1, Online Streaming, February
4-6, 2021},
pages = {384--389},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010314803840389},
doi = {10.5220/0010314803840389},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/GhriebMG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/GhriebMGG20,
author = {Nawel Ghrieb and
Farid Mokhati and
Mostafa Anouar Ghorab and
Tahar Guerram},
title = {Towards a preventive maintenance approach for multi-agent applications},
journal = {Multiagent Grid Syst.},
volume = {16},
number = {1},
pages = {83--99},
year = {2020},
url = {https://doi.org/10.3233/MGS-200322},
doi = {10.3233/MGS-200322},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/GhriebMGG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijossp/MarirEMGA19,
author = {Toufik Marir and
Abd El Heq Silem and
Farid Mokhati and
Abdelouahed Gherbi and
Bali Ahmed},
title = {NorJADE: An Open Source JADE-Based Framework for Programming Normative
Multi-Agent Systems},
journal = {Int. J. Open Source Softw. Process.},
volume = {10},
number = {2},
pages = {1--20},
year = {2019},
url = {https://doi.org/10.4018/IJOSSP.2019040101},
doi = {10.4018/IJOSSP.2019040101},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijossp/MarirEMGA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/CheboutMBB19,
author = {Mohamed Sedik Chebout and
Farid Mokhati and
Mourad Badri and
Mohamed Chaouki Babahenini},
title = {Monitoring open multi-agent systems: An aspect-oriented programming
based approach},
journal = {Multiagent Grid Syst.},
volume = {15},
number = {2},
pages = {155--177},
year = {2019},
url = {https://doi.org/10.3233/MGS-190307},
doi = {10.3233/MGS-190307},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/CheboutMBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/TamrabetMM18,
author = {Zouheyr Tamrabet and
Toufik Marir and
Farid Mokhati},
title = {A Survey on Quality Attributes and Quality Models for Embedded Software},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {9},
number = {2},
pages = {1--17},
year = {2018},
url = {https://doi.org/10.4018/IJERTCS.2018070101},
doi = {10.4018/IJERTCS.2018070101},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijertcs/TamrabetMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/MetrouhM18,
author = {Abdelmalek Metrouh and
Farid Mokhati},
title = {Flexible Web services integration: a novel personalised social approach},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {30},
number = {3},
pages = {441--456},
year = {2018},
url = {https://doi.org/10.1080/0952813X.2018.1430862},
doi = {10.1080/0952813X.2018.1430862},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/MetrouhM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/DehimiGTM18,
author = {Nour El Houda Dehimi and
Tahar Guerram and
Zakaria Tolba and
Farid Mokhati},
title = {A novel distributed dynamic planning approach based on constraint
satisfaction},
journal = {Multiagent Grid Syst.},
volume = {14},
number = {3},
pages = {243--261},
year = {2018},
url = {https://doi.org/10.3233/MGS-180290},
doi = {10.3233/MGS-180290},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/DehimiGTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/MazouzMB17,
author = {Mihoub Mazouz and
Farid Mokhati and
Mourad Badri},
title = {Formal Development of Multi-Agent Systems with {FPASSI:} Towards Formalizing
{PASSI} Methodology using Rewriting Logic},
journal = {Informatica (Slovenia)},
volume = {41},
number = {2},
year = {2017},
url = {http://www.informatica.si/index.php/informatica/article/view/1271},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/MazouzMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/ZerrouguiMBB17,
author = {Salim Zerrougui and
Farid Mokhati and
Mourad Badri and
Mohamed Chaouki Babahenini},
title = {A novel approach for scalability and performance enhancement in {JADE}},
journal = {Multiagent Grid Syst.},
volume = {13},
number = {2},
pages = {177--201},
year = {2017},
url = {https://doi.org/10.3233/MGS-170267},
doi = {10.3233/MGS-170267},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/ZerrouguiMBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/LaouadiMS17,
author = {Mohamed Amin Laouadi and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
title = {A formal framework for organization- centered multi-agent system specification:
{A} rewriting logic based approach},
journal = {Multiagent Grid Syst.},
volume = {13},
number = {4},
pages = {395--419},
year = {2017},
url = {https://doi.org/10.3233/MGS-170277},
doi = {10.3233/MGS-170277},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/LaouadiMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/MarirMSAB16,
author = {Toufik Marir and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem and
Youghourta Acid and
Maroua Bouzid},
title = {{QM4MAS:} a quality model for multi-agent systems},
journal = {Int. J. Comput. Appl. Technol.},
volume = {54},
number = {4},
pages = {297--310},
year = {2016},
url = {https://doi.org/10.1504/IJCAT.2016.10001315},
doi = {10.1504/IJCAT.2016.10001315},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcat/MarirMSAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/Bourougaa-TriaS16,
author = {Salima Bourougaa{-}Tria and
Hassina Seridi{-}Bouchelaghem and
Farid Mokhati},
title = {An Ontology-Based Context Model to manage Users Preferences and Conflicts},
journal = {Informatica (Slovenia)},
volume = {40},
number = {1},
year = {2016},
url = {http://www.informatica.si/index.php/informatica/article/view/770},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/Bourougaa-TriaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/CheboutMBB16,
author = {Mohamed Sedik Chebout and
Farid Mokhati and
Mourad Badri and
Mohamed Chaouki Babahenini},
editor = {Oleg Gusikhin and
Dimitri Peaucelle and
Kurosh Madani},
title = {Towards Preventive Control for Open {MAS} - An Aspect-based Approach},
booktitle = {Proceedings of the 13th International Conference on Informatics in
Control, Automation and Robotics {(ICINCO} 2016) - Volume 1, Lisbon,
Portugal, July 29-31, 2016},
pages = {269--274},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0006005602690274},
doi = {10.5220/0006005602690274},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/CheboutMBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/MarirMSB16,
author = {Toufik Marir and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem and
Boubakar Benaissa},
editor = {Matthias Klusch and
Rainer Unland and
Onn Shehory and
Alexander Pokahr and
Sebastian Ahrndt},
title = {Dynamic Metrics for Multi-agent Systems Using Aspect-Oriented Programming
- Application to {DIMA} Platform},
booktitle = {Multiagent System Technologies - 14th German Conference, {MATES} 2016,
Klagenfurt, {\"{O}}sterreich, September 27-30, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9872},
pages = {58--72},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45889-2\_5},
doi = {10.1007/978-3-319-45889-2\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/MarirMSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medprai/MetrouhM16,
author = {Abdelmalek Metrouh and
Farid Mokhati},
editor = {Chawki Djeddi and
Imran Siddiqi and
Akram Bennour and
Youcef Chibani and
Haikal El Abed},
title = {A Novel Social Networks Approach Based on QoS for Web Services Selection},
booktitle = {Proceedings of the Mediterranean Conference on Pattern Recognition
and Artificial Intelligence, MedPRAI 2016, Tebessa, Algeria, November
22-23, 2016},
pages = {92--97},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3038884.3038899},
doi = {10.1145/3038884.3038899},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medprai/MetrouhM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/DehimiMB15,
author = {Nour El Houda Dehimi and
Farid Mokhati and
Mourad Badri},
title = {Testing HMAS-based applications: An ASPECS-based approach},
journal = {Eng. Appl. Artif. Intell.},
volume = {46},
pages = {232--257},
year = {2015},
url = {https://doi.org/10.1016/j.engappai.2015.09.013},
doi = {10.1016/J.ENGAPPAI.2015.09.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/DehimiMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijats/CheboutMB15,
author = {Mohamed Sedik Chebout and
Farid Mokhati and
Mourad Badri},
title = {Assessing the Effect of Aspect Refactoring on Multi-Agent Applications:
{A} Dynamic Analysis},
journal = {Int. J. Agent Technol. Syst.},
volume = {7},
number = {3},
pages = {45--66},
year = {2015},
url = {https://doi.org/10.4018/IJATS.2015070103},
doi = {10.4018/IJATS.2015070103},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijats/CheboutMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MazouzMB15,
author = {Mihoub Mazouz and
Farid Mokhati and
Mourad Badri},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Towards an Explicit Bidirectional Requirement-to-Code Traceability
Meta-model for the {PASSI} Methodology},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January,
2015},
pages = {203--209},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:41:33 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MazouzMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijats/AyyoubMB14,
author = {Kalache Ayyoub and
Farid Mokhati and
Mourad Badri},
title = {Towards a New Approach for Controlling the Reorganization Process
of Multi-Agent Systems},
journal = {Int. J. Agent Technol. Syst.},
volume = {6},
number = {2},
pages = {73--91},
year = {2014},
url = {https://doi.org/10.4018/ijats.2014040104},
doi = {10.4018/IJATS.2014040104},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijats/AyyoubMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ZerrouguiMB14,
author = {Salim Zerrougui and
Farid Mokhati and
Mourad Badri},
title = {Toward a new aspect-mining approach for multi-agent systems},
journal = {J. Syst. Softw.},
volume = {98},
pages = {9--24},
year = {2014},
url = {https://doi.org/10.1016/j.jss.2014.08.030},
doi = {10.1016/J.JSS.2014.08.030},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ZerrouguiMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MerouaniMS14,
author = {Hamza Merouani and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
editor = {Slimane Hammoudi and
Leszek A. Maciaszek and
Jos{\'{e}} Cordeiro},
title = {Formalizing Artifact-Centric Business Processes - Towards a Conformance
Testing Approach},
booktitle = {{ICEIS} 2014 - Proceedings of the 16th International Conference on
Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30
April, 2014},
pages = {368--374},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004951803680374},
doi = {10.5220/0004951803680374},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MerouaniMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/MarirMS14,
author = {Toufik Marir and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
editor = {Andreas Holzinger and
Th{\'{e}}r{\`{e}}se Libourel and
Leszek A. Maciaszek and
Stephen J. Mellor},
title = {Do We Need Specific Quality Models for Multi-Agent Systems? - Toward
Using the {ISO/IEC} 25010 Quality Model for {MAS}},
booktitle = {{ICSOFT-EA} 2014 - Proceedings of the 9th International Conference
on Software Engineering and Applications, Vienna, Austria, 29-31 August,
2014},
pages = {363--368},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005097303630368},
doi = {10.5220/0005097303630368},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/MarirMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/MarirMST14,
author = {Toufik Marir and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem and
Zouheyr Tamrabet},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Michael Weyrich and
Ana L. C. Bazzan},
title = {Complexity Measurement of Multi-Agent Systems},
booktitle = {Multiagent System Technologies - 12th German Conference, {MATES} 2014,
Stuttgart, Germany, September 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8732},
pages = {188--201},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11584-9\_13},
doi = {10.1007/978-3-319-11584-9\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/MarirMST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/MokhatiM13,
author = {Farid Mokhati and
Yahia Menassel},
title = {Towards formalising use case maps in Maude strategy language: application
to multi-agent systems},
journal = {Int. J. Comput. Appl. Technol.},
volume = {47},
number = {2/3},
pages = {138--151},
year = {2013},
url = {https://doi.org/10.1504/IJCAT.2013.054347},
doi = {10.1504/IJCAT.2013.054347},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcat/MokhatiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MarirMS13,
author = {Toufik Marir and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Formalizing {SIMBA} {RTMAS} Models using Real-time Maude},
booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on
Agents and Artificial Intelligence, Volume 1, Barcelona, Spain, 15-18
February, 2013},
pages = {411--414},
publisher = {SciTePress},
year = {2013},
timestamp = {Tue, 01 Oct 2013 15:40:25 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MarirMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/MetrouhM13,
author = {Abdelmalek Metrouh and
Farid Mokhati},
editor = {Edgar R. Weippl and
Maria Indrawan{-}Santiago and
Matthias Steinbauer and
Gabriele Kotsis and
Ismail Khalil},
title = {Social Web Services Discovery: {A} Community-Based Approach},
booktitle = {The 15th International Conference on Information Integration and Web-based
Applications {\&} Services, {IIWAS} '13, Vienna, Austria, December
2-4, 2013},
pages = {275},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2539150.2539257},
doi = {10.1145/2539150.2539257},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iiwas/MetrouhM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/BoussahaMT12,
author = {Karima Boussaha and
Farid Mokhati and
Nora Taleb},
editor = {Markus Helfert and
Maria Jo{\~{a}}o Martins and
Jos{\'{e}} Cordeiro},
title = {A Novel Learner Self-assessment Approach - Application to Pratical
Works},
booktitle = {{CSEDU} 2012 - Proceedings of the 4th International Conference on
Computer Supported Education, Volume 2, Porto, Portugal, 16-18 April,
2012},
pages = {144--148},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 29 May 2012 08:24:37 +0200},
biburl = {https://dblp.org/rec/conf/csedu/BoussahaMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/MenasselM12,
author = {Yahia Menassel and
Farid Mokhati},
editor = {Kecheng Liu and
Joaquim Filipe},
title = {A Novel Formalization Process for Use Case Maps},
booktitle = {{KMIS} 2012 - Proceedings of the International Conference on Knowledge
Management and Information Sharing, Barcelona, Spain, 4-7 October,
2012},
pages = {307--310},
publisher = {SciTePress},
year = {2012},
timestamp = {Thu, 06 Dec 2012 15:33:25 +0100},
biburl = {https://dblp.org/rec/conf/ic3k/MenasselM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/Bourougaa-TriaSM12,
author = {Salima Bourougaa{-}Tria and
Hassina Seridi{-}Bouchelaghem and
Farid Mokhati},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {Management of User Preferences and Conflicts to Ubiquitous Applications
Adaptation},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {271--276},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 21 Aug 2012 14:19:32 +0200},
biburl = {https://dblp.org/rec/conf/iceis/Bourougaa-TriaSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MetrouhSM12,
author = {Abdelmalek Metrouh and
Hassina Seridi{-}Bouchelaghem and
Farid Mokhati},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {Web Services Discovery - {A} Novel Social Networks Approach based
on Communities},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {316--319},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 21 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MetrouhSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/MokhatiSBK10,
author = {Farid Mokhati and
Brahim Sahraoui and
Soufiane Bouzaher and
Mohamed Tahar Kimour},
title = {A Tool for Specifying and Validating Agents' Interaction Protocols:
From Agent {UML} to Maude},
journal = {J. Object Technol.},
volume = {9},
number = {3},
pages = {59--77},
year = {2010},
url = {https://doi.org/10.5381/jot.2010.9.3.a2},
doi = {10.5381/JOT.2010.9.3.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/MokhatiSBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswsa/MerouaniMS10,
author = {Hamza Merouani and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
editor = {Ayman Jameel Alnsour and
Shadi A. Aljawarneh},
title = {Towards formalizing web service composition in Maude's strategy language},
booktitle = {Proceedings of the 1st International Conference on Intelligent Semantic
Web-Services and Applications, {ISWSA} 2010, Amman, Jordan, June 14-16,
2010},
pages = {15},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1874590.1874605},
doi = {10.1145/1874590.1874605},
timestamp = {Mon, 26 Oct 2020 08:17:50 +0100},
biburl = {https://dblp.org/rec/conf/iswsa/MerouaniMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/LaouadiMS10,
author = {Mohamed Amin Laouadi and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
editor = {J{\"{u}}rgen Dix and
Cees Witteveen},
title = {A Novel Formal Specification Approach for Real Time Multi-Agent System
Functional Requirements},
booktitle = {Multiagent System Technologies, 8th German Conference, {MATES} 2010,
Leipzig, Germany, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6251},
pages = {15--27},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16178-0\_4},
doi = {10.1007/978-3-642-16178-0\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/LaouadiMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/MokhatiB09,
author = {Farid Mokhati and
Mourad Badri},
title = {Generating Maude Specifications From {UML} Use Case Diagrams},
journal = {J. Object Technol.},
volume = {8},
number = {2},
pages = {319--136},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.2.a2},
doi = {10.5381/JOT.2009.8.2.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/MokhatiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/MarirMS09,
author = {Toufik Marir and
Farid Mokhati and
Hassina Seridi{-}Bouchelaghem},
editor = {Lars Braubach and
Wiebe van der Hoek and
Paolo Petta and
Alexander Pokahr},
title = {Formalizing {ARTIS} Agent Model Using RT-Maude},
booktitle = {Multiagent System Technologies, 7th German Conference, {MATES} 2009,
Hamburg, Germany, September 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5774},
pages = {226--231},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04143-3\_24},
doi = {10.1007/978-3-642-04143-3\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/MarirMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/MokhatiBBHB08,
author = {Farid Mokhati and
Mourad Badri and
Linda Badri and
Fathi Hamidane and
Sofiane Bouazdia},
title = {Automated testing sequences generation from {AUML} diagrams: a formal
verification of agents' interaction protocols},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {2},
number = {4},
pages = {422--448},
year = {2008},
url = {https://doi.org/10.1504/IJAOSE.2008.020139},
doi = {10.1504/IJAOSE.2008.020139},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/MokhatiBBHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/BoudiafMB08,
author = {Noura Boudiaf and
Farid Mokhati and
Mourad Badri},
title = {Supporting Formal Verification of {DIMA} Multi-Agents Models: towards
a Framework Based on Maude Model Checking},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {18},
number = {7},
pages = {853--875},
year = {2008},
url = {https://doi.org/10.1142/S021819400800391X},
doi = {10.1142/S021819400800391X},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/BoudiafMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/GagnonMB08,
author = {Patrice Gagnon and
Farid Mokhati and
Mourad Badri},
title = {Applying Model Checking to Concurrent {UML} Models},
journal = {J. Object Technol.},
volume = {7},
number = {1},
pages = {59--84},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.1.a1},
doi = {10.5381/JOT.2008.7.1.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/GagnonMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/MokhatiBB07,
author = {Farid Mokhati and
Mourad Badri and
Linda Badri},
title = {A Formal Framework Supporting the Specification of the Interactions
between Agents},
journal = {Informatica (Slovenia)},
volume = {31},
number = {3},
pages = {337--350},
year = {2007},
url = {http://www.informatica.si/index.php/informatica/article/view/154},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/MokhatiBB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/MokhatiBBB07,
author = {Farid Mokhati and
Noura Boudiaf and
Mourad Badri and
Linda Badri},
title = {Translating {AUML} Diagrams into Maude Specifications: {A} Formal
Verification of Agents Interaction Protocols},
journal = {J. Object Technol.},
volume = {6},
number = {4},
pages = {77--102},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.4.a2},
doi = {10.5381/JOT.2007.6.4.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/MokhatiBBB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/MokhatiGB07,
author = {Farid Mokhati and
Patrice Gagnon and
Mourad Badri},
title = {Verifying {UML} Diagrams with Model Checking: {A} Rewriting Logic
Based Approach},
booktitle = {Seventh International Conference on Quality Software {(QSIC} 2007),
11-12 October 2007, Portland, Oregon, {USA}},
pages = {356--362},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/QSIC.2007.69},
doi = {10.1109/QSIC.2007.69},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/MokhatiGB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/MokhatiBB06,
author = {Farid Mokhati and
Mourad Badri and
Linda Badri},
title = {A Formal Framework Supporting the Specification of the Interactions
between Agents},
journal = {Informatica (Slovenia)},
volume = {30},
number = {1},
pages = {97--110},
year = {2006},
url = {http://www.informatica.si/index.php/informatica/article/view/78},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/MokhatiBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcmse/MokhatiBBB06,
author = {Farid Mokhati and
Noura Boudiaf and
Linda Badri and
Mourad Badri},
title = {Generating Maude formal specifications from {AUML} diagrams},
journal = {J. Comput. Methods Sci. Eng.},
volume = {6},
number = {5-6},
pages = {73--89},
year = {2006},
url = {https://doi.org/10.3233/jcm-2006-6s107},
doi = {10.3233/JCM-2006-6S107},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcmse/MokhatiBBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/MokhatiBG06,
author = {Farid Mokhati and
Mourad Badri and
Patrice Gagnon},
editor = {Kang Zhang and
George Spanoudakis and
Giuseppe Visaggio},
title = {Translating {UML} Diagrams Into Maude Formal Specifications: {A} Systematic
Approach},
booktitle = {Proceedings of the Eighteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
CA, USA, July 5-7, 2006},
pages = {572--577},
year = {2006},
timestamp = {Thu, 15 Aug 2024 07:54:35 +0200},
biburl = {https://dblp.org/rec/conf/seke/MokhatiBG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BoudiafMBB04,
author = {Noura Boudiaf and
Farid Mokhati and
Mourad Badri and
Linda Badri},
editor = {Mike Barley and
Nikola K. Kasabov},
title = {Specifying {DIMA} Multi-agents Models Using Maude},
booktitle = {Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International
Workshop on Multi-Agents, {PRIMA} 2004, Auckland, New Zealand, August
8-13, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3371},
pages = {29--42},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32128-6\_3},
doi = {10.1007/978-3-540-32128-6\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/BoudiafMBB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-05-08 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
