Rania Ben Halima

According to our database, Rania Ben Halima authored at least 8 papers between 2016 and 2021.

Collaborative distances:

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

2021

Optimal business process deployment cost in cloud resources.

Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul

J. Supercomput., 2021

Formal Modeling and Verification of Property-based Resource Consumption Cycles.

Rania Ben Halima, Kais Klai, Mohamed Sellami, Zakaria Maamar

Proceedings of the IEEE International Conference on Services Computing, 2021

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

PhD thesis, 2020

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

2018

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation.

Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

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

Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

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

Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

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

Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016