On the Verification of Behavioral and Probabilistic Web Services Using Transformation. - Giti Oghabi; Jamal Bentahar; Abdelghani Benharref (ICWS, 2011)

Model Checking Single Web Services using Markov Chains and MDPs. - Giti Oghabi; Jamal Bentahar; Abdelghani Benharref (SoMeT, 2011)