Profile Picture

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