Follow
Faten Fakhfakh
Faten Fakhfakh
Dr. Eng, ReDCAD Lab, University of Sfax-Tunisia
Verified email at redcad.org
Title
Cited by
Cited by
Year
Vehicle Platooning Systems: Review, Classification and Validation Strategies
F Fakhfakh, M Tounsi, M Mosbah
International Journal of Networked and Distributed Computing 8 (4), 2020
302020
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges
F Fakhfakh, M Tounsi, M Mosbah
Library Hi Tech, 2021
182021
An Evaluative Review of the Formal Verification for VANET Protocols
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
112019
Proving distributed coloring of forests in dynamic networks
F Fakhfakh, M Tounsi, M Mosbah, D Méry, AH Kacem
Computación y Sistemas 21 (4), 863-881, 2017
82017
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs
F Fakhfakh, M Tounsi, A Hadj Kacem, M Mosbah
Software Engineering, Artificial Intelligence, Networking and Parallel …, 2015
82015
A Comprehensive Survey on Broadcasting Emergency Messages
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
62019
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review
F Fakhfakh, M Tounsi, M Mosbah, AH Kacem
Procedia Computer Science 126, 1551-1560, 2018
62018
Modeling and proving distributed algorithms for dynamic graphs
F Fakhfakh, M Tounsi, M Mosbah
Future Generation Computer Systems, 2020
52020
Algorithms for finding maximal and maximum cliques: a survey
F Fakhfakh, M Tounsi, M Mosbah, A Hadj Kacem
International Conference on Intelligent Systems Design and Applications, 745-754, 2017
52017
A Formal Pattern for Dynamic Networks Through Evolving Graphs
F Fakhfakh, M Tounsi, A Hadj Kacem, M Mosbah
AICCSA, 2015
52015
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks
FF al.
Computación y Sistemas 23 (4), 2019
42019
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs
F Fakhfakh, M Tounsi, A Hadj Kacem, M Mosbah
25th International Conference on Enabling Technologies: Infrastructure for …, 2016
42016
A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
F Fakhfakh, M Tounsi, M Mosbah, D Méry, AH Kacem
International Conference on Computer and Information Science, 123-137, 2017
32017
OWL-LingS editor: A tool for semantic description of Linguistic Web Services
N Baklouti, F Fakhfakh, B Gargouri, M Jmaiel
3rd International Conference on Cloud Computing and Services Science (CLOSER …, 2013
32013
Overview of Blockchain-Based Seafood Supply Chain Management
N Ouled Abdallah, F Fakhfakh, F Fakhfakh
International Conference on Intelligent Systems Design and Applications, 71-80, 2022
22022
Overview of Vehicular Resource Allocation: Review and Future Directions
R Bouabdallah, F Fakhfakh, F Fakhfakh
International Conference on Intelligent Systems Design and Applications, 267-276, 2023
2023
A Formal Approach for a Railway Level Crossing Using the Event-B Method
M Tounsi, F Fakhfakh
International Workshop on Distributed Computing for Emerging Smart Networks …, 2023
2023
Towards an Effcient Clustering-based Algorithm for Emergency Messages Broadcasting
F Fakhfakh, M Tounsi, M Mosbah
ICCCI 2020 12496 (1), 2020
2020
Formal specification and verification of a broadcasting protocol: a refinement-based approach
F Fakhfakh, M Tounsi, M Mosbah
Procedia Computer Science 176, 2858-2867, 2020
2020
Preserving the Correctness of Dynamic Workflows within a Cloud Environment
FF Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
the 22nd International Conference Knowledge-Based and Intelligent …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20