Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Kais Klai; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences, 2016)

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (SCC, 2017)

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. - Rania Ben Halima; Imen Zouaghi; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (AINA, 2018)

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences (1), 2018)

Toward a correct and optimal time-aware cloud resource allocation to business processes. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Zakaria Maamar; Mohamed Jmaiel (Future Gener. Comput. Syst., 2020)

Cost optimization of business processes based on time constraints on cloud resources. (Optimisation du coût des processus métier basée sur des contraintes temporelles sur ressources cloud). - Rania Ben Halima Kchaou (2020)

Formal Modeling and Verification of Property-based Resource Consumption Cycles. - Rania Ben Halima; Kais Klai; Mohamed Sellami; Zakaria Maamar (SCC, 2021)

Optimal business process deployment cost in cloud resources. - Rania Ben Halima; Slim Kallel; Mehdi Ahmed-Nacer; Walid Gaaloul (J. Supercomput., 2021)