Publications




2014

[OSCP-FASE14] Comparator: A Tool for Quantifying Behavioural Compatibility(toolpaper). Meriem Ouederni, Gwen Salaun, Javier Camara and Ernesto Pimentel. In Proc of FASE’14. LNCS. Springer. pp. 306-309.

2013

[OSB-FACS13] Compatibility Checking for Asynchronously Communicating Software. Meriem Ouederni, Gwen Salaün, Tevfik Bultan. FACS'13: 310-328.

2012

[GSM-ATVA12] Counterexample Guided Synthesis of Monitors for Realizability Enforcement. Matthias Gudemann, Gwen Salaün, and Meiem Ouederni. ATVA'12. LNCS 7561, pp. 238-253. India (Thiruvananthapuram), 2012.

[DOS-SCP11] A Generic Framework for N-Protocol Compatibility Checking. Francisco Durán, Meriem Ouederni, and Gwen Salaün. Science of Computer Programming, 77(7-8):870-886, Elsevier, 2012.

[CSCO-IST12] Interactive Specification and Verification of Behavioural Adaptation Contracts. Javier Camara, Gwen Salaun, Carlos Canal, and Meriem Ouederni. Information & Software Technology, 54(7):701-723, Elsevier, 2012.

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

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

2011

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

[OSP-SAC11] Measuring the Compatibility of Service Interaction Protocols. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. SAC'11. ACM Press, 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, LNCS 6470, pp. 619-626. USA (California), Springer 2010. 

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

[OS-WSCI10] Tau Be or not Tau Be? A Perspective on Service Compatibility and Substitutability. Meriem Ouederni and Gwen Salaün. WCSI'10, EPTCS 37, 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, ENTCS 255, 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.