Maissa Elleuch

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 5

Top Topics

Wireless Sensor Networks

Conditionally Independent

Conditional Distributions

Formal Analysis

Top Venues

Int. J. Crit. Comput. Based Syst.

Formal Aspects Comput.

Publications

Maissa Elleuch, Sofiène Tahar
Formal Analysis of an IoT-Based Healthcare Application. ISCC (2023)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. VECoS (2016)
Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar
Formalization of Normal Random Variables in HOL. CICM (2016)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. FTSCS (2016)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal probabilistic analysis of detection properties in wireless sensor networks. Formal Aspects Comput. 27 (1) (2015)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Towards the Formal Performance Analysis of Wireless Sensor Networks. WETICE (2013)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. SCSS (2012)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. ICFEM (2011)
Yassine Aydi, Ramzi Tligue, Maissa Elleuch, Mohamed Abid, Jean-Luc Dekeyser
A multi level functional verification of multistage interconnection network for MPSOC. ICECS (2009)
Maissa Elleuch, Yassine Aydi, Mohamed Abid
Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. FDL (2008)