Profile

Maissa Elleuch
Assistant Professor
- Address: Digital Reasearch Center of Sfax, Technopark of Sfax, 3021 Sfax, Tunisia
- Phone: 74 863 042 - 74 863 044
- Email: maissa.elleuch@gmail.com
Current State
Assistant Professor in Computer Sciences at the Digital Research Center of Sfax (CRNS)
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.
-
September 2008
-
September 2011
Contractual assistant at the National School of Engineers of Sfax (ENIS).
-
September 2014
-
September 2015
Assistant Professor in Computer Sciences at the Higher School of Sciences and Technology of Hammam Sousse (ESSTHs).
-
September 2003
-
June 2006
Engineering Degree in Computer Sciences at the National School of Computer Sciences (ENSI).
-
September 2006
-
July 2008
Master in New Technologies of Dedicated Computer Systems (NTSID) at the National School of Engineers of Sfax.
-
September 2009
-
February 2015
PhD in Computer Systems Engineering (ISI) at the National School of Engineers of Sfax.
Formal Probabilistic Verification of Systems
Wireless Sensor Networks
-
Article: Formal Probabilistic Performance Verification of Randomly-scheduled Wireless Sensor Networks
In International Journal of Critical Computer-Based Systems Article · November 2018 · M. Elleuch, O. Hasan, S. Tahar, M. Abid . See more...
-
Conference Paper: Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications
Conference Paper · November 2016 · M.Elleuch, O.Hasan, S.Tahar, M.Abid . See more...
-
Conference Paper: Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application
Conference Paper · October 2016 [bibtex] · M.Elleuch, O. Hasan, S. Tahar, M. Abid . See more...
-
Conference Paper: Formalization of Normal Random Variables in HOL
Conference Paper · July 2016 · M. Qasim, O. Hasan, M. Elleuch, S. Tahar . See more...
· DOI: 10.1007/978-3-319-42547-4_4 · pages: 44 -
Article: Formal Probabilistic Analysis of Detection Properties in Wireless Sensor Networks
In Formal Aspects of Computing Article · January 2015 · M.Elleuch, O. Hasan, S. Tahar, M. Abid . See more...
· DOI: 10.1007/s00165-014-0304-0 · pages: 79 · volume: 27 -
Conference Paper: Towards the Formal Performance Analysis of Wireless Sensor Networks
Conference Paper · June 2013 · M.Elleuch, O. Hasan, S. Tahar, M. Abid . See more...
· DOI: 10.1109/WETICE.2013.68 · pages: 365 -
Conference Paper: Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection
Conference Paper · October 2012 · M.Elleuch, O. Hasan, S. Tahar, M. Abid . See more...
· DOI: 10.4204/EPTCS.122.1 · pages: 1 · volume: 122