Travelled to:1 × Canada
1 × France
1 × Taiwan
2 × USA
Collaborated with:G.Salaün E.Pimentel S.Basu T.Bultan J.Cámara J.A.Martín J.Cubo C.Canal
Talks about:servic (2) compat (2) choreographi (1) synchroniz (1) behaviour (1) asynchron (1) quantifi (1) protocol (1) interact (1) composit (1)
Person: Meriem Ouederni
DBLP: Ouederni:Meriem
Contributed to:
2014
2012
2012
2011
2009Wrote 5 papers:
- FASE-2014-OuederniSCP #behaviour #named
- Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.
- POPL-2012-BasuBO
- Deciding choreography realizability (SB, TB, MO), pp. 191–202.
- VMCAI-2012-BasuBO #communication #verification
- Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.
- SAC-2011-OuederniSP #interactive #protocol
- Measuring the compatibility of service interaction protocols (MO, GS, EP), pp. 1560–1567.
- ICSE-2009-CamaraMSCOCP #adaptation #automation #composition #named #web #web service
- ITACA: An integrated toolbox for the automatic composition and adaptation of Web services (JC, JAM, GS, JC, MO, CC, EP), pp. 627–630.