Raoudha Maraoui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2010–2015
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | WETICE | Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition. | Raoudha Maraoui, Bechir Ayeb |
| 2013 | WETICE | A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services. | Raoudha Maraoui, Eric Cariou, Bechir Ayeb |
| 2011 | IIWAS | Towards a transformation of composite web service with QoS extension into ACME\Armani. | Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2010 | IIWAS | Towards an approach of formal verification of mediation protocol based on web services. | Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |