Vehicle Platooning Systems: Review, Classification and Validation Strategies F Fakhfakh, M Tounsi, M Mosbah International Journal of Networked and Distributed Computing 8 (4), 2020 | 30 | 2020 |
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges F Fakhfakh, M Tounsi, M Mosbah Library Hi Tech, 2021 | 18 | 2021 |
An Evaluative Review of the Formal Verification for VANET Protocols F Fakhfakh, M Tounsi, M Mosbah 2019 15th International Wireless Communications & Mobile Computing …, 2019 | 11 | 2019 |
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 | 8 | 2017 |
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 | 8 | 2015 |
A Comprehensive Survey on Broadcasting Emergency Messages F Fakhfakh, M Tounsi, M Mosbah 2019 15th International Wireless Communications & Mobile Computing …, 2019 | 6 | 2019 |
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 | 6 | 2018 |
Modeling and proving distributed algorithms for dynamic graphs F Fakhfakh, M Tounsi, M Mosbah Future Generation Computer Systems, 2020 | 5 | 2020 |
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 | 5 | 2017 |
A Formal Pattern for Dynamic Networks Through Evolving Graphs F Fakhfakh, M Tounsi, A Hadj Kacem, M Mosbah AICCSA, 2015 | 5 | 2015 |
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks FF al. Computación y Sistemas 23 (4), 2019 | 4 | 2019 |
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 | 4 | 2016 |
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 | 3 | 2017 |
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 | 3 | 2013 |
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 | 2 | 2022 |
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 |