Skip to content

Meriem Ouederni

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

12

Active years

2009–2026

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2026ACIIDSMeta-plasticity and Memory Mechanisms for Multi-activity Recognition Under Environmental Variability.Ahmed Zaghdoud, Olfa Jemai, Meriem Ouederni
2024VECoSMDE in the Era of Generative AI.Ahmed Alaoui Mdaghri, Meriem Ouederni, Lotfi Chari
2023ISPRHow AI can Advance Model Driven Engineering Method ?Mohamad Suhairi Md Subhi, Willem Nicolas, Akina Renard, Gabriela Maria Garcia Romero, Meriem Ouederni, Lotfi Chari
2018ICECCSScalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor
2018MEDIHandling Reparation in Incremental Construction of Realizable Conversation Protocols.Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor
2017SACCompatibility flooding: measuring interaction of services interfaces.Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salan
2016MEDICorrect-by-Construction Evolution of Realisable Conversation Protocols.Sarah Benyagoub, Meriem Ouederni, Neeraj Kumar Singh, Yamine At Ameur
2016VECoSTowards correct Evolution of Conversation Protocols.Sarah Benyagoub, Meriem Ouederni, Yamine At Ameur
2014FASEComparator: A Tool for Quantifying Behavioural Compatibility.Meriem Ouederni, Gwen Salan, Javier Cmara, Ernesto Pimentel
2012ATVACounterexample Guided Synthesis of Monitors for Realizability Enforcement.Matthias Gdemann, Gwen Salan, Meriem Ouederni
2012POPLDeciding choreography realizability.Samik Basu, Tevfik Bultan, Meriem Ouederni
2012VMCAISynchronizability for Verification of Asynchronously Communicating Systems.Samik Basu, Tevfik Bultan, Meriem Ouederni
2011SACMeasuring the compatibility of service interaction protocols.Meriem Ouederni, Gwen Salan, Ernesto Pimentel
2010ICSOCQuantifying Service Compatibility: A Step beyond the Boolean Approaches.Meriem Ouederni, Gwen Salan, Ernesto Pimentel
2009ICSEITACA: An integrated toolbox for the automatic composition and adaptation of Web services.Javier Cmara, Jos Antonio Martn, Gwen Salan, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel