[BBO-VMCAI12] Synchronizability for Verification of Asynchronously Communicating Systems. Samik Basu, Tevfik Bultan and Meriem Ouederni. VMCAI'12. LNCS. USA (Philadelphia), Springer Verlag 2012. To appear.

2011

[OSP-SCC11] Client Update : A Solution for Service Evolution. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. SCC’11. IEEE Computer Society Press. USA (Washington DC), 2011. To appear.

[DOS-SCP11] A Generic Framework for N-Protocol Compatibility Checking. Francisco Durán, Meriem Ouederni, and Gwen Salaün. SCP, Elsevier, 2011. Available online.

[OSP-SAC11] Measuring the Compatibility of Service Interaction Protocols. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. SAC'11. ACM, pp. 1560-1567. Taiwan (TaiChung), 2011.

2010

[OSP-ICSOC10] Quantifying Service Compatibility: A Step Beyond the Boolean Approaches. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. ICSOC'10, vol. 6470 of LNCS, Springer, pp. 619-626. California (San Francisco), 2010.

[OSP-TR10] Measuring the Compatibility of Service Interaction Protocols. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. Technical report. University of Malaga, 2010. pdf

[OS-WSCI10] Tau Be or not Tau Be? A Perspective on Service Compatibility and Substitutability. Meriem Ouederni and Gwen Salaün. WCSI'10, vol. 37 of EPTCS, pp. 57-70. Spain (Malaga), 2010.

2009

[CSCO-QSIC09] Interactive Specification and Verification of Behavioural Adaptation Contracts. Javier Cámara, Gwen Salaün, Carlos Canal, and Meriem Ouederni. QSIC'09, IEEE Computer Sociery Press, pp. 65-75. Korea (Jeju), 2009.

[DOS-FOCLASA09] Checking Protocol Compatibility using Maude. Francisco Durán, Meriem Ouederni, Gwen Salaün. FOCLASA'09, vol. 255 of ENTCS, pp. 65-81. Greece (Rhodes), 2009.

[CMSCOCP-ICSE09] ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services. Formal demo paper. Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel. ICSE'09, IEEE Computer Society Press, pp. 627-630. Canada (Vancouver), 2009.

2008

Measuring the Similarity of Service Protocols. Master thesis. Meriem Ouederni. University of Malaga, Sep 2008.