Profils utilisateurs correspondant à "Faten Fakhfakh"

Faten Fakhfakh

Dr. Eng, ReDCAD Lab, University of Sfax-Tunisia
Adresse e-mail validée de redcad.org
Cité 119 fois

Vehicle platooning systems: Review, classification and validation strategies

F Fakhfakh, M Tounsi, M Mosbah - International Journal of Networked and …, 2020 - Springer
This paper presents a systematic literature review of platooning systems with a special focus
on the strategies which have been adopted to validate platooning algorithms. We collect the …

Cybersecurity attacks on CAN bus based vehicles: a review and open challenges

F Fakhfakh, M Tounsi, M Mosbah - Library hi tech, 2022 - emerald.com
Purpose Nowadays, connected vehicles are becoming quite complex systems which are
made up of different devices. In such a vehicle, there are several electronic control units (ECUs) …

Investissements en capital humain et en RD, formes de l'innovation et exportations

G Ballot, G Bresson, F Fakhfakh, H Hammoudi, F Galia… - 2001 - agris.fao.org
French. Cette étude explore les relations entre deux formes de capital immatériel, la formation
financée par l'entreprise et la recherche-développement, l'innovation et les exportations. …

An evaluative review of the formal verification for vanet protocols

F Fakhfakh, M Tounsi, M Mosbah - 2019 15th International …, 2019 - ieeexplore.ieee.org
Vehicular ad-hoc networks (VANETs) technology has become an active research area over
the last few years. It has a huge potential to improve traffic efficiency, road safety as well as …

Proving distributed coloring of forests in dynamic networks

F Fakhfakh, M Tounsi, M Mosbah, D Méry… - Computación y …, 2017 - scielo.org.mx
The design and the proof of correctness of distributed algorithms in dynamic networks are
difficult tasks. These networks are characterized by frequent topology changes due to …

Towards a formal model for dynamic networks through refinement and evolving graphs

F Fakhfakh, M Tounsi, AH Kacem… - … , Networking and Parallel …, 2016 - Springer
Due to the highly Fakhfakh, Faten dynamic Tounsi, Mohamed behavior and Kacem, Ahmed
Hadj the time Mosbah, Mohamed complexity in Mobile Ad-hoc NEtworks (MANETs), …

Formal verification approaches for distributed algorithms: A systematic literature review

F Fakhfakh, M Tounsi, M Mosbah, AH Kacem - Procedia Computer Science, 2018 - Elsevier
Distributed algorithms have become a rapidly growing field of research due to the advances
of the network technologies. However, they are very difficult to implement correctly because …

Modeling and proving distributed algorithms for dynamic graphs

F Fakhfakh, M Tounsi, M Mosbah - Future Generation Computer Systems, 2020 - Elsevier
Proving the correctness of distributed algorithms is a difficult challenge in dynamic networks.
In these networks, topological changes can take place due to unexpected appearance and …

A comprehensive survey on broadcasting emergency messages

F Fakhfakh, M Tounsi, M Mosbah - 2019 15th International …, 2019 - ieeexplore.ieee.org
Broadcasting official and emergency information is seen as a principle role for controlling
crisis situations. In fact, it has a great importance to ensure the communication between …

Algorithms for finding maximal and maximum cliques: A survey

F Fakhfakh, M Tounsi, M Mosbah… - Intelligent Systems Design …, 2018 - Springer
Finding maximal and maximum cliques are well-known problems in the graph theory. They
have different applications in several fields such as the analysis of social network, …