Maissa Elleuch

According to our database, Maissa Elleuch authored at least 12 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Analysis of an IoT-Based Healthcare Application.

Maissa Elleuch, Sofiène Tahar

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2018

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

2016

Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application.

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Formalization of Normal Random Variables in HOL.

Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications.

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

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

Maissa Elleuch

PhD thesis, 2015

Formal probabilistic analysis of detection properties in wireless sensor networks.

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Formal Aspects Comput., 2015

2013

Towards the Formal Performance Analysis of Wireless Sensor Networks.

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

2012

Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection.

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

2011

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Proceedings of the Formal Methods and Software Engineering, 2011

2009

A multi level functional verification of multistage interconnection network for MPSOC.

Yassine Aydi, Ramzi Tligue, Maissa Elleuch, Mohamed Abid, Jean-Luc Dekeyser

Proceedings of the 16th IEEE International Conference on Electronics, 2009

2008

Formal Specification of Delta MINs for MPSOC in the ACL2 Logic.

Maissa Elleuch, Yassine Aydi, Mohamed Abid

Proceedings of the Forum on specification and Design Languages, 2008