OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Ouederni, Meriem"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Article

Farah, Zoubeyr and Aït-Ameur, Yamine and Ouederni, Meriem and Tari, Kamel. A correct-by-construction model for asynchronously communicating systems. (2017) International Journal on Software Tools for Technology Transfer, 19 (4). 465-485. ISSN 1433-2779

Conference or Workshop Item

Benyagoub, Sarah and Aït-Ameur, Yamine and Ouederni, Meriem and Mashkoor, Atif. Handling Reparation in Incremental Construction of Realizable Conversation Protocols. (2018) In: 8th International Conference On Model and Data Engineering (MEDI 2018), 24 October 2018 - 26 October 2018 (Marrakech, Morocco).

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine and Mashkoor, Atif. Incremental Construction of Realizable Choreographies. (2018) In: 11th International Symposium on NASA Formal Methods (NFM 2018), 17 April 2018 - 19 April 2018 (Newport News, United States).

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine. Towards correct Evolution of Conversation Protocols. (2016) In: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 6 October 2016 - 7 October 2016 (Tunis, Tunisia).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine. Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: MEDI 2016 - Model and Data Engineering - 6th International Conference, 21 September 2016 - 23 September 2016 (Almería, Spain).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine. Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: International Conference on Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier. La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. (2015) In: 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), 9 June 2015 - 10 June 2015 (Bordeaux, France).

This list was generated on Fri Sep 17 22:21:52 2021 CEST.