selected publications

• academic article

  • Towards correct cloud resource allocation in FOSS applications.  Future Generation Computer Systems.  91:392-406. 2018
  • Towards an Approach of Formal Verification of Web Service Composition.  .  2011

• chapter

  • On the Discovery of Conceptual Clustering Models Through Pattern Mining.  Frontiers in artificial intelligence and applications. 2024
  • Deadlock-Freeness Verification of Business Process Configuration Using SOG.  Lecture notes in computer science. 96-112. 2017
  • A Formal Guidance Approach for Correct Process Configuration.  Lecture notes in computer science. 483-498. 2016
  • A Global SLA-Aware Approach for Aggregating Services in the Cloud.  Lecture notes in computer science. 363-380. 2016

• conference paper

  • A Non-overlapping Community Detection Approach Based on α-Structural Similarity.  . 2023
  • Model checking of vulnerabilities in smart contracts.  Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 316-325. 2022
  • A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.  . 69-74. 2021
  • A Survey on Formal Verification for Solidity Smart Contracts.  . 1-10. 2021
  • [WiP] Formal Modelling of IT Resource Allocation in Business Processes.  . 227-232. 2018
  • An Event-B Based Approach for Ensuring Correct Configurable Business Processes.  . 460-467. 2016
  • Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.  . 746-753. 2016
  • 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
  • Formal Modeling for Verifying SCA Dynamic Composition with Event-B.  . 29-34. 2015
  • Formal modeling for verifying SCA composition.  . 193-204. 2015
  • Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach.  . 68-73. 2014
  • Event-B Formalisation of Web Services for Dynamic Composition.  . 150-156. 2012
  • Towards a transformation of composite web service with QoS extension into ACME\Armani.  . 349-352. 2011
  • ATL Transformation for the Generation of SCA Model.  . 164-167. 2011
  • Profile UML2.0 for Specification of the SCA Architectures.  . 191-194. 2011
  • Verifying Composite Service Transactional Behavior with EVENT-B.  . 99-106. 2011