Meriem Ouederni
- Institut National Polytechnique (Toulouse) (Toulouse INP)
- Institut de recherche en informatique de Toulouse (IRIT)
Domaines de recherche
Compétences
Publications
Publications
How AI can advance MDE ?3rd International Conference on Intelligent Systems and Pattern Recognition (ISPR 2023), May 2023, Hammamet, Tunisia. à paraître |
|
|
|
Handling Reparation in Incremental Construction of Realizable Conversation Protocols8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166 |
|
|
Incremental Construction of Realizable Choreographies11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19 |
|
|
Towards correct Evolution of Conversation Protocols10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Oct 2016, Tunis, Tunisia. pp.193-201 |
|
|
Correct-by-Construction Evolution of Realisable Conversation ProtocolsMEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273 |
|
|
La composition de services dans le monde asynchrone Formalisation et vérification en TLA+14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39 |
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based ProtocolsThird 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⟩ |
|
|
|
Comparator: A Tool for Quantifying Behavioural CompatibilityFASE 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⟩ |
|
|
Compatibility Checking for Asynchronously Communicating SoftwareFACS 2013, Oct 2013, Nanchang, China |
|
|
Counterexample Guided Synthesis of Monitors for Realizability EnforcementAutomated 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⟩ |
|
|
Measuring the Compatibility of Service Interaction Protocols26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan |
|
|
Client Update: A Solution for Service Evolution8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States |
Quantifying Service Compatibility: A Step Beyond the Boolean Approaches8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626 |
|
|
|
Tau Be or not Tau Be? - A Perspective on Service Compatibility and SubstitutabilityInternational Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. pp.57--70 |
|
|
Flooding-Based Algorithm for Behavioural Compatibility Measuring[Research Report] Inria Rennes. 2014 |