Souha Boubaker

According to our database1, Souha Boubaker
  • authored at least 7 papers between 2015 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...