Meriem Ouederni

According to our database, Meriem Ouederni authored at least 27 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Intelligent Systems and Pattern Recognition, 2023

2021

Compatibility checking for asynchronously communicating software.

Meriem Ouederni

Sci. Comput. Program., 2021

2020

Incremental correct-by-construction of distributed systems.

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur

J. Comput. Lang., 2020

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

2018

Incremental Construction of Realizable Choreographies.

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Handling Reparation in Incremental Construction of Realizable Conversation Protocols.

Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor

Proceedings of the New Trends in Model and Data Engineering, 2018

Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.

Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

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

Compatibility flooding: measuring interaction of services interfaces.

Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün

Proceedings of the Symposium on Applied Computing, 2017

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

Towards correct Evolution of Conversation Protocols.

Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Correct-by-Construction Evolution of Realisable Conversation Protocols.

Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine Aït Ameur

Proceedings of the Model and Data Engineering - 6th International Conference, 2016

2014

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols.

Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Comparator: A Tool for Quantifying Behavioural Compatibility.

Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Compatibility Checking for Asynchronously Communicating Software.

Meriem Ouederni, Gwen Salaün, Tevfik Bultan

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

A generic framework for n-protocol compatibility checking.

Francisco Durán, Meriem Ouederni, Gwen Salaün

Sci. Comput. Program., 2012

Interactive specification and verification of behavioral adaptation contracts.

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni

Inf. Softw. Technol., 2012

Synchronizability for Verification of Asynchronously Communicating Systems.

Samik Basu, Tevfik Bultan, Meriem Ouederni

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Deciding choreography realizability.

Samik Basu, Tevfik Bultan, Meriem Ouederni

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Counterexample Guided Synthesis of Monitors for Realizability Enforcement.

Matthias Güdemann, Gwen Salaün, Meriem Ouederni

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Measuring the compatibility of service interaction protocols.

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Client Update: A Solution for Service Evolution.

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Meriem Ouederni, Gwen Salaün

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Quantifying Service Compatibility: A Step beyond the Boolean Approaches.

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Checking Protocol Compatibility using Maude.

Francisco Durán, Meriem Ouederni, Gwen Salaün

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Interactive Specification and Verification of Behavioural Adaptation Contracts.

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni

Proceedings of the Ninth International Conference on Quality Software, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.

Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel

Proceedings of the 31st International Conference on Software Engineering, 2009