selected publications

• academic article

  • Towards an Approach of Formal Verification of Web Service Composition.  .  2011

• chapter

  • A Global SLA-Aware Approach for Aggregating Services in the Cloud.  Lecture notes in computer science. 363-380. 2016

• conference paper

  • A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.  IEEE International Conference on Services Computing. 411-418. 2015
  • Formal Behavioral Modeling for Verifying SCA Composition with Event-B.  . 17-24. 2015
  • Formal Modeling for Verifying SCA Dynamic Composition with Event-B.  . 29-34. 2015
  • Formal modeling for verifying SCA composition.  . 193-204. 2015
  • Event-B Formalisation of Web Services for Dynamic Composition.  . 150-156. 2012
  • Verifying Composite Service Transactional Behavior with EVENT-B.  . 99-106. 2011