Thèses Doctorat : BENHAMAMOUCH Djilali

Nombre (9) thèse(s) : nombre de publications associées (17)

Directeur de thèse ..........
Vérification Formelle des Machines à Etats Abstraits par la Logique Temporelle des Actions.
Par :Hocine EL-HABIB DAHO...... - Octobre 2010 ( 150 pages )
[Consulter ]

Directeur de thèse ..........
Analyse des propriétés temporelles de la privacité dans les busines protocoles
Par :Mokhtari Karima khadija...... - Mai 2013 ( 132 pages )
[Consulter ]

Examinateur ..........
RÉPLICATION ET ORDONNANCEMENT DANS LES GRILLES DE CALCUL (UNE APPROCHE BASÉE SUR LES MÉTHODES D’AIDE À LA DÉCISION MULTICRITÈRES)
Par :HADI NADIA...... - 1990 ( 94 pages )
[Consulter ]

Examinateur ..........
Contribution de la Programmation Par Contraintes à l’Ingénierie Ontologique.
Par :BENAISSA Moussa...... - Décembre 2010 ( 100 pages )
[Consulter ]

Président de jury ..........
Techniques de routage par automate cellulaire : Adaptation à la régulation d’un réseau de transport urbain
Par :AMRANI Fouzia...... - Février 2013 ( 163 pages )
[Consulter ]

Président de jury ..........
Reconfiguration Dynamique des Mémoires Caches dans un MPSoc à Architecture Homogène
Par :Bengueddach Asmaa...... - Avril 2014 ( 102 pages )
[Consulter ]

Président de jury ..........
Détection des erreurs de débordement dans les programmes de calcul flottant
Par :SAYAH Mohamed...... - Novembre 2015 [Consulter ]

Président de jury ..........
Évaluation et valorisation du procédé traditionnel de conservation des dattes « Btana » et détermination de sa biodiversité microbienne.
Par :Abekhti Abdelkader...... - Février 2015 ( 205 pages )
[Consulter ]

Président de jury ..........
Minimisation des désagréments dans les clusters agrégés
Par :Rouba Baroudi...... - Mai 2015 ( 155 pages )
[Consulter ]