Rania Ben Halima

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Formal Verification

Business Process Modeling

Business Process

Top Venues

OTM Conferences

OTM Conferences (1)

Future Gener. Comput. Syst.

Publications

Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul
Optimal business process deployment cost in cloud resources. J. Supercomput. 77 (2) (2021)
Rania Ben Halima, Kais Klai, Mohamed Sellami, Zakaria Maamar
Formal Modeling and Verification of Property-based Resource Consumption Cycles. SCC (2021)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel
Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Gener. Comput. Syst. 112 (2020)
Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. AINA (2018)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. OTM Conferences (1) (2018)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC (2017)
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences (2016)