Publications de Meriem OUEDERNI
Zoubeyr Farah, Yamine Aït-Ameur, Meriem Ouederni, Kamel Tari
A correct-by-construction model for asynchronously communicating systems
International Journal on Software Tools for Technology Transfer, 2017, 19 (4), pp.465-485. ⟨10.1007/s10009-016-0421-6⟩
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem
Dans : International Journal of Intelligent Systems Technologies and Applications, Inderscience Publishers, Vol. 15 N. 2, p. 95-126, 2016.
Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif 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
Sarah Benyagoub, Meriem Ouederni, Yamine Aït-Ameur, Atif Mashkoor
Incremental Construction of Realizable Choreographies
11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19
Sarah Benyagoub, Meriem Ouederni, Yamine Ait Ameur
Towards correct Evolution of Conversation Protocols (regular paper)
Dans : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Tunis, Tunisie, 06/10/16-07/10/16, Vol. 1689, Mohamed GHAZEL, Mohamed JMAIEL (Eds.), CEUR-WS : Workshop proceedings, p. 193-201, octobre 2016.
Résumé Accès : http://ceur-ws.org/Vol-1689/paper16.pdf – https://oatao.univ-toulouse.fr/24899/
BibTeXSarah Benyagoub, Meriem Ouederni, Neeraj Singh, Yamine Ait Ameur
Correct-by-Construction Evolution of Realisable Conversation Protocols (regular paper)
Dans : Model and Data Engineering International Conference (MEDI 2016), Almeria, Espagne, 21/09/16-23/09/16, Vol. 9893, Ladjel BELLATRECHE, Oscar PASTOR, Jesus Manuel ALMENDROS-JIMENEZ, Yamine AIT AMEUR (Eds.), Springer-Verlag, LNCS ISBN 978-3-319-45546-4, p. 260-273, septembre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-45547-1_21 – https://oatao.univ-toulouse.fr/24898/
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, Xavier Thirioux
La composition de services dans le monde asynchrone Formalisation et v ́erification en TLA+ (short paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2015), Bordeaux, 09/06/15-10/06/15, Frédéric Dadeau, Pascale Le Gall (Eds.), CNRS – GDR GPL, p. 34-39, juin 2015.
Accès : http://events.femto-st.fr/sites/femto-st.fr.afadl-2015/files/content/proceedings/afadl2015.pdf – https://oatao.univ-toulouse.fr/15360/
BibTeXMamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (regular paper)
Dans : Formal Techniques for Safety-Critical Systems, Luxembourg, 06/11/14-07/11/14, Vol. CCIS 476, Springer, p. 1-17, novembre 2014.
Meriem Ouederni, Gwen Salaun, Javier Camara, Pimentel Ernesto
Comparator: A Tool for Quantifying Behavioural Compatibility (regular paper)
Dans : Fundamental Approaches to Software Engineering (FASE 2014), Grenoble, France, 05/04/14-13/04/14, Stefania Gnesi, Arend Rensink (Eds.), Springer, LNCS, p. 306-309, 2014.
Meriem Ouederni, Gwen Salaun, Tevfik Bultan
Compatibility Checking for Asynchronously Communicating Software (regular paper)
Dans : Formal Aspects of Component Software (FACS 2013), China, 28/10/13-30/10/13, José Luiz Fiadeiro, Zhiming Liu (Eds.), Springer-Verlag, LNCS, p. 310-328, 2013.
Güdemann Matthias , Salaün Gwen, Meriem Ouederni
Counterexample Guided Synthesis of Monitors for Realizability Enforcement (regular paper)
Dans : Automated Technology for Verification and Analysis, Inde, 03/10/12-06/10/12, Vol. 7561, Chakraborty Supratik, Mukund Madhavan (Eds.), Springer, Lecture Notes in Computer Science, p. 238-253, 2012.
Résumé Accès : http://link.springer.com/chapter/10.1007%2F978-3-642-33386-6_20
BibTeX