Farah Zoubeyr

According to our database, Farah Zoubeyr authored at least 7 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A parallel approach for user-centered QoS-aware services composition in the Internet of Things.

Asma Cherifi, Mohamed Essaid Khanouche, Yacine Amirat, Farah Zoubeyr

Eng. Appl. Artif. Intell., 2023

2020

A Valid and Correct-by-Construction Formal Specification of RBAC.

Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Int. J. Inf. Secur. Priv., 2020

Flexible QoS-aware services composition for service computing environments.

Mohamed Essaid Khanouche, Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Comput. Networks, 2020

A correct-by-construction model for attribute-based access control.

Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Clust. Comput., 2020

2017

A correct-by-construction model for asynchronously communicating systems.

Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari

Int. J. Softw. Tools Technol. Transf., 2017

2010

Backward validation of communicating complex state machines in web services environments.

Farah Zoubeyr, Abdelkamel Tari, Aris M. Ouksel

Distributed Parallel Databases, 2010

2009

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes.

Farah Zoubeyr, Abdelkamel Tari, Zahir Tari

Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009