Publications Scientifiques

Date de publication	Titre	Auteurs	Lien
SITIS-2023	Equitable water distribution: Solution based on genetic algorithms	Amina Jandoubi, Abdelaziz El Fazziki, Mohamed Taha Bennani, Olfa Mosbahi
CUPS-2023	MQTT protocol services attacks formalization with CTL formulas	Amina Jandoubi, Mohamed Taha Bennani, Olfa Mosbahi	Version PDF
SITIS-2022	Smart Irrigation Management System	Bassem Sellami, Abdelaziz El Fazziki, Mohamed Taha Bennani, Sadok Ben Yahia	Version PDF
COMPSAC-2022	Faultload time model of the MQTT protocol publish service	Amina Jandoubi, Mohamed Taha Bennani, Abdelaziz El Fazziki	Version PDF

Sujets de thèse

Date	Nom	Titre	Directeur de thèse	Superviseur	Laboratoire de recherches
2022-jusq'a présent	Amina Jandoubi	Caractérisation de la sûreté de fonctionnement par injection de fautes des protocoles de communications	Olfa Mosbahi	Mohamed Taha Bennani	Laboratoire d’Informatique, de Parallélisme et des Systèmes Intelligents Communicants (LIPSIC)
Novembre 2022	Bassem Sellami	Investigation of Deep Learning and Blockchain applicability for software-Defined Internet of Things	Sadok Ben Yahia		Laboratoire en Informatique en Programmation Algorithmique et Heuristique (LIPAH)

Sujets de Mastère de Recherches Informatique

Date	Nom	Titre	Directeur de mémoire	Lieu du stage
Juillet 2023	Issouf Bakayoko	Adaptation et automatisation de l'évaluation de la fiabilité d'une architecture multi-agents pour la gestion de l'eau	Mohamed Taha Bennani	Laboratoire d’Informatique, de Parallélisme et des Systèmes Intelligents Communicants (LIPSIC)
Février 2022	Amina Jandoubi	Caractérisation de la sûreté de fonctionnement pour une architecture IoT : Génération des séquences d’injection de fautes	Mohamed Taha Bennani	Laboratoire d’Informatique, de Parallélisme et des Systèmes Intelligents Communicants (LIPSIC)
Février 2022	Wided Labidi	Approche concolique pour la génération des entrées de tests des réseaux neuronaux profonds	Mohamed Taha Bennani	Laboratoire d’Informatique, de Parallélisme et des Systèmes Intelligents Communicants (LIPSIC)