CONTRATS

@book{LAMBDA2011,

   title={Lambda, WP 2.3, F2-5: Integration of Synchronous Approaches in UML},
   author={Charles André and Frédéric Boulanger and Sébastien Demathieu and Xavier Fornari and Dominique Marcadet},
   publisher={System@tic, Lambda},
   year={2011},
   class = "contract"

}

@book{EDONA2009,

   title={EDONA, WP~1.4.1: Definition of the models of computation of the reference languages},
   author={Frédéric Boulanger and Cécile Hardebolle and Christophe Jacquet and Dominique Marcadet and Assia Touil},
   publisher={System@tic, Num@tec automotive, EDONA},
   year={2009},
   class = "contract"

}

@book{PCxUML2007,

   title={PC-xUML~: spécifications},
   author={Frédéric Boulanger and Sébastien Demathieu and Christophe Gaston and Sébastien Gérard and 
           Cécile Hardebolle and Dominique Marcadet},
   publisher={System@tic, Usine logicielle},
   year={2007},
   class = "contract"

}

@book{ADLV2007,

   title={Module de vérification MOD-Supélec-1},
   author={Frédéric Boulanger and Hacène Bouzoualegh and Christophe 
           Jacquet and Dominique Marcadet},
   publisher={System@tic, Usine logicielle},
   year={2007},
   class = "contract"

}

@book{PCxUML2006,

   title={PC-xUML~: principes et contours},
   author={Frédéric Boulanger and Sébastien Demathieu and Christophe Gaston and Sébastien Gérard and 
           Cécile Hardebolle and Dominique Marcadet},
   publisher={System@tic, Usine logicielle},
   year={2006},
   class = "contract"

}

@book{ADEME2005,

   title={Modélisation du contrôle de processus industriels en vue d'en 
          diminuer la consommation d'énergie},
   author={Christophe Ligeret and Bruno Lorcet and Hervé Gueguen and Dominique Marcadet and Frédéric Boulanger},
   publisher={ADEME, Renault, Schneider},
   year={2004--2005},
   class = "contract"

}

@book{Thomson1999,

   title={Sémantique des systèmes modaux FSM+SDF dans Ptolemy, génération 
          de code pour architecture multi processeurs},
   author={Frédéric Boulanger},
   publisher={Thomson-CSF Detexsys},
   year={1999},
   class = "contract"

}

@book{Thomson1998,

   title={Conception et réalisation du domaine de génération de code dual du 
          domaine Synchronous Reactive de Ptolemy Classic},
   author={Frédéric Boulanger},
   publisher={Thomson-CSF Optronics},
   year={1999},
   class = "contract"

}

@book{DRET1995,

   title={Intégration de modules sécuritaires dans une application synchrone},
   author={Frédéric Boulanger},
   publisher={DRET},
   year={1993--1995},
   class = "contract"

}

CEI

@book{CNES2011,

   title={Modélisation HLAM et simulation de diagrammes d'activité UML de l'avionique lanceur Ariane},
   author={{Frédéric Boulanger, Safouan Taha}},
   publisher={CNES},
   year={2011},
   class={cei},

}

@book{CNES2010,

   title={Modélisation des dimensions des valeurs numériques avec MARTE dans les modèles UML de l'avionique lanceur Ariane},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={CNES},
   year={2010},
   class={cei},

}

@book{SOLEIL2009,

   title={Intégration d'acteurs Kepler dans Passerelle},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={Synchrotron SOLEIL},
   year={2009},
   class={cei},

}

@book{CNES2009,

   title={Modélisation MARTE des aspects temporels de l'avionique lanceur Ariane},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={CNES},
   year={2009},
   class={cei},

}

@book{SOLEIL2008,

   title={Intégration d'acteurs Ptolemy dans Passerelle},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={Synchrotron SOLEIL},
   year={2008},
   class={cei},

}

@book{CNES2008,

   title={Modélisation MARTE d'architectures matérielles pour l'avionique lanceur Ariane},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={CNES},
   year={2008},
   class={cei},

}

@book{CNES2007,

   title={Modélisation avec MARTE des fonctions de l'avionique lanceur Ariane},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={CNES},
   year={2007},
   class={cei},

}

@book{CNES2006,

   title={étude des liens entre la modélisation SysML et la méthode B},
   author={{Frédéric Boulanger, Dominique Marcadet}},
   publisher={CNES},
   year={2006},
   class={cei},

}

@book{Valtech2005,

   title={Validation de contraintes d'architecture logicielle en programmation par aspects},
   author={Frédéric Boulanger},
   publisher={Valtech},
   year={2005},
   class={cei},

}

@book{EDF2005,

   title={Conception et réalisation d'une interface de consultation et de 
          mise à jour de modèles de réseaux électriques au format CIM-XML},
   author={Frédéric Boulanger},
   publisher={EDF},
   year={2005},
   class={cei},

}

@book{CNES2005,

   title={Modélisation multi-métiers des fonctions avioniques du lanceur Ariane},
   author={Frédéric Boulanger and Dominique Marcadet},
   publisher={CNES},
   year={2005},
   class={cei},

}

@book{EDF2004,

   title={Transformation de modèles de réseaux électriques vers le modèle CIM},
   author={Frédéric Boulanger},
   publisher={EDF},
   year={2004},
   class={cei},

}

@book{EDF2003,

   title={Conception d'une interface de visualisation de modèles 
  CIM de réseaux électriques},
   author={Frédéric Boulanger},
   publisher={EDF},
   year={2003},
   class={cei},

}

@book{THALES2002,

   title={Modélisation d'une forme d'onde en UML},
   author={Frédéric Boulanger},
   publisher={Thales},
   year={2002},
   class={cei},

}

@book{HP2002,

   title={Modélisation d'un système de télémaintenance},
   author={Frédéric Boulanger},
   publisher={Hewlett-Packard},
   year={2002},
   class={cei},

}

@book{Michelin2001,

   title={Gestion de configurations de logiciels},
   author={Frédéric Boulanger},
   publisher={Michelin},
   year={2001},
   class={cei},

}

@book{Airsys2000,

   title={Intégration d'une architecture de simulateur dans l'environnement 
          Ptolemy Classic},
   author={Frédéric Boulanger},
   publisher={Thomson-CSF Airsys},
   year={2000},
   class={cei},

}

@book{Optronics2000,

   title={Conception et réalisation d'un débogueur pour les modèles 
          hétérogènes de Ptolemy~II},
   author={Frédéric Boulanger},
   publisher={Département EECS de l'université de Californie à Berkeley},
   year={2000},
   class={cei},

}