Bechir Ayeb

According to our database, Bechir Ayeb authored at least 3 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition.

Raoudha Maraoui, Bechir Ayeb

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

2013

Submodularity-Based Decomposing for Valued CSP.

Maher Helaoui, Wady Naanaa, Bechir Ayeb

Int. J. Artif. Intell. Tools, 2013

A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services.

Raoudha Maraoui, Eric Cariou, Bechir Ayeb

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013