COMMUNICATIONS

2020

@misc{CORACPatent,

  author = {Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha},
  title = {Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System},
  date = {20 August 2020},
  number = {WO/2019/057941},
  year = {2020},
  month = {08},
  url = {https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941},
  url2 = {https://www.trademarkelite.com/patent/patent-detail/16647839/20200267046/0},
  hal_id = {hal-04495337v1},
  hal_url = {https://centralesupelec.hal.science/hal-04495337},
  class = {patent},

} % number = {16/647839 }, % note = {United States Patent 10,931,510 B2}, % url = {https://www.freepatentsonline.com/10931510.html}, % url = {https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941},

CORACPatentApplication,

  author = {Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha},
  title = {Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System},
  date = {20 August 2020},
  number = {16/647839 },
  note = {United States Patent Application 20200267046},
  year = {2020},
  url = {https://www.freepatentsonline.com/y2020/0267046.html},
  class = {patent-app},

2013

@misc{BouETR2013,

  author = {Frédéric Boulanger},
  title = {Systems Engineering and Execution of Models with Heterogeneous Semantics},
  booktitle = {Seminar at ETR 2013},
  month = {August},
  year = {2013},
  city = {Toulouse, France},
  date = {28 August 2013},
  class = {comm},
  pdf = {https://wdi.centralesupelec.fr/boulanger/publis/ETR2013.pdf},

}

2012

@misc{BouHarCSDM2012,

  author = {Frédéric Boulanger and Cécile Hardebolle},
  title = {Execution of models with heterogeneous semantics},
  booktitle = {Tutorial on critical systems simulation at CSDM 2012},
  month = {December},
  year = {2012},
  city = {Paris, France},
  date = {14 December 2012},
  class = {comm},
  url = {http://www.csdm2012.csdm.fr/-Critical-System-Simulations-.html},
  pdf = {https://wdi.centralesupelec.fr/boulanger/publis/CSDMTutorial.pdf},

}

2005

@misc{MboBouFerPTCONF2005,

    author = {Mokhoo Aimé Mbobi and Frédéric Boulanger and Mohamed Feredj},
    title =  {Integration of a Flat Heterogeneous Domain in Ptolemy II},
    booktitle = {Sixth Biennal Ptolemy Conference},
    month = {May},
    year =  {2005},
    city = {Berkeley, California, USA},
    date = {12 May 2005},
    class={comm}

}

2003

@article{BouTUGBOAT2003,

   title={Printing Digital Photographs with {\LaTeX}},
   author={Frédéric Boulanger},
   journal={Communications of the TeX Users Group (TUGboat)},
   volume={24},
   number={3},
   pages={453--461},
   year={2003},
   issn={0896-3207},
   publisher={TeX Users Group},
   address={Portland, OR, USA},
   class = "intjournalcomm"

}

2001

@article{BouCAHGUT2001,

   title={LaTeX au pays des tableurs},
   author={Frédéric Boulanger},
   journal={Cahiers GUTenberg},
   volume={39-40},
   pages={7--16},
   month={mai},
   issn={1140-9304},
   year={2001},
   class = "natjournalcomm"

}

2000

@article{BouBouCAHGUT2000,

   title={Documentation de projets en XML},
   author={Frédéric Boulanger and Yolaine Bourda},
   journal={Cahiers GUTenberg},
   volume={35-36},
   pages={15-24},
   month={mai},
   issn={1140-9304},
   year={2000},
   class = "natjournalcomm"

}

1994

@misc{VidBouDAGSTUHL1994,

   author = {Guy Vidal-Naquet and Frédéric Boulanger},
   title =  {An Object Oriented Execution Model for Synchronous Modules},
   booktitle = {Synchronous Languages Seminar},
   month = {December},
   year =  {1994},
   city = {Dagstuhl, Germany},
   class = "comm"

}

@misc{VidBouDRET1994,

   author = {Guy Vidal-Naquet and Frédéric Boulanger and Henri Delebecque},
   title =  {Outil d'intégration automatique de modules de sûreté de 
             fonctionnement pour des applications temps-réel},
   booktitle = {Journée thématique DRET : temps-réel et sûreté de 
                fonctionnement dans les applications de la défense},
   year =  {1994},
   city = {Paris, France},
   class = "comm"

}

1993

@phdthesis{Bou1993PhD,

	abstract = {Nous présentons un modèle et des outils permettant d'intégrer des modules synchrones dans un langage à objets (C++). Ce système permet d'appliquer une méthodologie de développement par objets à des applications faisant intervenir du code synchrone. Les modules synchrones, écrits dans un langage synchrone, sont transformés automatiquement en classes C++. Les instances de ces classes ont le même comportement que les modules d'origine. Les propriétés vérifiées sur ces modules grâce aux outils de preuve de l'approche synchrone sont donc conservées. Les principaux problèmes traités sont: la communication synchrone entre objets synchrones; la communication asynchrone entre objets synchrones et tâches asynchrones; la dynamicité des objets synchrones et de leur interconnexion.},
	author = {Frédéric Boulanger},
	keywords = {Programming language, object oriented, synchronous language},
	month = {DEC},
	school = {Université Paris 11 Orsay, France},
	title = {Intégration de modules synchrones dans la programmation par objets},
	year = {1993},
	class = {phdthesis},
	pdf = {https://wdi.centralesupelec.fr/boulanger/downloads/Research/Bou1993Thesis.pdf},
	url = {http://www.theses.fr/1993PA112394}

}