Souha Boubaker

According to our database1, Souha Boubaker authored at least 9 papers between 2015 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2017
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

2016
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

2015
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


  Loading...