Back to INDEX

  Publications of Samir Chouali  

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 and Ahmed Hammad. Formal verification of components assembly based on SysML and interface automata. ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering, 7(4):265--274, September 2011. Note: Revised and extended version of a paper presented at the UML&FM'11 conference. [bibtex]


  3. 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]


  4. Samir Chouali, M. Heisel, and J. Souquières. Proving Component Interoperability with B Refinement. ENTCS, Electronic Notes in Theoretical Computer Science, special issue on FACS'05 selected best papers, 160-8:157--172, 2006. [bibtex]


  5. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, and Françoise Bellegarde. PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions. ACM Transactions on Embedded Computing Systems (TECS), 4(2):267--301, May 2005. [bibtex]


Conference articles
  1. Samir Chouali, Ahmed Hammad, and Hasan Mountassir. Assembling Components using SysML with Non-Functional Requirements. In FESCA 2012, 9th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume * of ENTCS, Electronic Notes in Theoretical Computer Science, Tallinn, Estonia, pages ***--***, March 2012. Note: To appear. [bibtex]


  2. 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]


  3. 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]


  4. 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]


  5. 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]


  6. 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]


  7. 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]


  8. 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]


  9. Samir Chouali. Cooperation between the B method and the automata theory to check the component interoperability. In FACS'2006, 3rd Int. Workshop on Formal Aspects of Components Software, Prague, Czech Republic, pages 211--227, September 2006. [bibtex]


  10. Françoise Bellegarde, Samir Chouali, and Jacques Julliand. Refinement Verification of Fair Transition Systems can Contribute to PLTL Model Checking. In Third ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2005), Verona, Italy, pages 167--176, July 2005. IEEE Computer Society Press. Note: ISBN 0-7803-9227-2. [bibtex]


  11. J. Souquières and Samir Chouali. Verifying the compatibility of component interfaces using the B formal method. In SERP'05, int. conf. on Software Engineering Research and Practice, pages 850--856, 2005. CSREA Press. [bibtex]


  12. Samir Chouali and Jacques Julliand. Model Checking des propriétés dynamiques sous hypothèses d'équité, exploitant le raffinement. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 277--291, January 2003. [bibtex]


  13. Françoise Bellegarde, Samir Chouali, and Jacques Julliand. Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 477--496, January 2002. [bibtex]


  14. Françoise Bellegarde, Samir Chouali, Jacques Julliand, and Olga Kouchnarenko. Comment limiter la spécification de l'équité dans les systèmes d'événements B ?. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 205--220, June 2001. [bibtex]


Other publications
  1. Samir Chouali and Ahmed Hammad. Formal verification of components assembly based on SysML and interface automata. Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version, June 2011. [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