Rania Ben Halima

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation

Slim Kallel, Mohamed Jmaiel, Walid Gaaloul, 2018, OTM Conferences.

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process

Slim Kallel, Mohamed Jmaiel, Walid Gaaloul, 2017, 2017 IEEE International Conference on Services Computing (SCC).

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes

Slim Kallel, Mohamed Jmaiel, Walid Gaaloul, 2018, 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process

Slim Kallel, Mohamed Jmaiel, Kais Klai, 2016, OTM Conferences.

Toward a correct and optimal time-aware cloud resource allocation to business processes

Slim Kallel, Mohamed Jmaiel, Zakaria Maamar, 2020, Future Gener. Comput. Syst..

Formal Modeling and Verification of Property-based Resource Consumption Cycles

Zakaria Maamar, Kais Klai, Mohamed Sellami, 2021, 2021 IEEE International Conference on Services Computing (SCC).