MO

Meriem Ouederni

71%
Libre accès
21
Documents
Affiliations actuelles
  • Institut National Polytechnique (Toulouse) (Toulouse INP)
  • Institut de recherche en informatique de Toulouse (IRIT)
Contact

Présentation

Domaines de recherche

Informatique [cs]

Compétences

AI for MBSE Software Engineering Formal Methods

Publications

Publications

How AI can advance MDE ?

Lotfi Chaâri , Willem Nicolas , Mohamad Suhairi Subhi , Akina Renard , Gabriela Maria Garcia-Romero et al.
3rd International Conference on Intelligent Systems and Pattern Recognition (ISPR 2023), May 2023, Hammamet, Tunisia. à paraître
Communication dans un congrès hal-04338171 v1
Image document

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-02450856 v1
Image document

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-02486106 v1
Image document

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-02353832 v1
Image document

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-03658738 v1
Image document

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éinnec et 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-01343037 v1

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-03263726 v1
Image document

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-00934057 v1
Image document

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-00913665 v1
Image document

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-00742159 v1
Image document

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-00649933 v1
Image document

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-00650529 v1

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-00538963 v1
Image document

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-00539099 v1

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-04896360 v1

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-04896379 v1
Image document

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-03511872 v1

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-03155053 v1
Image document

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-00694516 v1
Image document

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-00694561 v1