Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. - Mariam Lahami; Fairouz Fakhfakh; Moez Krichen; Mohamed Jmaiel (ICTSS, 2012)

Workflow Scheduling in Cloud Computing: A Survey. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (EDOC Workshops, 2014)

A Provisioning Approach of Cloud Resources for Dynamic Workflows. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (CLOUD, 2015)

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2015)

Simulation tools for cloud computing: A survey and comparative study. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (ICIS, 2017)

CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (SERA, 2017)

An Evaluative Review and Research Challenges of the Simulation in Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Softw. Innov., 2017)

Dealing with structural changes on provisioning resources for deadline-constrained workflow. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (J. Supercomput., 2017)

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (EMCIS, 2018)

Preserving the Correctness of Dynamic Workflows within a Cloud Environment. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem; Faten Fakhfakh (KES, 2018)

Performance and Correctness of Mobile Cloud Computing Systems: Taxonomy and Open Challenges. - Fairouz Fakhfakh (IWCMC, 2019)

A refinement-based approach for verifying dynamic changes on time-aware processes. - Fairouz Fakhfakh (KES, 2019)

Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. - Fairouz Fakhfakh; Ahemd Neji; Saoussen Cheikhrouhou; Slim Kallel (MEDI Workshops, 2019)

Resolving Multi-user Conflicts in a Smart Building using RBAC. - Hamida Belkhiria; Fairouz Fakhfakh; Ismael Bouassida Rodriguez (WETICE, 2020)

Ensuring the correctness of adaptive business processes: a systematic literature review. - Fairouz Fakhfakh; Hatem Hadj Kacem; Ahmed Hadj Kacem (Int. J. Comput. Appl. Technol., 2020)

Formal Verification of Cloud and Fog Systems: A Review and Research Challenges. - Fairouz Fakhfakh; Slim Kallel; Saoussen Cheikhrouhou (J. Univers. Comput. Sci., 2021)

Overview of Blockchain-Based Seafood Supply Chain Management. - Nesrine Ouled Abdallah; Fairouz Fakhfakh; Faten Fakhfakh (ISDA (4), 2022)

Proposal Generation Process for Ensuring the Negotiation within the Cloud Environment. - Raouia Bouabdallah; Fairouz Fakhfakh (IWCMC, 2023)

Multi-objective approach for scheduling time-aware business processes in cloud-fog environment. - Fairouz Fakhfakh; Saoussen Cheikhrouhou; Bouthaina Dammak; Monia Hamdi; Mouna Rekik 001 (J. Supercomput., 2023)

Correction to: Multi-objective approach for scheduling time-aware business processes in cloud-fog environment. - Fairouz Fakhfakh; Saoussen Cheikhrouhou; Bouthaina Dammak; Monia Hamdi; Mouna Rekik 001 (J. Supercomput., 2023)

Extending OCCI for an autonomous SLA negotiation strategy in federated clouds. - Raouia Bouabdallah; Fairouz Fakhfakh (Concurr. Comput. Pract. Exp., 2024)

Workflow Scheduling in Cloud-Fog Computing Environments: A Systematic Literature Review. - Raouia Bouabdallah; Fairouz Fakhfakh (Concurr. Comput. Pract. Exp., 2024)

Multi-objective automated negotiation strategy for the distribution of energy in an IoT-Fog-Cloud environment. - Raouia Bouabdallah; Fairouz Fakhfakh; Hanen Jemal (J. Supercomput., 2025)