OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services. - Nabil Baklouti; Faten Fakhfakh; Bilel Gargouri; Mohamed Jmaiel (CLOSER, 2013)

A formal pattern for dynamic networks through evolving graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (AICCSA, 2015)

Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (SNPD (revised selected papers), 2015)

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Mosbah 001 (WETICE, 2016)

A correct-by-construction approach for proving distributed algorithms in spanning trees. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (ICIS, 2017)

Algorithms for Finding Maximal and Maximum Cliques: A Survey. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (ISDA, 2017)

Proving Distributed Coloring of Forests in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (Computación y Sistemas, 2017)

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (KES, 2018)

Preserving the Correctness of Dynamic Workflows within a Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem; Faten Fakhfakh (KES, 2018)

A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Ahmed Hadj Kacem (SEKE, 2018)

An Evaluative Review of the Formal Verification for VANET Protocols. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (IWCMC, 2019)

A Comprehensive Survey on Broadcasting Emergency Messages. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (IWCMC, 2019)

Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Computación y Sistemas, 2019)

Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (ICCCI, 2020)

Formal specification and verification of a broadcasting protocol: a refinement-based approach. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (KES, 2020)

Modeling and Proving Distributed Algorithms for Dynamic Graphs. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Future Gener. Comput. Syst., 2020)

Vehicle Platooning Systems: Review, Classification and Validation Strategies. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Int. J. Networked Distributed Comput., 2020)

Overview of Blockchain-Based Seafood Supply Chain Management. - Nesrine Ouled Abdallah; Fairouz Fakhfakh; Faten Fakhfakh (ISDA (4), 2022)

Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001 (Libr. Hi Tech, 2022)

A Formal Approach for a Railway Level Crossing Using the Event-B Method. - Mohamed Tounsi 001; Faten Fakhfakh (DiCES-N, 2023)