Bechir Ayeb

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Diminishing Returns

Model Driven Engineering

Tree Decompositions

Top Venues

Int. J. Artif. Intell. Tools

Publications

Raoudha Maraoui, Bechir Ayeb
Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition. WETICE (2015)
Raoudha Maraoui, Eric Cariou, Bechir Ayeb
A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services. WETICE (2013)
Maher Helaoui, Wady Naanaa, Bechir Ayeb
Submodularity-Based Decomposing for Valued CSP. Int. J. Artif. Intell. Tools 22 (2) (2013)