Direction Générale de la Recherche Scientifique et du Développement Technologique
Research Laboratory on Computer Science's Complex Systems          Laboratoire de Recherche sur les Systèmes Informatiques Complexes    
University d'Oum El Bouaghi
Marir
Dr. Toufik MARIR
Maitre de Conférences A
Département de Mathématiques et Informatique
Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie
Université d'Oum El Bouaghi (Larbi Ben M'Hidi)
B.P.358 route de Constantine, Oum El Bouaghi 04000, Algérie.

E-mail: marir.toufik at univ-oeb.dz / marir.toufik at yahoo.fr
Télécharger mon CV

2019:
Habilitation Universitaire.
Université Larbi Ben M'Hidi - Oum El Bouaghi - Algérie.

2015
Doctorat en sciences en Informatique
Option: Intelligence Artificielle.
Thème: "Une démarche d’assurance qualité pour les systèmes multi-agents. "
Directeur de thèse: Pr. Farid MOKHATI.
Co-directrice de thèse: Pr. Hassina  BOUCHLAGHEM-SERIDI.
Mention : Très honorable avec la félicitation du jury.
Université d'Annaba.

2009
Magister en informatique.
Option: (GL & IA)
Dans le cadre de l'Ecole Doctorale en Informatique de l'Est - Pôle Constantine.
Thème: "Vérification et validation des systèmes multi-agents temps réels".
Sous la direction de: Pr. Hassina  BOUCHLAGHEM-SERIDI & Pr. Farid MOKHATI.
Université de Khenchela - Algérie.

2006
Ingénieur d’état en Informatique
Option : Systèmes Parallèles et Distribués
Thème: "Vérification et validation des systèmes multi-agents - Une approche basée sur la méthode RCA"
Encadré par:   Pr. Farid MOKHATI.
Université d’Oum El Bouaghi

2001
Baccalauréat
Option: Science de la nature et de la vie
Lycée Boughdiri Mokhtar, Ain Touila - Khenchela
Titres & Diplômes:
Enseignement:

Publications:

Publications dans des revues internationales à comité de lecture:
Actes de Conférences Internationales à Comité de Lecture:
1.
Toufik Marir, Selma Mammeri, Rohallah Benaboud
Programming Multi-Agent Coordination Using NorJADE Framework
Research and Evidence in Software Engineering: From Empirical Studies to Open Source Artifacts,
TAYLOR & FRANCIS, Accepted on August, 2020.
2.
Benaboud, Rohallah and Toufik Marir.
Web Services Reputation Based on Consumer Preferences.
Novel Approaches to Information Systems Design, edited by Naveen Prakash and Deepika Prakash, IGI Global, 2020, pp. 123-136.
URL: http://doi:10.4018/978-1-7998-2975-1.ch006
URL: https://www.igi-global.com/chapter/web-services-reputation-based-on-consumer-preferences/246737
3.
Rohallah Benaboud and Toufik Marir
Flexibility measurement model of multi-agent systems.
Multiagent and Grid Systems. 16(3): 309-341 (2020)
4.
Toufik Marir, Abd el heq Silem, Farid Mokhati, Abdelouahed Gherbi, Ahmed Bali
NorJADE - An Open Source JADE-Based Framework for Programming Normative Multi-Agent Systems,
International Journal of Open Source Software and Processes (IJOSSP), Volume 10, Issue 2, 2019, IGI-Global.
5.
Zouheyr Tamrabet, Toufik Marir, Farid Mokhati
A Survey on Quality Attributes and Quality Models for Embedded Software
International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Volume 9, Issue 2, 1 - 17, 2018, IGI-Global.
URL: https://www.igi-global.com/article/a-survey-on-quality-attributes-and-quality-models-for-embedded-software/204480
6.
Toufik MARIR, Farid MOKHATI, Hassina BOUCHLAGHEM-SERIDI, Youghourta ACID, Maroua BOUZID
QM4MAS: A Quality Model for Multi-Agent Systems.
International Journal of Computer Applications in Technology, 2016, vol. 54, no 4, p. 297-310.
Publisher: Inderscience.
DOI: 10.1504/IJCAT.2016.080485
ISSN online: 1741-5047, ISSN print: 0952-8091
URL: http://www.inderscience.com/offer.php?id=80485

7.
Toufik MARIR, Farid MOKHATI, Zina MECIBAH
Tool for Visualizing ARTIS Agents Specification
International Journal of Computer Applications, Volume 34- No.9, November 2011, PP. 49-56, 2011.
DOI: 10.5120/4052-5692.
URL: http://ijcaonline.org/archives/volume34/number9/4142-5692
8.
Farid Mokhati, Hamza Merouani, M.Amine Laouadi, Toufik Marir
DIMA-RTMaude: A Formal Framework for Specifying DIMA Multi-Agents’ Real Time Aspects
International Review on Computers and Software - May 2009.
URL: http://www.praiseworthyprize.com/IRECOS-latest/IRECOS_vol_4_n_3.html#DIMA-RTMaude:_A_Formal_Framework_for_Specifying_DIMA_Multi-Agents%E2%80%99_Real_Time_Aspects
Projets:

Outils:

