Planning des soutenances master académique

Programme STP 17

Date Heure Binôme Titre Encadrant Examinateur Jury

SEDRATI KARIMA Vérification des systèmes temps réel exprimés en
9H Dr. Saidouni M. Latreche
SEGUENI ABLA DATA* par UPPAAL et KRONOS
KAIDI HANINE OUAHAB Utilisation des approches d'optimisation combinatoire Vérification
06/07 9, 45 H
MOHAMED SALAH pour la vérification des applications concurrentes
Dr. Saidouni M. Latreche
des Systèmes
OUROUISSA Seif El Islam Génération distribuée de STEM (1)
10,30 H Dr. Saidouni Dr. Belguidoum
BENAMEUR Charaf Eddin Une approche basée sur les Réseau Petri
HACHEMI IBTISSAM
12 Vérification des services web composés M. Latreche Dr. Belguidoum
FERDI SAFIA

Examinate
Date Heure Binôme Titre Encadrant ur Jury
CHAALAL MOHAMED CHAMA Vérification des intra-dépendances des composants en
9H Dr. Belguidoum Dr. Chaoui
IMED EDDINE Fractal

Réalisation d'une politique d'adaptation dynamique

YOUCEF NESRINE
08/07 9, 45 H
BELDJEDOUI SALIHA
basée sur les intra-dépendances pour les composants Dr. Belguidoum M. Boumaza Génie logiciel (2)
Fractal

TAOUTAOU MERIEM
10, 30 H Transformation de stems vers GRM Dr. Chaoui M. Boumaza
AMROU SALIMA
 Planning des soutenances master académique

Programme STP 14

Date Heure Binôme Titre Encadrant Examinateur Jury

BOUFETTA DOUNIA
9H Fédération des bases de données distribuées Dr. A Bentellis M. Berkane
MOHRA RIMA
Base de Donnée
06/07 9, 45 H
BENSABRA FATIMA Z. Un outil de construction de programme maude pour
Mme A. Choutrie Dr. N.Zeghib & Système
BENOUDINA SANA un modèle de conception basé UML.
d'information
BACHTARZI FAYÇAL CHEMAA Génération Automatique de Médiateur pour les web
10,30 H Dr. N.Zeghib M. Gherzouli
SOFIANE services (non directement composables)

Date Heure Binôme Titre Encadrant Examinateur Jury

BELALA AMINA MESSAOUDI
9H protocole PPP: Conception formelle et simulation M. N. Belala Dr. Merniz
SAMIRA

KIFOUCHE WAFA
9, 45 H Protocole SIP : conception formelle et simulation M. N. BELALA Dr. Merniz Vérification des
08/07 LAKROUNE ASMA
Systèmes (2)

SAADALLAH SABAH Transformation de modèles ECATNet vers ECATNet

10, 30 H Dr. A. Chaoui Dr. Bahri
LATRECHE SAFIA réduit à l'aide de l'outil ATOM3
 Planning des soutenances master académique

Programme STP 11

Date Heure Binôme Titre Encadrant Examinateur Jury

BADER AMINA Une approche de transformation de modèles de
9H Dr. Chaoui Dr. Bahri
YAICI MARWA réseaux de pétri prédicat/transition vers prolog
BELAMRI MERIEM Application de l'assistant de preuves COQ sur une Dr. Chaoui M. Belala
9, 45 H
étude de cas Génie logiciel
06/07 REDJEATTI SOUAD , (1)
10, 30 H Parralellisation des programmes séquentiels Dr. Chaoui M. Belala
BOULAMIA
TOUIHRAT SAMIHA Transformation des modèles UML vers Rèseaux de petri Dr. Chaoui Dr. Bahri
12 H
coloré en utilisant AGG

Date Heure Binôme Titre Encadrant Examinateur Jury

YAHI AICHA MECHENOUI Réalisation de la plateforme pour les algorithmes
9H Mme Mizai M.Benoudina.
NASSIMA distribue.
ACHOUR HICHEM
9, 45 H KERMANI MED SADEK Algorithmique sur anneau de processeur M. Benoudina M. Boussouf
AZZOUZ Algorithmes et
08/07 ZEROUEL MALIKA Architectures (1)
10, 30 H Les stratégies de reprise d’applications parallèles M. Benoudina Mme Mizai
YAHYAOUI NORA

