selected publications

• academic article

  • 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
  • Cohesive Subgraph Models for Overlapping Community Search over Networks.  Frontiers in artificial intelligence and applications. 2020
  • Towards a Formal Verification Approach for Service Component Architecture.  Frontiers in artificial intelligence and applications. 2017

• conference paper

  • A Non-overlapping Community Detection Approach Based on α-Structural Similarity.  . 2023
  • 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 composition.  . 193-204. 2015
  • 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