Thèses de doctorat
| Titre | Auteur | ||
|---|---|---|---|
|
Dissémination robuste des messages de sécurité routière dans le cadre des réseaux véhiculaires
|
Houda Hafi | SCAL | il y a 3 semaines |
|
Systèmes multi-agents normatifs pour la mise en oeuvre de la sécurité dans des applications complexes (vers la pertinence des politiques de sécurité)
|
Haoua Cheribi | OSSIG | il y a 3 semaines |
|
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
|
Said Meghzili | MFGL | il y a 1 mois |
|
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
|
Mohamed Elkamel Hamdane | MFGL | il y a 1 an |
|
Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions
|
Imene Bensetira | CFSC | il y a 1 an |
|
Simulation multi-agents de marchés financiers: Un modèle pour l’étude des bulles spéculatives
|
Sadek Benhammada | SCAL | il y a 1 an |
|
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante
|
Aouatef Chaib | MFGL | il y a 1 an |
|
Efficient, Scalable and Economic-based Resource Management in Peer-To-Peer Grids
|
Nabila Chergui | SCAL | il y a 1 an |
|
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi
|
Nabil Messaoudi | MFGL | il y a 1 an |
|
Vérification de la composition de services par la transformation de modèles
|
Redouane Nouara | MFGL | il y a 1 an |
|
Recherche d'information géographique à l‘aide des ontologies spatiales de localisation
|
Fériel Abdelkoui | OSSIG | il y a 1 an |
|
Contributions à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par les méthodes bio-inspirées
|
Akram Kout | SCAL | il y a 1 an |
|
Reconstruction des cartes géographiques endommagées à partir d'éléments existants
|
Baha Fergani | OSSIG | il y a 1 an |
|
Traitement de l'hétérogénéité sémantique pour l'exploration des sources de données multimédias
|
Aïcha Aggoune | OSSIG | il y a 2 ans |
|
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML
|
Wafa Chama | MFGL | il y a 2 ans |
|
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
|
Saïd Layadi | CFSC | il y a 2 ans |
|
Approches bio-inspirées pour le pré-traitement, l’extraction et la fusion de données biométriques
|
Lamis Ghoualmi | SCAL | il y a 2 ans |
|
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
|
Nacer Tabib | CFSC | il y a 2 ans |
|
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables
|
Rabah Mokhtari | MFGL | il y a 2 ans |
|
Optimisation problem solving in the field of cellular networks
|
Zakaria Abdelmoiz Dahi | OSSIG | il y a 2 ans |