According to our database1, Souha Boubaker
Legend:Book In proceedings Article PhD thesis Other
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