Assistant Professor in Computer Sciences at the Digital Research Center of Sfax (DRCS), I received my PhD degree in Computer Systems Engineering from the National School of Engineers of Sfax, in 2015. I am also a member of the Computer and Embedded Systems (CES) Laboratory at ENIS. My PhD is about the formal probabilistic verification of Wireless Sensor Networks; in particular using the theorem prover HOL4. I am interested in using formal methods for system verification.

Contractual assistant at the National School of Engineers of Sfax (ENIS).
Sep 2008 -Sep 2011

Assistant Professor in Computer Sciences at the Higher School of Sciences and Technology of Hammam Sousse (ESSTHs).
Sep 2014 -Sep 2015

Formal Probabilistic Verification of Systems

Wireless Sensor Networks

Article Elleuch Maissa, Hasan Osman, Tahar Sofi\`ene, Abid Mohamed, Formal probabilistic performance verification of randomly-scheduled wireless sensor networks, Article, Inderscience Publishers (IEL), volume 8, 2018. [bibtex]

conference paper Elleuch Maissa, Hasan Osman, Tahar Sofiene, Abid Mohamed, Formal probabilistic analysis of a WSN-based monitoring framework for IoT Applications, conference paper, 2016. [bibtex]

conference paper Maissa Elleuch and Osman Hasan and Sofi\`ene Tahar and Mohamed Abid, Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application, ( Mohamed Ghazel and Mohamed Jmaiel, eds.), conference paper, CEUR-WS.org, volume 1689, 2016. [bibtex]

Article Elleuch Maissa, Hasan Osman, Tahar Sofi\`ene, Abid Mohamed, Formal Probabilistic Analysis of Detection Properties in Wireless Sensor Networks, Article, Springer-Verlag, volume 27, 2015. [bibtex] [doi]

Article Elleuch Maissa, Hasan Osman, Tahar Sofiène, Abid Mohamed, Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection, Article, Open Publishing Association, volume 122, 2013. [bibtex] [doi]

conference paper Elleuch Maissa, Hasan Osman, Tahar Sofiène, Abid Mohamed, Towards the Formal Performance Analysis of Wireless Sensor Networks, conference paper, 2013. [bibtex] [doi]

Engineering Degree in Computer Sciences from the National School of Computer Sciences (ENSI).
Sep 2003 -Jun 2006

Master in New Technologies of Dedicated Computer Systems (NTSID) from the National School of Engineers of Sfax.
Sep 2006 -Jul 2008

PhD in Computer Systems Engineering (ISI) from the National School of Engineers of Sfax.
Sep 2009 -Feb 2015