selected publications

• chapter

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

• conference paper

  • 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