Faten Fakhfakh

20 papers B 6C 6Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2023 — conf
A Formal Approach for a Railway Level Crossing Using the Event-B Method.
DiCES-N
Mohamed Tounsi, Faten Fakhfakh
2022 J jnl
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges.
Libr. Hi Tech
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2022 — conf
Overview of Blockchain-Based Seafood Supply Chain Management.
ISDA (4)
Nesrine Ouled Abdallah, Fairouz Fakhfakh, Faten Fakhfakh
2020 B conf
Formal specification and verification of a broadcasting protocol: a refinement-based approach.
KES
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2020 J jnl
Modeling and Proving Distributed Algorithms for Dynamic Graphs.
Future Gener. Comput. Syst.
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2020 B conf
Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting.
ICCCI
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2020 J jnl
Vehicle Platooning Systems: Review, Classification and Validation Strategies.
Int. J. Networked Distributed Comput.
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019 B conf
A Comprehensive Survey on Broadcasting Emergency Messages.
IWCMC
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019 B conf
An Evaluative Review of the Formal Verification for VANET Protocols.
IWCMC
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2019 J jnl
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks.
Computación y Sistemas
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah
2018 C conf
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks.
SEKE
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018 B conf
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.
KES
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2018 B conf
Preserving the Correctness of Dynamic Workflows within a Cloud Environment.
KES
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh
2017 C conf
A correct-by-construction approach for proving distributed algorithms in spanning trees.
ICIS
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017 C conf
Algorithms for Finding Maximal and Maximum Cliques: A Survey.
ISDA
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem
2017 J jnl
Proving Distributed Coloring of Forests in Dynamic Networks.
Computación y Sistemas
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2016 C conf
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs.
WETICE
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2015 C conf
A formal pattern for dynamic networks through evolving graphs.
AICCSA
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2015 — conf
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs.
SNPD (revised selected papers)
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
2013 C conf
OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services.
CLOSER
Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel