%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Cedric Pasteur at 2012-07-04 16:15:18 +0200 


%% Saved with string encoding Unicode (UTF-8) 



@inproceedings{Gerard:2012,
	Author = {L{\'e}onard G{\'e}rard and Adrien Guatto and C{\'e}dric Pasteur and Marc Pouzet},
	Booktitle = {LCTES'12},
	Date-Added = {2012-07-04 16:11:46 +0200},
	Date-Modified = {2012-07-04 16:15:18 +0200},
	Keywords = {synchronous programming; type system},
	Title = {A Modular Memory Optimization for Synchronous Data-Flow Languages},
	Year = {2012}}

@Article{sigali,
  author =	 {H. Marchand and P. Bournai and M. Le Borgne and
                  P. Le Guernic},
  title =	 {Synthesis of Discrete-Event Controllers based on the
                  {Signal} Environment},
  journal =	 {Discrete Event Dynamic System: Theory and
                  Applications},
  year =	 2000,
  volume =	 10,
  number =	 4,
  month =	 oct,
  annote =	 {Description of the \textsc{Sigali} tool.}
}

@InProceedings{lctes10,
  Author       = {Gwena{\"e}l Delaval and Herv{\'e} Marchand and Eric
                  Rutten},
  Title        = {Contracts for Modular Discrete Controller Synthesis},
  Booktitle    = {Proceedings of the ACM SIGPLAN/SIGBED Conference on
                  Languages, Compilers and Tools for Embedded Systems,
                  LCTES 2010},
  address      = {Stockholm, Sweden},
  Pages        = {57--66},
  Year         = 2010,
  month        = apr,
  Note         = {\url{http://doi.acm.org/10.1145/1755951.1755898}}
}

@InProceedings{ls-automata,
  author       = {J.-L. Cola\c{c}o and B. Pagano and M.  Pouzet},
  title        = {{A Conservative Extension of Synchronous Data-flow
                  with State Machines}},
  booktitle    = {ACM Int. Conf. on Embedded Software (EMSOFT'05)},
  address      = {Jersey city, New Jersey, USA},
  month        = {September},
  year         = 2005,
}
