According to our database1, Souha Boubaker authored at least 9 papers between 2015 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Formal verification of business process configuration in the Cloud. (Vérification formelle de la configuration des processus métiers dans le Cloud).
PhD thesis, 2018
A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Towards Correct Cloud Resource Allocation in Business Processes.
IEEE Trans. Services Computing, 2017
Deadlock-Freeness Verification of Business Process Configuration Using SOG.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017
An Event-B Based Approach for Ensuring Correct Configurable Business Processes.
Proceedings of the IEEE International Conference on Web Services, 2016
A Formal Guidance Approach for Correct Process Configuration.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015