Souha Boubaker

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Venues

ICSOC

ICWS

OTM Conferences (1)

IEEE Trans. Serv. Comput.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. J. Univers. Comput. Sci. 27 (7) (2021)
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data (2019)
Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul
A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. OTM Conferences (1) (2018)
Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC (2017)
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10 (1) (2017)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS (2016)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA (2016)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
A Formal Guidance Approach for Correct Process Configuration. ICSOC (2016)
Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC (2015)
Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. ICWS (2015)

Souha Boubaker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Souha Boubaker