Optimal cost for time-aware cloud resource allocation in business process RB Halima, S Kallel, W Gaaloul, M Jmaiel 2017 IEEE International Conference on Services Computing (SCC), 314-321, 2017 | 30 | 2017 |
Formal verification of time-aware cloud resource allocation in business process R Ben Halima, S Kallel, K Klai, W Gaaloul, M Jmaiel On the Move to Meaningful Internet Systems: OTM 2016 Conferences …, 2016 | 22 | 2016 |
Toward a correct and optimal time-aware cloud resource allocation to business processes RB Halima, S Kallel, W Gaaloul, Z Maamar, M Jmaiel Future Generation Computer Systems 112, 751-766, 2020 | 19 | 2020 |
Optimal business process deployment cost in cloud resources R Ben Halima, S Kallel, M Ahmed Nacer, W Gaaloul The Journal of Supercomputing 77 (2), 1579-1611, 2021 | 11 | 2021 |
Formal verification of temporal constraints and allocated cloud resources in business processes RB Halima, I Zouaghi, S Kallel, W Gaaloul, M Jmaiel 2018 IEEE 32nd international conference on advanced information networking …, 2018 | 9 | 2018 |
Scheduling business process activities for time-aware cloud resource allocation RB Halima, S Kallel, W Gaaloul, M Jmaiel On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018 | 5 | 2018 |
Formal modeling and verification of property-based resource consumption cycles RB Halima, K Klai, M Sellami, Z Maamar 2021 IEEE International Conference on Services Computing (SCC), 370-375, 2021 | 2 | 2021 |
Cost optimization of business processes based on time constraints on cloud resources RBH Kchaou Institut polytechnique de Paris, 2020 | | 2020 |