Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. - Maissa Elleuch; Yassine Aydi; Mohamed Abid (FDL, 2008)

A multi level functional verification of multistage interconnection network for MPSOC. - Yassine Aydi; Ramzi Tligue; Maissa Elleuch; Mohamed Abid; Jean-Luc Dekeyser (ICECS, 2009)

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (ICFEM, 2011)

Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (SCSS, 2012)

Towards the Formal Performance Analysis of Wireless Sensor Networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (WETICE, 2013)

Formal probabilistic analysis of detection properties in wireless sensor networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (Formal Aspects Comput., 2015)

Formal Probabilistic Verification of Wireless Sensor Networks. (Vérification Formelle Probabiliste des Réseaux de Capteurs sans Fil). - Maissa Elleuch (2015)

Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (FTSCS, 2016)

Formalization of Normal Random Variables in HOL. - Muhammad Qasim; Osman Hasan; Maissa Elleuch; Sofiène Tahar (CICM, 2016)

Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (VECoS, 2016)

Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (Int. J. Crit. Comput. Based Syst., 2018)

Formal Analysis of an IoT-Based Healthcare Application. - Maissa Elleuch; Sofiène Tahar (ISCC, 2023)