Maissa Elleuch

12 papers C 6Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2023 C conf
Formal Analysis of an IoT-Based Healthcare Application.
ISCC
Maissa Elleuch, Sofiène Tahar
2018 J jnl
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks.
Int. J. Crit. Comput. Based Syst.
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2016 C conf
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application.
VECoS
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2016 — conf
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications.
FTSCS
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2016 C conf
Formalization of Normal Random Variables in HOL.
CICM
Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar
2015 — —
Formal Probabilistic Verification of Wireless Sensor Networks. (Vérification Formelle Probabiliste des Réseaux de Capteurs sans Fil).
Maissa Elleuch
2015 J jnl
Formal probabilistic analysis of detection properties in wireless sensor networks.
Formal Aspects Comput.
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2013 C conf
Towards the Formal Performance Analysis of Wireless Sensor Networks.
WETICE
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2012 — conf
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection.
SCSS
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2011 C conf
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.
ICFEM
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
2009 — conf
A multi level functional verification of multistage interconnection network for MPSOC.
ICECS
Yassine Aydi, Ramzi Tligue, Maissa Elleuch, Mohamed Abid, Jean-Luc Dekeyser
2008 C conf
Formal Specification of Delta MINs for MPSOC in the ACL2 Logic.
FDL
Maissa Elleuch, Yassine Aydi, Mohamed Abid