Faten Fakhfakh

According to our database, Faten Fakhfakh authored at least 19 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Libr. Hi Tech, 2022

Overview of Blockchain-Based Seafood Supply Chain Management.

Nesrine Ouled Abdallah, Fairouz Fakhfakh, Faten Fakhfakh

Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

2020

Vehicle Platooning Systems: Review, Classification and Validation Strategies.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Int. J. Networked Distributed Comput., 2020

Modeling and Proving Distributed Algorithms for Dynamic Graphs.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Future Gener. Comput. Syst., 2020

Formal specification and verification of a broadcasting protocol: a refinement-based approach.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Proceedings of the Computational Collective Intelligence - 12th International Conference, 2020

2019

Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Computación y Sistemas, 2019

A Comprehensive Survey on Broadcasting Emergency Messages.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

An Evaluative Review of the Formal Verification for VANET Protocols.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah

Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

2018

A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Preserving the Correctness of Dynamic Workflows within a Cloud Environment.

Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

2017

Proving Distributed Coloring of Forests in Dynamic Networks.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem

Computación y Sistemas, 2017

Algorithms for Finding Maximal and Maximum Cliques: A Survey.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem

Proceedings of the Intelligent Systems Design and Applications, 2017

A correct-by-construction approach for proving distributed algorithms in spanning trees.

Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs.

Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

2015

Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs.

Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Proceedings of the Software Engineering, 2015

A formal pattern for dynamic networks through evolving graphs.

Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2013

OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services.

Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel

Proceedings of the CLOSER 2013, 2013