latest news

additional links

other information

December 2010-March 2011: visiting scholar at UCSB. California

Octobre 2010: visiting scholar at INRIA-Rhones Alpes. France

January-April 2010: visiting scholar at INRIA-Rhones Alpes. France

Projects & Events


Please, follow this link 

2012

[BBO-POPL12] Deciding Choreography Realizability. Samik Basu, Tevfik Bultan and Meriem Ouederni. POPL'12. ACM. USA (Philadelphia), 2012. To appear.

[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.