Meriem Ouederni

Identifiants chercheurs

IdHAL :

meriem-ouederni

ORCID :

0000-0002-4669-2087

IdRef :

200744739

Publications

Communication dans un congrès (14)

How AI can advance MDE ? Lotfi Chaâri,Willem Nicolas,Mohamad Suhairi Subhi,Akina Renard,Gabriela Maria Garcia-Romeroet al. 3rd International Conference on Intelligent Systems and Pattern Recognition (ISPR 2023), May 2023, Hammamet, Tunisia. à paraître Communication dans un congrès hal-04338171v1
Incremental Construction of Realizable Choreographies Sarah Benyagoub,Meriem Ouederni,Yamine Aït-Ameur,Atif Mashkoor 11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19 Communication dans un congrès hal-02450856v1
Handling Reparation in Incremental Construction of Realizable Conversation Protocols Sarah Benyagoub,Yamine Aït-Ameur,Meriem Ouederni,Atif Mashkoor 8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166 Communication dans un congrès hal-02486106v1
Towards correct Evolution of Conversation Protocols Sarah Benyagoub,Meriem Ouederni,Yamine Aït-Ameur 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Oct 2016, Tunis, Tunisia. pp.193-201 Communication dans un congrès hal-03658738v1
Correct-by-Construction Evolution of Realisable Conversation Protocols Sarah Benyagoub,Meriem Ouederni,Neeraj Kumar Singh,Yamine Aït-Ameur MEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273 Communication dans un congrès hal-02353832v1
La composition de services dans le monde asynchrone Formalisation et vérification en TLA+ Florent Chevrou,Aurélie Hurault,Philippe Mauran,Meriem Ouederni,Philippe Quéinnecet al. 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39 Communication dans un congrès hal-01343037v1
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols M Filali,Meriem Ouederni,Jean-Baptiste Raclet Third International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩ Communication dans un congrès hal-03263726v1
Comparator: A Tool for Quantifying Behavioural Compatibility Meriem Ouederni,Gwen Salaün,Javier Cámara,Ernesto Pimentel FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.306-309, ⟨10.1007/978-3-642-54804-8_21⟩ Communication dans un congrès hal-00934057v1
Compatibility Checking for Asynchronously Communicating Software Meriem Ouederni,Gwen Salaün,Tevfik Bultan FACS 2013, Oct 2013, Nanchang, China Communication dans un congrès hal-00913665v1
Counterexample Guided Synthesis of Monitors for Realizability Enforcement Matthias Güdemann,Gwen Salaün,Meriem Ouederni Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩ Communication dans un congrès hal-00742159v1
Client Update: A Solution for Service Evolution Meriem Ouederni,Gwen Salaün,Ernesto Pimentel 8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States Communication dans un congrès hal-00649933v1
Measuring the Compatibility of Service Interaction Protocols Meriem Ouederni,Gwen Salaün,Ernesto Pimentel 26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan Communication dans un congrès hal-00650529v1
Quantifying Service Compatibility: A Step Beyond the Boolean Approaches Meriem Ouederni,Gwen Salaün,Ernesto Pimentel 8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626 Communication dans un congrès inria-00538963v1
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability Meriem Ouederni,Gwen Salaün International Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. pp.57--70 Communication dans un congrès inria-00539099v1

Article dans une revue (6)

Compatibility checking for asynchronously communicating software Meriem Ouederni Science of Computer Programming, 2021, 205, pp.102569. ⟨10.1016/j.scico.2020.102569⟩ Article dans une revue hal-04896360v1
Incremental correct-by-construction of distributed systems Sarah Benyagoub,Meriem Ouederni,Yamine Aït-Ameur Journal of Computer Languages, 2020, 57, pp.100942. ⟨10.1016/j.cola.2020.100942⟩ Article dans une revue hal-04896379v1
A correct-by-construction model for asynchronously communicating systems Zoubeyr Farah,Yamine Aït-Ameur,Meriem Ouederni,Kamel Tari International Journal on Software Tools for Technology Transfer, 2017, 19 (4), pp.465-485. ⟨10.1007/s10009-016-0421-6⟩ Article dans une revue hal-03511872v1
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 International Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95--126. ⟨10.1504/IJISTA.2016.076493⟩ Article dans une revue hal-03155053v1
Interactive specification and verification of behavioral adaptation contracts Javier Cámara,Gwen Salaün,Carlos Canal,Meriem Ouederni Information and Software Technology, 2012, 54 (7), pp.701-723 Article dans une revue hal-00694516v1
A generic framework for n-protocol compatibility checking Francisco Durán,Meriem Ouederni,Gwen Salaün Science of Computer Programming, 2012, 77 (7-8), pp.870-886 Article dans une revue hal-00694561v1

Rapport (1)

Flooding-Based Algorithm for Behavioural Compatibility Measuring Meriem Ouederni,Uli Fahrenberg,Axel Legay,Gwen Salaün [Research Report] Inria Rennes. 2014 Rapport (rapport de recherche) hal-01088157v1