Raoudha Maraoui

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Composite Web Services

Formal Verification

Discrete Particle Swarm Optimization

Model Driven Engineering

Top Venues

Int. J. Web Inf. Syst.

Publications

Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC (2015)
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)
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. 8 (1) (2012)
Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG (2011)
Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS (2011)
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Towards an approach of formal verification of mediation protocol based on web services. iiWAS (2010)