Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes. - Farah Zoubeyr; Abdelkamel Tari; Zahir Tari (CIIA, 2009)

Backward validation of communicating complex state machines in web services environments. - Farah Zoubeyr; Abdelkamel Tari; Aris M. Ouksel (Distributed Parallel Databases, 2010)

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)

A correct-by-construction model for attribute-based access control. - Hania Gadouche; Farah Zoubeyr; Abdelkamel Tari (Clust. Comput., 2020)

Flexible QoS-aware services composition for service computing environments. - Mohamed Essaid Khanouche; Hania Gadouche; Farah Zoubeyr; Abdelkamel Tari (Comput. Networks, 2020)

A Valid and Correct-by-Construction Formal Specification of RBAC. - Hania Gadouche; Farah Zoubeyr; Abdelkamel Tari (Int. J. Inf. Secur. Priv., 2020)

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)

Physics-Aware Hybrid Estimator for Dynamic Power System Dataset Generation and Cyber Attack Simulation. - Belkacem Kadri; Layth Sliman; Abdullah Alsaedi; Juhar Ahmed Abdella; Farah Zoubeyr (IEEE Access, 2025)