Skip to Main content Skip to Navigation

Search by documents



...
hal-00934057v1  Conference papers
Meriem OuederniGwen SalaünJavier CámaraErnesto Pimentel. Comparator: A Tool for Quantifying Behavioural Compatibility
FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France
...
hal-00742159v1  Conference papers
Matthias GüdemannGwen SalaünMeriem Ouederni. Counterexample Guided Synthesis of Monitors for Realizability Enforcement
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⟩
...
hal-01343037v1  Conference papers
Florent ChevrouAurélie HuraultPhilippe MauranMeriem OuederniPhilippe Quéinnec et al.  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
...
hal-02353832v1  Conference papers
Sarah BenyagoubMeriem OuederniNeeraj Kumar SinghYamine Aït-Ameur. Correct-by-Construction Evolution of Realisable Conversation Protocols
MEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
...
hal-02486106v1  Conference papers
Sarah BenyagoubYamine Aït-AmeurMeriem OuederniAtif Mashkoor. Handling Reparation in Incremental Construction of Realizable Conversation Protocols
8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166
...
hal-02450856v1  Conference papers
Sarah BenyagoubMeriem OuederniYamine Aït-AmeurAtif Mashkoor. Incremental Construction of Realizable Choreographies
11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19