selected publications

• academic article

  • Towards an Approach of Formal Verification of Web Service Composition.  .  2011

• chapter

  • Automatic Processing of Planning Problems: Application on Representative Case Studies.  Communications in computer and information science. 436-445. 2022
  • Towards a Formal Verification Approach for Service Component Architecture.  Frontiers in artificial intelligence and applications. 2017

• conference paper

  • 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