Laboratoire des Systèmes Informatiques

Formation liée aux thèmes de recherche du laboratoire

d) Thèse de
Doctorat

Num :1

Nom & Prénom du
doctorant

BENZAID
Chafika

Date et lieu de
soutenance

Juillet 2009, USTHB

Rapporteur

Pr. Nadjib Badache

Intitulé du titre du
doctorat

Ordre
causal dans les environnements mobiles

URL résumé ou
version pdf



Num :2

Nom & Prénom du
doctorant

BOUYAKOUB Faycal

Date et lieu de
soutenance

Octobre 2010 USTHB

Rapporteur

Pr Belkhir Abdelkader

Intitulé du titre du
doctorat

Négociation de
service pour les téléphones de troisième génération

URL résumé ou
version pdf



Num :.3

Nom & Prénom du
doctorant

BOUYAKOUB Samia

Date et lieu de
soutenance

USTHB, Octobre 2010,

Rapporteur

Pr Belkhir Abdelkader

Intitulé du titre du
doctorat

Edition et
modélisation d’un système de présentation multimédia

URL résumé ou
version pdf





Num :4

Nom & Prénom du
doctorant

BOUKHALFA
Kamel

Date et lieu de
soutenance

USTHB, Juillet 2009

Rapporteur

Pr. Zaia Alimazighi

Intitulé du titre du
doctorat

De
la conception physique au tuning des entrepôts de données

URL résumé ou
version pdf





Num :5

Nom & Prénom du
doctorant

MAREDJ
Azeddine 

Date et lieu de
soutenance

USTHB,
Décembre 2009

Rapporteur

Pr.
Zaia Alimazighi

Intitulé du titre du
doctorat

« Spécification
et vérification des relations temporelles et spatiales dans un
document multimédia interactif 

URL résumé ou
version pdf





Num6

Nom & Prénom du
doctorant

ZAOUECHE Djaouida

Date et lieu de
soutenance

USTHB, Juillet 2009

Rapporteur

Pr. Malika Boukala-Ioualalen

Intitulé du titre du
doctorat

Extension des réseaux de Petri récursifs au temps.

URL résumé ou
version pdf





Num7

Nom & Prénom du
doctorant

SALMI Nabila

Date et lieu de
soutenance

USTHB, Juillet 2009

Rapporteur

Pr. Malika Boukala-Ioualalen

Intitulé du titre du
doctorat

Analyse des performances des systèmes complexes par
décomposition /composition de modèles SWN.

URL résumé ou
version pdf


Num8

Nom & Prénom du
doctorant

HAMMAL Youcef

Date et lieu de
soutenance

Prévu Décembre 2011
(voir avis de jury de thèse)

Rapporteur

Pr Ahmed Nacer
Mohamed

Intitulé du titre du
doctorat

Formal Semantics of Concurrent Object-Oriented and
Real-Time Models : Application to the Unified Modeling Language
Dynamic Diagrams.


URL résumé ou
version pdf