Giti Oghabi

According to our database, Giti Oghabi authored at least 2 papers in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Model Checking Single Web Services using Markov Chains and MDPs.

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

On the Verification of Behavioral and Probabilistic Web Services Using Transformation.

Giti Oghabi, Jamal Bentahar, Abdelghani Benharref

Proceedings of the IEEE International Conference on Web Services, 2011