• PROFIL ENSEIGNANT

KITOUNI Ilham

avatar

KITOUNI Ilham

Maître de conférence classe B

Spécialité : Informatique

Faculté : Nouvelles Technologies de l’Information et de la Communication

Département : Informatique Fondamentale Et Ses Applications

Coordonnées

COORDONNES :

E-mail : ilham.kitouni@univ-constantine2.dz

Téléphone :

Site Web :

Taches Pédagogiques

Modules Enseignés

  • Conduite et Gestion des Projets : Licence 3 (Département d’Informatique fondamentale et ses applications) Université Constantine 2-Abdelhamid Mehri, 2014-2015
  • Electronique des Composants et Systèmes : Tronc commun (Département Tronc commun Math Informatique L1) Université Constantine 2-Abdelhamid Mehri, 2014-2015
  • Théorie des Graphes : Licence 3 (Département d’Informatique fondamentale et ses applications) Université Constantine 2-Abdelhamid Mehri, 2012-2014
  • Sémantique Formelle des Langages de Programmation : Master 1 (Département d’Informatique fondamentale et ses applications) Université Constantine 2-Abdelhamid Mehri, 2012-2014
  • Logique et Fondement de l’Informatique : Master 1 (Département informatique fondamentale et ses applications) Université Constantine 2, 2012-2014
  • Algorithmique et Structure de Données : Tronc commun (Département des Sciences et technologie) Université Mentouri Constantine, 2010-2012

Encadrements

  • Encadrement des mémoires de Master 2 (depuis 2012): Six (08)projets de fin d’études Soutenus.

Co-encadrement de thèses de doctorat (en science et 3eme cycles)dirigées par Pr. Djamel Eddine SAIDOUNI.

  1. Thèse de doctorat 3eme cycle (2011) : HACHICHI Hiba. Intitulé :« Test formel des systèmes temps réel : Approche transformation de graphes ». Thèsesoutenue en 2013.
  2. Thèse de doctorat 3eme cycle (2011) : BOUAROUDJ Kenza,Intitulé :« Test formel des systèmes stochastiques  basé sur la sémantique de maximalité ». Thèse soutenue en 2014.
  3. Thèse de doctorat 3eme cycle (2013) : GUELLATI Souad. Intitulé :« Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité». Thèse soutenue en 2015.
  4. Thèse de doctorat 3eme cycle (2013) : MATMAT Riad.Mots clés : « Systèmes temps réels concurrents, Sémantique de maximalité, Bissimulation temporisée». Thèse en cours de finalisation.
  5. Thèse de doctorat en science (2013) : LAYADI SaidMots clés : « Systèmes temps réelsdynamiques, Systèmes ambiants, Décidabilité ». Thèse en cours.

Activités de recherche

Période : 2010-2015
Au sein de l’équipe CFSC, laboratoire MISC, Université Constantine2.
Dirigée par : Pr. Djamel Eddine SAIDOUNI

Publications et Communications :

Revues internationales:

  1. SouadGuellati, IlhamKitouni, RiadhMatmat and Djamel-EddineSaidouni. True Concurrency Semantics : Towards a Verification of Timed Systems. IGI Global-International Journal of Embedded and Real-Time Communication Systems (IJERTCS).Volume 5, Issue 2. Copyright 2014. 21 pages.
  2. KenzaBouaroudj, IlhamKitouniandDjamelEddineSaidouni: Formel testing of stochastic systems under Maximality semantics. In International journal of computer aided engineering and technologyUnderscience publishers2013 (In Press).
  3. SouadGuellati, IlhamKitouni and Djamel-EddineSaidouni: Verification of durational action timed automata using UPPAL. In: International Journal of Computer Applications (IJCA) 56 (11): 33-41, October 2012. Published by Foundation of Computer Science, New York, USA.
  4. KenzaBouaroudj, IlhamKitouni, HibaHachichiand DjamelEddineSaidouni: Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems. In: The International Journal of Computer Science Issues (IJCSI)Volume 9, Issue 5, September 2012.
  5. IlhamKitouni, HibaHachichi, KenzaBouaroudjand DjamelEddineSaidouni.Timed Refusals Graph for Non-Deterministic Timed Systems.  In: International Journal of Computer Science and Telecommunications (IJCST). Volume 3, Issue 9, September 2012.
  6. IlhamKitouni, HibaHachichi, KenzaBouaroudjand DjamelEddineSaidouni: Durational Actions Timed Automata: Determinization and Expressiveness. In: International Journal of Applied Information Systems (IJAIS) 4(2):1-11, September 2012. Published by Foundation of Computer Science, New York, USA.
  7. HibaHachichi, IlhamKitouni, KenzaBouaroudjand DjamelEddineSaidouni: A Graphical Tool for Testing Timed Systems based on Meta-Modeling and Graph Grammars. In: The International Journal of Computer Science Issues (IJCSI), Volume 9, Issue 4, No 1, July 2012.
  8. IlhamKitouni, HibaHachichi, KenzaBouaroudjand DjamelEddineSaidouni : Reducing Timed Automata: A New Approach. In: International Journal of Information Sciences and Techniques (IJIST)Vol.2, No.4, July 2012.pp 15-27. Published by NCSIP 2012, Gandhigram Rural Institute, India.
  9. HibaHachichi, IlhamKitouni and DjamelEddineSaidouni: Transforming DATA* with Dotty Format to Aggregate Region Automaton. In: International Journal of Computer Applications (IJCA) 37(10):35-42, January 2012. Published by Foundation of Computer Science, New York, USA.

