| Towards correct cloud resource allocation in business processes M Graiet, A Mammar, S Boubaker, W Gaaloul IEEE Transactions on Services Computing 10 (1), 23-36, 2016 | 36 | 2016 |
| Event-b based approach for verifying cloud resource allocation in business process S Boubaker, W Gaaloul, M Graiet, NB Hadj-Alouane 2015 IEEE International Conference on Services Computing, 538-545, 2015 | 22 | 2015 |
| Formal verification of cloud resource allocation in business processes using event-b S Boubaker, A Mammar, M Graiet, W Gaaloul 2016 IEEE 30th International Conference on Advanced Information Networking …, 2016 | 17 | 2016 |
| An event-b based approach for ensuring correct configurable business processes S Boubaker, A Mammar, M Graiet, W Gaaloul 2016 IEEE International Conference on Web Services (ICWS), 460-467, 2016 | 14 | 2016 |
| A formal guidance approach for correct process configuration S Boubaker, A Mammar, M Graiet, W Gaaloul Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff …, 2016 | 7 | 2016 |
| Deadlock-freeness verification of business process configuration using SOG S Boubaker, K Klai, K Schmitz, M Graiet, W Gaaloul Service-Oriented Computing: 15th International Conference, ICSOC 2017 …, 2017 | 6 | 2017 |
| A SAT-based formal approach for verifying business process configuration A Ait Wakrime, S Boubaker, S Kallel, W Gaaloul Big Data Innovations and Applications: 5th International Conference …, 2019 | 5 | 2019 |
| A formal approach for verifying qos variability in web services composition using event-b I Abbassi, M Graiet, S Boubaker, M Kmimech, NB Hadj-Alouane 2015 IEEE International Conference on Web Services, 519-526, 2015 | 5 | 2015 |
| A formal model for business process configuration verification supporting or-join semantics S Boubaker, K Klai, H Kortas, W Gaaloul On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018 | 4 | 2018 |
| Formal verification of business process configuration in the Cloud S Boubaker Université Paris Saclay (COmUE), 2018 | 3 | 2018 |
| A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. AA Wakrime, S Boubaker, S Kallel, E Guermazi, W Gaaloul J. Univers. Comput. Sci. 27 (7), 693-713, 2021 | 2 | 2021 |
| Event-B Formalization of Business Process Configuration S Boubaker, A Mammar, M Graiet, W Gaaloul | | |
| Etendre les Patrons de flot de contrôle dynamique avec des dépendances transactionnelles I Abbassi, M Graiet, S Boubaker Troisième Conférence en IngénieriE du Logiciel, 97, 0 | | |
Walid GaaloulTélécom SudParis, Institut Polytechnique de Paris, Samovar, FranceEmail verificata su it-sudparis.eu
