Profils utilisateurs correspondant à "Faten Fakhfakh"
Faten FakhfakhDr. 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
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 …
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
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) …
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. …
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
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 …
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
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 …
difficult tasks. These networks are characterized by frequent topology changes due to …
Towards a formal model for dynamic networks through refinement and evolving graphs
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), …
Hadj the time Mosbah, Mohamed complexity in Mobile Ad-hoc NEtworks (MANETs), …
Formal verification approaches for distributed algorithms: A systematic literature review
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 …
of the network technologies. However, they are very difficult to implement correctly because …
Modeling and proving distributed algorithms for dynamic graphs
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 …
In these networks, topological changes can take place due to unexpected appearance and …
A comprehensive survey on broadcasting emergency messages
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 …
crisis situations. In fact, it has a great importance to ensure the communication between …
Algorithms for finding maximal and maximum cliques: A survey
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, …
have different applications in several fields such as the analysis of social network, …