BOUBIA ABDERREZAK Nouvelle approche hybride pour résoudre le

12 H Dr. Layeb M. Habes
ELDJOU BADREDDINE problème du dispatching économique électrique
 Planning des soutenances master académique

Programme STP 8

Date Heure Binôme Titre Encadrant Examinateur Jury

Authentification Biométrique
AOUATI ZAKARIA Réalisation d’un système d’authentification à travers La
9H Pr. BenMohammed Dr. Samia Chikhi
TALEB SOUHEIL biométrie des empreintes digitales

06/07 Mme. Vision

9, 45 H GUETTECHE ALI Face Recognition using Artificial Neural Network Dr. Bahri &Infographie
Boussebough
BENCHEIKH EL HOCINE
« Stego-Right » : Un système de protection des droits Pr.
10, 30 H MAHER Dr. Samia Chikhi
d’auteur pour les images numériques. BenMohammed
MENIKER MOHAMED

Date Heure Binôme Titre Encadrant Examinateur Jury

GOUACHE HOUSNA Un système à base d'agent intelligent fondé sur les
9h Mme Dj.Hammoud Dr. Belhadef
CHIRIBI IMENE arbres de décision inductifs
BENLAHMAR
Une nouvelle méthode d’alignement des
9H, 45 H ABDELMOUMEN Dr. Belhadef Mme. Dj.Hammoud Systèmes
ontologies
08/07 BENSALEH FATEH Experts &
BOUHADJA WAFA Résolution du problème de l'affectation des Intelligence
10, 30 H Dr. Layeb Mlle Chelloug Artificielle
HADDOUCHE ASMA fréquences par un algorithme génétique

Conception et réalisation d'un site web dynamique

BOULAHIA CHERIF
12 H pour la gestion d'un courtier d'assurance cas"best Dr. Belhadef Dr. A Bentellis
BOUKATTA SALAH
assurance" en utilisant un CMS
 Planning des soutenances master académique

Programme STD 11
Date Heure Binôme Titre Encadrant Examinateur Jury
Une Nouvelle Approche Hybride pour la Prédiction
BENSTIRA IMEN
9H Multiple des Structures Secondaires d'ARN en Dr. Layeb M. Labed
BOUAROUDJ KENZA
Bioinformatique Recherche
06/07
TABIB NACER Opérationnelle&
9, 45 H Méthode hybride pour la réduction des circuits Dr. Layeb Mme Ghanem
BRIREM BILEL Optimisation
HAMIOUD ASSIA Méthode hybride pour la résolution du problème
10, 30 H M. Labed Dr. Layeb
BENCHETTAH KHADIDJA de voyageur de commerce

Date Heure Binôme Titre Encadrant Examinateur Jury

SAIH FATIMA ZOHRA Protocole RTSP :
12 H M. N. Belala Dr. Zitouni
MORDJANA AMIRA Conception Formelle et Simulation
06/07 Protocole DCCP
12,45 H MERABTI ABOUBAKEUR M. N. Belala Dr. Zitouni Réseaux
Conception Formelle et Simulation
ZEDAIRI IMENE
13,30H DNS: conception formelle et simulation M. N. Belala Dr. Derdouri
MAZHOUD BILEL

Date Heure Binôme Titre Encadrant Examinateur Jury

BEN MAHDI ASMA BELBEL SEIF Transformer un Micro-Ordinateur
12,15H EDDINE Linux en un routeur avancé Dr. Saidouni M. Boussouf
CHEKROUD HOUDA, AOUAG Problème d'allocation dynamique de Algorithmes et
08/07 13H MOUNA processeurs dans les systèmes distribués. M.Benoudina. Dr. Saidouni Architectures (2)
Réalisation de la plateforme pour les
13, 45 H HAMADI ADRA NINI KANZA algorithmes distribue. Dr. Saidouni M. Benoudina