Actes de Conférences Nationales à Comité de Lecture:
1.
Toufik Marir, Hadjer Mallek, Sihem Oubadi,  Abd El Heq Silem,
Rationality Measurement for Jadex-Based Applications,
Med Salim Bouhlel & Stefano Rovetta (Eds), The international
The Conference on the Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2018),
Genoa-Italy & Hammamet-Tunisia, December 18-20, 2018.
2.
Toufik Marir, Farid Mokhati, Abderezak Djerrab
Quality Measurement for Jadex-Based Applications
The 3rd International Symposium on Informatics and its Applications,
M’sila, Algérie, 7-8 Novembre 2018.
3.
Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem, Boubakar Benaissa
Dynamic Metrics for Multi-agent Systems Using Aspect-Oriented Programming - Application to DIMA Platform.
German Conference on Multiagent System Technologies, MATES 2016: Multiagent System Technologies, pp 58-72
DOI: 10.1007/978-3-319-45889-2_5
URL: https://link.springer.com/chapter/10.1007/978-3-319-45889-2_5
4.
Toufik MARIR, Farid MOKHATI, Hassina BOUCHLAGHEM-SERIDI, Zouheyr TAMRABET
Complexity Measurement of Multi-Agent Systems
J.P. Müller, M. Weyrich, and A.L.C. Bazzan (Eds.): MATES 2014,
LNAI 8732, pp. 188-201, Springer, 2014. (DOI: 10.1007/978-3-319-11584-9_13).
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-11584-9_13
5.
Toufik MARIR
Quality Assessment of Multi-Agent Systems
In S. Lehnhoff (Ed) MATES Doctoral Consortium 2014,
IfI Technical Report Series, IfI-14-04, Institut für Informatik, Technische Universität Clausthal, 2014.
URL: http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1404lehnhoff.pdf

6.
Toufik MARIR, Farid MOKHATI, Hassina BOUCHLAGHEM-SERIDI
Do We Need Specific Quality Models for Multi-Agent Systems? Toward Using The ISO/IEC 25010 Quality Model for MAS.
A. Holzinger, T. Libourel, L. A. Maciaszek, S. J. Mellor (Eds.):
ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications,  Vienna,  Austria,  29-31  August,  2014.
URL:
http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0005097303630368
7.
Toufik MARIR, Farid MOKHATI, Hassina BOUCHLAGHEM-SERIDI
Formalizing SIMBA RTMAS Models using Real-time Maude.
Joaquim, F., Ana L. N. Fred (Eds.): ICAART 2013 Volume 1, Barcelona, Spain, 15-18 February, 2013.
URL: http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004259904110414
8.
Toufik MARIR, Farid MOKHATI, Hassina BOUCHLAGHEM-SERIDI
Applying Model Checking to ARTIS Model Verification
11th International Conference on Science and Technique of Automatic control & computer engineering (STA’2010), Academic Publication Center - Tunisia, 2010.
URL: http://www.sta-tn.com/
9.
Toufik MARIR, Farid MOKHATI, Hassina BOUCHLAGHEM-SERIDI
Formalizing ARTIS Agent Model Using RT-Maude
Dans L. Braubach et al. (Eds.): MATES 2009, LNAI 5774, pp. 226-231, Springer 2009
DOI : 10.1007/978-3-642-04143-3_24
URL: http://link.springer.com/chapter/10.1007/978-3-642-04143-3_24
Domaines d'intérêt:

Liens utiles:

Domaines d'intérêt:

Liens utiles:

Dernière Mise à jour le: 05/12/2020

   2013-2015
Maitre Assistant A
Université d'Oum El Bouaghi - Département de Mathématiques et Informatique
2014-2015 - Réseaux (Cours, TD)
- Initiation à l’Algorithmique (TD)
- Réseaux (TP)
- Sécurité Informatique (Cours, TD, TP)
03 ème Année Licence Inf.
01 ère Année MI
02 ème Année Licence Inf.
03 ème Année licence TI.
2013-2014 - Réseaux (Cours, TD)
- Informatique 1 (TP)
- ASD 2 (TP)
03 ème Année Licence Inf.
01 ère Année MI
02 ème Année Licence Inf.
2009-2013
Maitre Assistant B
Université d'Oum El Bouaghi - Département de Mathématiques et Informatique
2012-2013 - Réseaux (Cours, TD)
- Technologies Web (TP)
- Algorithmes distribués (Mini Projet)
03 ème Année Licence Inf.
01 ère Année MI
01ère Année Master Inf.
2011-2012 - Réseaux (Cours, TD)
- ASD 1 (Cours, TD)
- ASD 2 (Cours, TD, TP)
03 ème Année Licence Inf.
02 ème Année Licence Inf.
02 ème Année Licence Inf.
2010-2011 - Réseaux (Cours, TD)
- ASD 1 (TD)
- Technologies Web (TP)
03 ème Année Licence Inf.
02 ème Année Licence Inf.
01 ère Année MI
2009-2010 - Réseaux (Cours, TD)
- Calcul formel (TP)
03 ème Année Licence Inf.
01 ère Année MI
   2007-2009
Enseignant Vacataire
Université d'Oum El Bouaghi - Département d'informatique
2008-2009 - Interface Homme-Machine (IHM) 04 ème  Année Informatique (Ing)
2007-2008 - Génie Logiciel I (Cours, TD) 03 ème  Année Informatique (Ing)

Since 2019
PRFU project : Quality Assurance of Embedded Intelligent Systems
OrganizationUniversity of Oum El Bouaghi

2014 - 2019
CNEPRU Project: Engineering and Reengineering of intelligent Distributed Systems
Code B*030201400014
OrganizationUniversity of Oum El Bouaghi

2011 - 2014
CNEPRU Project: Quality Assurance form Multi-Agent Applications
Code B*03020110006
OrganizationUniversity of Oum El Bouaghi

2008 - 2011
CNEPRU Project: Verification and Validation of Real-Time Multi-Agent Systems - Applications to Imagery Field
Code B*03020080003
Organization University of Oum El Bouaghi
1.
Toufik Marir
The visualization of the static and evolutionary aspects of an ARTIS agent
Study days on Artificial Intelligence and its Applications (JEIAA2018)
Oum El Bouaghi, December 11-12, 2018