A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services. - Raoudha Maraoui; Eric Cariou; Bechir Ayeb (WETICE, 2013)

Submodularity-Based Decomposing for Valued CSP. - Maher Helaoui; Wady Naanaa; Bechir Ayeb (Int. J. Artif. Intell. Tools, 2013)

Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition. - Raoudha Maraoui; Bechir Ayeb (WETICE, 2015)