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