Back to INDEX

  Publications of Sebti Mouelhi  

Articles in journal or book chapters
  1. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation sémantique des protocoles des composants par les automates d'interface. TSI - Technique et Science Informatiques, 31(*):***--***, 2012. Note: Papier accepté. À paraître. [bibtex]


  2. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


Conference articles
  1. Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Invariant Preservation by Component Composition Using Semantical Interface Automata. In ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances, Barcelona, Spain, pages 305--311, October 2011. [bibtex]


  2. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation des Protocoles des Composants par les Automates d'Interface. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 253--266, June 2010. [bibtex]


  3. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting Components Behaviours using Interface Automata. In SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications, Lille, France, pages 119-122, September 2010. IEEE Computer Society Press. [bibtex]


  4. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting Components using Interface Automata strengthened by Action Semantics. In FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software, Paris, France, pages 7--21, June 2010. [bibtex]


  5. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Assembly of components based on interface automata and UML component model. In Khalil Drira, editor, CAL'10, 4e Conf. Francophone sur les Architectures Logicielles, volume RNTI-L-5 of RNTI, Revue des Nouvelles Technologies de l'Information, Pau, France, pages 73--85, March 2010. Cépaduès éditions. [bibtex]


  6. Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Refinement of Interface Automata Strengthened by Action Semantics. In FESCA'09 proceedings, volume 253-1 of ENTCS, Electronic Notes in Theoretical Computer Science, York, United Kingdom, pages 111--126, 2009. [bibtex]


  7. Samir Chouali, Hassan Mountassir, and Sebti Mouelhi. An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. In FESCA'08, Formal Foundations of Embedded Software and Component-based Software Architectures, volume 238-6 of ENTCS, Electronic Notes in Theoretical Computer Science, Budapest, Hungary, pages 3--13, 2008. Elsevier. Note: A paper from 2008 published in ENTCS in 2010. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html