Meriem Ouederni

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 12

Top Topics

Construction Industry

Communication Protocols

Quantum Inspired

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Mohamad Suhairi Md Subhi, Willem Nicolas, Akina Renard, Gabriela Maria Garcia Romero, Meriem Ouederni, Lotfi Chaâri
How AI can Advance Model Driven Engineering Method ? ISPR (2) (2023)
Meriem Ouederni
Compatibility checking for asynchronously communicating software. Sci. Comput. Program. 205 (2021)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. J. Softw. Evol. Process. 32 (2) (2020)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
Incremental correct-by-construction of distributed systems. J. Comput. Lang. 57 (2020)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ICECCS (2018)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor
Incremental Construction of Realizable Choreographies. NFM (2018)
Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor
Handling Reparation in Incremental Construction of Realizable Conversation Protocols. MEDI Workshops (2018)
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
Compatibility flooding: measuring interaction of services interfaces. SAC (2017)
Farah Zoubeyr, Yamine Aït Ameur, Meriem Ouederni, Abdelkamel Tari
A correct-by-construction model for asynchronously communicating systems. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols. MEDI (2016)
Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur
Towards correct Evolution of Conversation Protocols. VECoS (2016)
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem. Int. J. Intell. Syst. Technol. Appl. 15 (2) (2016)
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE (2014)
Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. FTSCS (2014)
Meriem Ouederni, Gwen Salaün, Tevfik Bultan
Compatibility Checking for Asynchronously Communicating Software. FACS (2013)
Francisco Durán, Meriem Ouederni, Gwen Salaün
A generic framework for n-protocol compatibility checking. Sci. Comput. Program. 77 (7-8) (2012)
Samik Basu, Tevfik Bultan, Meriem Ouederni
Deciding choreography realizability. POPL (2012)
Samik Basu, Tevfik Bultan, Meriem Ouederni
Synchronizability for Verification of Asynchronously Communicating Systems. VMCAI (2012)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54 (7) (2012)
Matthias Güdemann, Gwen Salaün, Meriem Ouederni
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA (2012)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Measuring the compatibility of service interaction protocols. SAC (2011)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Client Update: A Solution for Service Evolution. IEEE SCC (2011)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC (2010)
Meriem Ouederni, Gwen Salaün
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability WCSI (2010)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC (2009)
Francisco Durán, Meriem Ouederni, Gwen Salaün
Checking Protocol Compatibility using Maude. Electron. Notes Theor. Comput. Sci. 255 (2009)
Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE (2009)