Meriem Ouederni

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