ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Javier Cubo; Meriem Ouederni; Carlos Canal; Ernesto Pimentel 001 (ICSE, 2009)

Interactive Specification and Verification of Behavioural Adaptation Contracts. - Javier Cámara 001; Gwen Salaün; Carlos Canal; Meriem Ouederni (QSIC, 2009)

Checking Protocol Compatibility using Maude. - Francisco Durán 001; Meriem Ouederni; Gwen Salaün (FOCLASA, 2009)

Quantifying Service Compatibility: A Step beyond the Boolean Approaches. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (ICSOC, 2010)

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability - Meriem Ouederni; Gwen Salaün (WCSI, 2010)

Client Update: A Solution for Service Evolution. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (IEEE SCC, 2011)

Measuring the compatibility of service interaction protocols. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (SAC, 2011)

Counterexample Guided Synthesis of Monitors for Realizability Enforcement. - Matthias Güdemann; Gwen Salaün; Meriem Ouederni (ATVA, 2012)

Deciding choreography realizability. - Samik Basu 001; Tevfik Bultan; Meriem Ouederni (POPL, 2012)

Synchronizability for Verification of Asynchronously Communicating Systems. - Samik Basu 001; Tevfik Bultan; Meriem Ouederni (VMCAI, 2012)

Interactive specification and verification of behavioral adaptation contracts. - Javier Cámara 001; Gwen Salaün; Carlos Canal; Meriem Ouederni (Inf. Softw. Technol., 2012)

A generic framework for n-protocol compatibility checking. - Francisco Durán 001; Meriem Ouederni; Gwen Salaün (Sci. Comput. Program., 2012)

Compatibility Checking for Asynchronously Communicating Software. - Meriem Ouederni; Gwen Salaün; Tevfik Bultan (FACS, 2013)

Comparator: A Tool for Quantifying Behavioural Compatibility. - Meriem Ouederni; Gwen Salaün; Javier Cámara 001; Ernesto Pimentel 001 (FASE, 2014)

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. - Mamoun Filali; Meriem Ouederni; Jean-Baptiste Raclet (FTSCS, 2014)

Correct-by-Construction Evolution of Realisable Conversation Protocols. - Sarah Benyagoub; Meriem Ouederni; Neeraj Kumar Singh 001; Yamine Aït Ameur (MEDI, 2016)

Towards correct Evolution of Conversation Protocols. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur (VECoS, 2016)

Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem. - Serial Rayene Boussalia; Allaoua Chaoui; Aurélie Hurault; Meriem Ouederni; Philippe Quéinnec (Int. J. Intell. Syst. Technol. Appl., 2016)

Compatibility flooding: measuring interaction of services interfaces. - Meriem Ouederni; Uli Fahrenberg; Axel Legay; Gwen Salaün (SAC, 2017)

A correct-by-construction model for asynchronously communicating systems. - Farah Zoubeyr; Yamine Aït Ameur; Meriem Ouederni; Abdelkamel Tari (Int. J. Softw. Tools Technol. Transf., 2017)

Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor (ICECCS, 2018)

Handling Reparation in Incremental Construction of Realizable Conversation Protocols. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor (MEDI Workshops, 2018)

Incremental Construction of Realizable Choreographies. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur; Atif Mashkoor (NFM, 2018)

Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. - Sarah Benyagoub; Yamine Aït Ameur; Meriem Ouederni; Atif Mashkoor; Ahmed Medeghri (J. Softw. Evol. Process., 2020)

Incremental correct-by-construction of distributed systems. - Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur (J. Comput. Lang., 2020)

Compatibility checking for asynchronously communicating software. - Meriem Ouederni (Sci. Comput. Program., 2021)

How AI can Advance Model Driven Engineering Method ? - Mohamad Suhairi Md Subhi; Willem Nicolas; Akina Renard; Gabriela Maria Garcia Romero; Meriem Ouederni; Lotfi Chaâri (ISPR (2), 2023)

MDE in the Era of Generative AI. - Ahmed Alaoui Mdaghri; Meriem Ouederni; Lotfi Chaâri (VECoS, 2024)