Journal papers (4)
[1]	Future Generation Computer Systems 2020 (Indexed in Scopus, Q1) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. Modeling and Proving Distributed Algorithms for Dynamic Graphs, The international Journal Future Generation Computer Systems (FGCS), vol. 108, 2020.
[2]	Journal of Networked and Distributed Computing 2020 (Indexed in Scopus, Q4) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. Vehicle Platooning Systems: Review, Classification and Validation Strategies The Journal Journal of Networked and Distributed Computing, vol. 8, 2020 [To be published].
[3]	Computacion y Sistemas 2019 (Indexed in Scopus, Q3) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks, The International Journal Computación y Sistemas, vol. 23(4), 2019.
[4]	Computacion y Sistemas 2017 (Indexed in Scopus, Q3) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry and Ahmed Hadj Kacem. Proving Distributed Coloring of Forests in Dynamic Networks. The International Journal Computación y Sistemas, vol. 21(4), 2017.
Conference papers (13)
[1]	KES 2020 (CORE Rank: B) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. Formal specification and verification of a broadcasting protocol: a refinement-based approach. In Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES), Verona, Italy, 2020, Elsevier [To be published].
[2]	ICCCI 2020 (CORE Rank: C) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. Towards an Efficient Clustering-based Algorithm for Emergency Messages Broadcasting. , In Proceedings of the International Conference on Computational Collective Intelligence(ICCCI), Da Nang, Vietnam, 2020, Springer [To be published].
[3]	IWCMC 2019 (CORE Rank: B) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. An Evaluative Review of the Formal Verification for VANET Protocols. In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), Tangier, Morocco, 2019, IEEE.
[4]	IWCMC 2019 (CORE Rank: B) Faten Fakhfakh, Mohamed Tounsi and Mohamed Mosbah. A Comprehensive Survey on Broadcasting Emergency Messages. In Proceedings of the 15th International Wireless Communications & Mobile Computing Conference (IWCMC), Tangier, Morocco, 2019, pp. 1983-1988, IEEE.
[5]	SEKE 2018 (CORE Rank: B) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem. A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. In Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering (SEKE), California, USA, 2018, pp. 348–347, IEEE.
[6]	KES 2018 (CORE Rank: B) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem. Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. In Proceedings of the 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES), Belgrade, Serbia, 2018, pp. 1551–1560, Elsevier.
[7]	ISDA 2017 (CORE Rank: C) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem. Algorithms for Finding Maximal and Maximum Cliques: A Survey. In Proceedings of the 17th International Conference on Intelligent Systems Design and Applications (ISDA), Delphi, India,2017, pp. 745-754, Springer.
[8]	ICIS 2017(CORE Rank: C) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry and Ahmed Hadj Kacem. A correct-by-construction approach for proving distributed algorithms in spanning trees. In Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Wuhan, 2017, pp. 1–6, IEEE.
[9]	WETICE 2016 (CORE Rank: B) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem. A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. In Proceedings of the 25th International Conference on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE), Paris, France, 2016, pp. 44–49, IEEE.
[10]	AICCSA 2015 (CORE Rank: C) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem. A formal pattern for dynamic networks through evolving graphs. In 12th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA), Marrakech, Morocco, 2015, pp. 1–4, IEEE.
[11]	SNPD 2015 (CORE Rank: C) Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah and Ahmed Hadj Kacem. Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. In 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), Takamatsu, Japan, 2015, pp. 227-243.
[12]	CLOSER 2013 (Indexed in DBLP) Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, and Mohamed Jmaiel. OWL-LingS Editor: A Tool for Semantic Description of Linguistic Web Services. In Proceedings of the 3rd International Conference on Cloud Computing and Services Science (CLOSER), Aachen, Germany, 2013, pp. 224-227.
[13]	ICWIT 2013 Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, and Mohamed Jmaiel. Linguistic Web Services Discovery. In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT),Hammamet, Tunisia, 2013, pp. 31-40.