Login / Signup
Amina Jandoubi
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Model Checker
Water Distribution
Set Theory
Genetic Algorithm Ga
Top Venues
ENASE
COMPSAC
SITIS
</>
Publications
</>
Amina Jandoubi
,
Mohamed Taha Bennani
,
Olfa Mosbahi
,
Abdelaziz El Fazziki
Analyzing MQTT Attack Scenarios: A Systematic Formalization and TLC Model Checker Simulation.
ENASE
(2024)
Amina Jandoubi
,
Abdelaziz El Fazziki
,
Mohamed Taha Bennani
,
Olfa Mosbahi
Equitable water distribution: Solution based on genetic algorithms.
SITIS
(2023)
Amina Jandoubi
,
M. Taha Bennani
,
Abdelaziz El Fazziki
Faultload time model of the MQTT protocol publish service.
COMPSAC
(2022)