selected publications

• academic article

  • Towards correct cloud resource allocation in FOSS applications.  Future Generation Computer Systems.  91:392-406. 2018

• conference paper

  • A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.  IEEE International Conference on Services Computing. 411-418. 2015
  • A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.  . 519-526. 2015
  • Formal Behavioral Modeling for Verifying SCA Composition with Event-B.  . 17-24. 2015
  • Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach.  . 68-73. 2014