Back to INDEX

  Publications of Julien Dormoy  

Articles in journal or book chapters
  1. 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]


  2. Julien Dormoy, Olga Kouchnarenko, and Hassan Mountassir. Politiques d'adaptation pour la reconfiguration du composant de localisation. JESA, Journal européen des systèmes automatisés, 43(7-8-9):773--789, November 2009. Note: Edition spéciale MSR'09 - Modélisation des systèmes réactifs. [bibtex]


Conference articles
  1. Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. In FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software, volume * of LNCS, Oslo, Norway, pages ***--***, September 2011. Springer. Note: To appear in the LNCS series. [bibtex]


  2. Arnaud Lanoix, Julien Dormoy, and Olga Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. In FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume 279-2 of ENTCS, Electronic Notes in Theoretical Computer Science, Saarbrücken, Germany, pages 43--57, April 2011. [bibtex]


  3. Julien Dormoy, Aloïs Dreyfus, and Olga Kouchnarenko. EVA4Fractal: adaptation de composants Fractal basée sur des événements. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 245--278, June 2010. Note: Papier court. [bibtex]


  4. Julien Dormoy and Olga Kouchnarenko. Event-based Adaptation Policies for Fractal Components. In AICCSA 2010, ACS/IEEE Int. Conf. on Computer Systems and Applications, Hammamet, Tunisia, pages 1--8, May 2010. IEEE Computer Society Press. [bibtex]


  5. Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. In FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, volume 6921 of LNCS, Guimaraes, Portugal, pages 200--217, October 2010. Springer. [bibtex]


  6. Julien Dormoy. Modèle à composants Fractal pour simuler et reconfigurer le CyCab. In AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, pages 139, January 2009. [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