default search action

combined dblp search
author search
venue search
publication search

ask others

Faten Fakhfakh

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/lht/FakhfakhTM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lht/FakhfakhTM22
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Cybersecurity attacks on CAN bus based vehicles: a review and open challenges. Libr. Hi Tech 40(5): 1179-1203 (2022)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/isda/AbdallahFF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isda/AbdallahFF22
Nesrine Ouled Abdallah, Fairouz Fakhfakh, Faten Fakhfakh:
Overview of Blockchain-Based Seafood Supply Chain Management. ISDA (4) 2022: 71-80
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/FakhfakhTM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/FakhfakhTM20
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Modeling and Proving Distributed Algorithms for Dynamic Graphs. Future Gener. Comput. Syst. 108: 751-761 (2020)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijndc/FakhfakhTM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijndc/FakhfakhTM20
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int. J. Networked Distributed Comput. 8(4): 203-213 (2020)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/FakhfakhTM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/FakhfakhTM20
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting. ICCCI 2020: 267-278
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kes/Fakhfakh0M20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/Fakhfakh0M20
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Formal specification and verification of a broadcasting protocol: a refinement-based approach. KES 2020: 2858-2867

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/FakhfakhTM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/FakhfakhTM19
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks. Computación y Sistemas 23(4) (2019)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcmc/Fakhfakh0M19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcmc/Fakhfakh0M19
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
An Evaluative Review of the Formal Verification for VANET Protocols. IWCMC 2019: 1209-1214
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iwcmc/Fakhfakh0M19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcmc/Fakhfakh0M19a
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah:
A Comprehensive Survey on Broadcasting Emergency Messages. IWCMC 2019: 1983-1988
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/FakhfakhKKF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/FakhfakhKKF18
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Faten Fakhfakh:
Preserving the Correctness of Dynamic Workflows within a Cloud Environment. KES 2018: 1541-1550
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/Fakhfakh0MK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/Fakhfakh0MK18
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review. KES 2018: 1551-1560
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/seke/Fakhfakh0MK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/Fakhfakh0MK18
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks. SEKE 2018: 348-347
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/FakhfakhTMMK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/FakhfakhTMMK17
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem:
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21(4) (2017)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ACISicis/FakhfakhTMMK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACISicis/FakhfakhTMMK17
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem:
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS 2017: 1-6
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isda/FakhfakhTMK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isda/FakhfakhTMK17
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem:
Algorithms for Finding Maximal and Maximum Cliques: A Survey. ISDA 2017: 745-754
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/FakhfakhTKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/FakhfakhTKM16
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs. WETICE 2016: 44-49
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/FakhfakhTKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/FakhfakhTKM15
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
A formal pattern for dynamic networks through evolving graphs. AICCSA 2015: 1-4
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/snpd/FakhfakhTKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/FakhfakhTKM15
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs. SNPD (revised selected papers) 2015: 227-243
2013
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/closer/BakloutiFGJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/BakloutiFGJ13
Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel:
OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services. CLOSER 2013: 224-227

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.