Get started
Author

M. Elleuch

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks
2011 · Maissa Elleuch, Osman Hasan, et al. · Lecture notes in computer science · 20
Formalization of Normal Random Variables in HOL
2016 · Muhammad Qasim, Osman Hasan, et al. · Lecture notes in computer science · 12
Formal probabilistic analysis of detection properties in wireless sensor networks
2014 · Maissa Elleuch, Osman Hasan, et al. · Formal Aspects of Computing · 10
PDF
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection
2012 · Adel Bouhoula, Tetsuo Ida, et al. · 9
Towards the Formal Performance Analysis of Wireless Sensor Networks
2013 · Maissa Elleuch, Osman Hasan, et al. · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · 5
Formal specification of delta MINs for MPSOC in the ACL2 logic
2008 · Maissa Elleuch, Yassine Aydi, et al. · Forum on specification and Design Languages · 5
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications
2017 · Maissa Elleuch, Osman Hasan, et al. · Communications in computer and information science · 4
A multi level functional verification of multistage interconnection network for MPSOC
2009 · Yassine Aydi, Ramzi Tligue, et al. · IEEE International Conference on Electronics, Circuits and Systems (ICECS) · 4
Formal Analysis of an IoT-Based Healthcare Application
2023 · Maissa Elleuch, Sofiène Tahar · IEEE Symposium on Computers and Communications (ISCC) · 2
L’alimentation du diabétique pendant le mois de Ramadan en Tunisie
2020 · M. Elleuch, C. Hana, et al. · La Revue de Médecine Interne · 1
Analogues chez diabétiques type 2 et impact sur l’équilibre glycémique: étude 40 cas
2018 · B. Kolsi, R. Ben Abdallah, et al. · Annales d Endocrinologie · 1
Antibiothérapie du pied diabétique : pratiques réelles des médecins de soins primaires en Tunisie et écarts aux recommandations
2025 · M. Elleuch, Y. Abdelkafi, et al. · Annales d Endocrinologie
Facteurs prédictifs d’échec de la chirurgie de l’hyperparathyroïdie primaire
2025 · D. Ben Salah, S. Ayedi, et al. · Annales d Endocrinologie
Les pièges diagnostiques d’une scintigraphie parathyroïdienne
2024 · M. Elleuch, O. Trimèche, et al. · Médecine Nucléaire
Anomalies métaboliques et endocriniennes au cours des anomalies chromosomiques sexuelles
2021 · F. Hadj Kacem, H. Charfi, et al. · Annales d Endocrinologie
La cardiothyréose en milieu d’endocrinologie : à propos de 17 cas
2021 · F. Mnif, K. Boujelben, et al. · Annales d Endocrinologie
Image corporelle des adultes obèses
2021 · D. Ben Salah, K. Boujelben, et al. · Annales d Endocrinologie
L’effet de la compréhension du diabète sur l’équilibre glycémique
2021 · M. Elleuch, H. Frikha, et al. · Annales d Endocrinologie
Obèses mais métaboliquement normaux
2020 · M. Elleuch, C. Hana, et al. · La Revue de Médecine Interne
Évolution postopératoire des craniopharyngiomes : à propos de 17 cas
2020 · M. Elleuch, H. Charfi, et al. · Annales d Endocrinologie
Quelle attitude adopter face à une apoplexie pituitaire ?
2020 · F. Hadjkacem, I. Gargouri, et al. · Annales d Endocrinologie
Hypophysite auto-immune : forme pseudotumorale
2020 · D. Ben Salah, S. Allegue, et al. · Annales d Endocrinologie
Pain et Index glycémique : données tunisiennes
2020 · F. Mniff, K. Boujelben, et al. · Annales d Endocrinologie
Les médecins de familles observent-ils les recommandations de bonnes pratiques pour le suivi du diabète de type 2 ?
2020 · M. Elleuch, J. Boudabous, et al. · Annales d Endocrinologie
Particularités de l’atteinte cardiaque au cours de la maladie de Behçet. Étude de 110 patients
2019 · F. Jaziri, A. Fraj, et al. · La Revue de Médecine Interne
Works count: 31
Citation count: 73
H-index: 5
I10-index: 3
Year
Topic
Type