Faten Fakhfakh

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 18

Top Topics

Maximal Cliques

Dynamic Networks

Formal Verification

Top Venues

Computación y Sistemas

SNPD (revised selected papers)

Publications

Nesrine Ouled Abdallah, Fairouz Fakhfakh, Faten Fakhfakh
Overview of Blockchain-Based Seafood Supply Chain Management. ISDA (4) (2022)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. Libr. Hi Tech 40 (5) (2022)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. ICCCI (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Formal specification and verification of a broadcasting protocol: a refinement-based approach. KES (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int. J. Networked Distributed Comput. 8 (4) (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Modeling and Proving Distributed Algorithms for Dynamic Graphs. Future Gener. Comput. Syst. 108 (2020)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
An Evaluative Review of the Formal Verification for VANET Protocols. IWCMC (2019)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
A Comprehensive Survey on Broadcasting Emergency Messages. IWCMC (2019)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. Computación y Sistemas 23 (4) (2019)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE (2018)
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21 (4) (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS (2017)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE (2016)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
A formal pattern for dynamic networks through evolving graphs. AICCSA (2015)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) (2015)
Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel
OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services. CLOSER (2013)