Faten Fakhfakh
Faten Fakhfakh
Dr. Eng, ReDCAD Lab, University of Sfax-Tunisia
Verified email at redcad.org
Title
Cited by
Cited by
Year
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
72015
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
62017
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 Pattern for Dynamic Networks Through Evolving Graphs
F Fakhfakh, M Tounsi, A Hadj Kacem, M Mosbah
AICCSA, 2015
42015
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks
FF al.
Computación y Sistemas 23 (4), 2019
32019
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
Algorithms for Finding Maximal and Maximum Cliques: A Survey
F Fakhfakh, M Tounsi, M Mosbah, AH Kacem
International Conference on Intelligent Systems Design and Applications, 745-754, 2017
22017
Modeling and proving distributed algorithms for dynamic graphs
F Fakhfakh, M Tounsi, M Mosbah
Future Generation Computer Systems, 2020
12020
An Evaluative Review of the Formal Verification for VANET Protocols
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
12019
A Comprehensive Survey on Broadcasting Emergency Messages
F Fakhfakh, M Tounsi, M Mosbah
2019 15th International Wireless Communications & Mobile Computing …, 2019
12019
Vehicle Platooning Systems: Review, Classification and Validation Strategies
F Fakhfakh, M Tounsi, M Mosbah
International Journal of Networked and Distributed Computing 8 (4), 2020
2020
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
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks.
F Fakhfakh, M Tounsi, M Mosbah, AH Kacem
SEKE, 348-347, 2018
2018
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
2018
A correct-by-construction approach for proving distributed algorithms in spanning trees
F Fakhfakh, M Tounsi, M Mosbah, D Mery, AH Kacem
2017 IEEE/ACIS 16th International Conference on Computer and Information …, 2017
2017
Linguistic Web Service Discovery
N Baklouti, F Fakhfakh, B Gargouri, M Jmaiel
5th International Conference on Web and Information Technologies (ICWIT), 31-40, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–19