Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. - Souha Boubaker; Walid Gaaloul; Mohamed Graiet; Nejib Ben Hadj-Alouane (SCC, 2015)

A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. - Imed Abbassi; Mohamed Graiet; Souha Boubaker; Mourad Kmimech; Nejib Ben Hadj-Alouane (ICWS, 2015)

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (AINA, 2016)

A Formal Guidance Approach for Correct Process Configuration. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (ICSOC, 2016)

An Event-B Based Approach for Ensuring Correct Configurable Business Processes. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (ICWS, 2016)

Deadlock-Freeness Verification of Business Process Configuration Using SOG. - Souha Boubaker; Kais Klai; Katia Schmitz; Mohamed Graiet; Walid Gaaloul (ICSOC, 2017)

Towards Correct Cloud Resource Allocation in Business Processes. - Mohamed Graiet; Amel Mammar; Souha Boubaker; Walid Gaaloul (IEEE Trans. Serv. Comput., 2017)

A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. - Souha Boubaker; Kais Klai; Hedi Kortas; Walid Gaaloul (OTM Conferences (1), 2018)

Formal verification of business process configuration in the Cloud. (Vérification formelle de la configuration des processus métiers dans le Cloud). - Souha Boubaker (2018)

A SAT-Based Formal Approach for Verifying Business Process Configuration. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Walid Gaaloul (Innovate-Data, 2019)

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Emna Guermazi 001; Walid Gaaloul (J. Univers. Comput. Sci., 2021)