Farah Zoubeyr

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 6

Top Topics

Computing Environments

Mobility Management

Service Composition

Top Venues

Int. J. Softw. Tools Technol. Transf.

Eng. Appl. Artif. Intell.

Int. J. Inf. Secur. Priv.

Publications

Asma Cherifi, Mohamed Essaid Khanouche, Yacine Amirat, Farah Zoubeyr
A parallel approach for user-centered QoS-aware services composition in the Internet of Things. Eng. Appl. Artif. Intell. 123 (Part B) (2023)
Mohamed Essaid Khanouche, Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari
Flexible QoS-aware services composition for service computing environments. Comput. Networks 166 (2020)
Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari
A Valid and Correct-by-Construction Formal Specification of RBAC. Int. J. Inf. Secur. Priv. 14 (2) (2020)
Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari
A correct-by-construction model for attribute-based access control. Clust. Comput. 23 (3) (2020)
Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari
A Correct-by-Construction Model for Attribute-Based Access Control. MEDI (2018)
Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari
A correct-by-construction model for asynchronously communicating systems. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Farah Zoubeyr, Abdelkamel Tari, Aris M. Ouksel
Backward validation of communicating complex state machines in web services environments. Distributed Parallel Databases 27 (3) (2010)
Farah Zoubeyr, Abdelkamel Tari, Zahir Tari
Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes. CIIA (2009)