| 2022 | ISDA | Overview of Blockchain-Based Seafood Supply Chain Management. | Nesrine Ouled Abdallah, Fairouz Fakhfakh, Faten Fakhfakh |
| 2020 | ICCCI | Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2020 | KES | Formal specification and verification of a broadcasting protocol: a refinement-based approach. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2019 | IWCMC | An Evaluative Review of the Formal Verification for VANET Protocols. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2019 | IWCMC | A Comprehensive Survey on Broadcasting Emergency Messages. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah |
| 2018 | KES | Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2018 | KES | Preserving the Correctness of Dynamic Workflows within a Cloud Environment. | Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh |
| 2018 | SEKE | A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2017 | ISDA | Algorithms for Finding Maximal and Maximum Cliques: A Survey. | Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem |
| 2016 | WETICE | A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | AICCSA | A formal pattern for dynamic networks through evolving graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2015 | SNPD | Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. | Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah |
| 2013 | CLOSER | OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services. | Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel |