PhD theses
Title Author
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle
Abir Bitat
Optimisation et déploiement d’un système communicant intelligent basé IoT et exploitant les technologies LPWAN pour la prévention et la détection des feux de forêts
Amira Sairi
Optimizing Vehicular traffic management: A SDN based Approach
Soufyane Guerza
Planification événementielle dans un système d'intelligence ambiante
Hichem Baitiche
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
Farouk Meddah
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
Mohammed Lamine Daikha
Système de raisonnement contextuel pour des véhicules autonomes
Amira Benlecheb
Télédétection et images satellitaires pour la conception d’un système de gestion des terres abandonnées
Amel Zouari
Un système pour l’analyse et le traitement de données dans le domaine de la santé : cas des maladies nécessitant une assistance continue
Brahim Benabderrahmane
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
Selsabil Ines Bouhidel