Communications internationales :

  1. SaidLayadi, Jean-Michel Ilié, Ilham Kitouni, Djamel-Eddine Saïdouni. Relative Timed Model for Coordinated Multi Agent Systems”. Computer Science and Its Applications – 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings. 456, P.15-27, Springer 2015, ISBN 978-3-319-19577-3.
  2. RiadhMatmat, IlhamKitouni, SouadGuellati and DjamelEddineSaidouni. Maximality based Region Graph : a Novel Alternative. In the International Conference on Advanced Aspects of Software Engineering (ICAASE’14). November 2 – 4, 2014. Constantine Algeria.
  3. SouadGuellati, IlhamKitouni, RiadhMatmat and DjamelEddineSaidouni. Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. In the 6 th International Conference on Cyber Enabled Distributed Computing and Knowledge Discovery (CyberC 2014), Shanghai, China., October 10 – 12, 2014
  4. SouadGuellati, IlhamKitouni, RiadhMatmat and DjamelEddineSaidouni. Timed Automata with Action Durations From Theory to Implementation. In the 20 th International Conference on Information and Software Technologies (ICIST 2014): ICIST 2014, Springer Verlag CCIS 465, pp. 94109, 2014. Kaunas, Lithuania 2014.
  5. KenzaBouaroudj, DjamelEddineSaidouni, and IlhamKitouni. Testing Stochastic Systems Using MoVoS Tool: Case Studies.:The 19th International Conference on Information and Software TechnologiesICIST 2013. © Springer Verlag CCIS 403, pp. 310–321, 2013.Kaunas, Lithuania. Berlin Heidelberg 2013.
  6. KenzaBouaroudj, IlhamKitouni, HibaHachichi and DjamelEddineSaidouni:Stochastic Refusal Graph for Testing Non Deterministic Systems. In: The International Arab Conference on Information Technology (ACIT’2012).InCCIS, Zarqa University, Jordan, December 10-13, 2012.
  7. HibaHachichi, IlhamKitouni, KenzaBouaroudj and DjamelEddineSaidouni:A Graph Transformation Approach for Testing Timed Systems. In: The 18th International Conference on Information and Software Technologies (ICIST 2012) published as a volume of Springer Verlag CCIS 319, pp. 123–137, Kaunas, Lithuania (September 13th14th, 2012).
  8. IlhamKitouni, HibaHachichi and DjamelEddineSaidouni:A Simple Approach for Reducing Timed Automata. In: The 2nd IEEE International Conference on Information Technology and e Services(ICITeS 2012).Sousse, Tunisia (March 24-26, 2012).
  9. HibaHachichi, Ilham Kitouni and Djamel Eddine Saidouni:Utilisation de la Transformation de Graphes pour le calcul des Automates des Régions Agrégés.In: The Sixth IEEE International Conference on Sciences of Electronic, Technologies of Information and Telecommunications (SETIT 2012). Sousse, Tunisia (March 21-24, 2012).
  10. HibaHachichi, Ilham Kitouni and Djamel Eddine Saidouni : Application de l’approche de transformation de graphes pour le calcul des Automates des Régions Agrégés. In :The Second International Conference on Complex Systems(CISC’11). pp 9. Jijel University, Algeria (December 6-8, 2011).
  11. HibaHachichi, IlhamKitouni and DjamelEddineSaidouni:A Graph Grammar Approach for calculation of Aggregate Regions Automata. In: The International Arab Conference on Information Technology (ACIT’2011).Naif Arab University for Security Science (NAUSS) Riyadh, Saudi Arabia (December 11-14, 2011).
  12. DjamelEddineSaidouni, IlhamKitouni and HibaHachichi: A Graph Grammar Approach for Durational Action Timed Automata Determinization. In: The International Arab Conference on Information Technology (ACIT’2010).University of Garyounis, Benghazi, Libya (December 14-16, 2010).

 

Communications nationales :

  1. HibaHachichi, Ilham Kitouni et Djamel Eddine Saidouni: Calcul des automates de régions pour les automates temporisés avec durées d’actions. In : 1ères Journées Doctorales du Laboratoire d’Informatique d’Oran« JDLIO’2011 ». N° 28. Université d’Oran, Algeria (les 31 Mai et 01 Juin 2011).
  2. HibaHachichi et Ilham Kitouni :Outil de Génération des Réseaux de Petri Temporellement Temporisés. In :première journée doctorale du laboratoire de modelisation et d’implementation des systèmes complexe «JDMISC 2011 ».Université Mentouri de Constantine, Algeria (29 septembre 2011).
  3. Djamel Eddine Saidouni, Ilham Kitouni et HibaHachichi: Application de l’approche de transformation de graphes pour la déterminisation des automates temporisés avec durées d’actions. In : 7ème Séminaire National d’Informatique BISKRA (SNIB’2010). pp. 229–236. BISKRA University, Biskra, Algeria (02,03 et 04 Novembre 2010).

 

Démonstrations de logiciels :

  1. Kitouni Ilham, HachichiHiba :Une approche simple pour la minimisation des automates temporisés. Dans la 2eme journée des laboratoires de recherche et des jeunes chercheurs. Université de Constantine, Algerie (24 mai 2012).
  2. Kitouni Ilham, HachichiHiba :Outil de transformation des automates avec durées d’actions en des automates temporisés avec durées d’actions sans  transitions. Dans la journée des laboratoires de recherche et des jeunes chercheurs. Université de Constantine, Algerie (26 mai 2011).

Participation dans des projets de recherche :

Projet national CNEPRU :

  • Titre : Modèles formels pour les systèmes dynamiques
  • Code : B*00920120117
  • Période: 2013 – 2015
  • Qualité : Membre
  • Affiliation: Université Constantine 2, Algérie

 

Thèses :

  • Mars 2013 : Docteur en sciences

Université Constantine 2 – Algérie
Spécialité : informatique.

CV-Publications

Scroll Up