Title | Author | ||
---|---|---|---|
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle
|
Abir Bitat | SCAL | In progress |
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 | SCAL | In progress |
Optimizing Vehicular traffic management: A SDN based Approach
|
Soufyane Guerza | SCAL | In progress |
Planification événementielle dans un système d'intelligence ambiante
|
Hichem Baitiche | CFSC | In progress |
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
|
Farouk Meddah | CFSC | In progress |
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
|
Mohammed Lamine Daikha | CFSC | In progress |
Système de raisonnement contextuel pour des véhicules autonomes
|
Amira Benlecheb | SCAL | In progress |
Télédétection et images satellitaires pour la conception d’un système de gestion des terres abandonnées
|
Amel Zouari | SCAL | In progress |
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 | MFGL | In progress |
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
|
Selsabil Ines Bouhidel | CFSC | In progress |