Souha Boubaker

According to our database, Souha Boubaker authored at least 11 papers between 2015 and 2021.

Collaborative distances:

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

2021

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation.

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul

J. Univers. Comput. Sci., 2021

2019

A SAT-Based Formal Approach for Verifying Business Process Configuration.

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul

Proceedings of the Big Data Innovations and Applications, 2019

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

PhD thesis, 2018

A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics.

Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul

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

2017

Towards Correct Cloud Resource Allocation in Business Processes.

Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul

IEEE Trans. Serv. Comput., 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.

Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

2016

An Event-B Based Approach for Ensuring Correct Configurable Business Processes.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Proceedings of the IEEE International Conference on Web Services, 2016

A Formal Guidance Approach for Correct Process Configuration.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

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

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.

Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane

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