Laboratoire des Systèmes Informatiques

Thèses de doctorat

Soutenues :

1. A. ABDELLI : « Sémantique et validation d« un modèle à base de RdpT pour la spécification des systèmes temps réel complexes : applications aux systèmes multimédia » Soutenue le 25 Novembre 2007 sous la direction du Pr N. Badache.

En cours :

1. S.MAZOUZ : « Analyse modulaire des réseaux de petri avec contraintes de temps ». Directeur de thèse : Pr A. Mokhtari.

2. Y. HAMMAL "Etude comparative de modèles de concurrence : Conception d’un modèle de parallélisme orienté objet temps réel". Directeur de thèse : Pr M.Ahmed-nacer.

3. H. BENKAOUHA « Tolérance aux fautes dans les systèmes répartis en environnement mobiles » Directeur de thèse : Pr N. Badache.
.