biblio.bib

@phdthesis{Guatto-These-2016,
  author = {Adrien Guatto},
  title = {A Synchronous Functional Language with Integer Clocks},
  school = {PSL Research University},
  year = {2016},
  url = {Guatto-These-2016.pdf}
}
@inproceedings{GuattoMandel-JFLA-2014,
  author = {Adrien Guatto and Louis Mandel},
  title = {R{\'e}seaux de {Kahn} {\`a} rafales et horloges enti{\`e}res},
  booktitle = {Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'14})},
  year = 2014,
  month = jan,
  address = {Fr{\'e}jus, France},
  url = {GuattoMandel-JFLA-2014.pdf}
}
@inproceedings{MandelPlateau-MPC-2012,
  author = {Louis Mandel and Florence Plateau},
  title = {Scheduling and Buffer Sizing of n-Synchronous Systems:
           Typing of Ultimately Periodic Clocks in {Lucy-n}},
  booktitle = {Eleventh International Conference on Mathematics of Program Construction ({MPC'12})},
  year = 2012,
  month = jun,
  address = {Madrid, Spain},
  url = {MandelPlateau-MPC-2012.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/mpc12/}
}
@inproceedings{MandelPlateauPouzet-FMCAD-2011,
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  title = {Static Scheduling of Latency Insensitive Designs with {Lucy-n}},
  booktitle = {Formal Methods in Computer Aided Design ({FMCAD 2011})},
  year = 2011,
  month = oct,
  address = {Austin, TX, USA},
  url = {MandelPlateauPouzet-FMCAD-2011.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/fmcad11/}
}
@inproceedings{MandelPlateau-JFLA-2011,
  author = {Louis Mandel and Florence Plateau},
  title = {Typage des horloges p{\'e}riodiques en {Lucy-n}},
  booktitle = {Vingt deuxi{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2011})},
  year = 2011,
  month = jan,
  address = {La Bresse, France},
  url = {MandelPlateau-JFLA-2011.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/jfla11/}
}
@inproceedings{MandelPlateauPouzet-MPC-2010,
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  title = {{Lucy-n}: a n-Synchronous Extension of {Lustre}},
  booktitle = {Tenth International Conference on Mathematics of Program Construction ({MPC 2010})},
  year = 2010,
  month = jun,
  address = {Qu{\'e}bec, Canada},
  url = {MandelPlateauPouzet-MPC-2010.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/mpc10/}
}
@inproceedings{MandelPlateauPouzet-DCC-2010,
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  title = {Clock Typing of n-Synchronous Programs},
  booktitle = {Designing Correct Circuits ({DCC 2010})},
  year = 2010,
  month = mar,
  address = {Paphos, Cyprus},
  url = {MandelPlateauPouzet-DCC-2010.pdf}
}
@inproceedings{MandelPlateauPouzet-GDR-LTP-2010,
  title = {{Lucy-n~:} une extension n-synchrone de {Lustre}},
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  booktitle = {Deuxi{\`e}mes Journ{\'e}es nationales du GDR G{\'e}nie de la Programmation et du Logiciel},
  month = mar,
  year = 2010,
  address = {Pau, France},
  url = {MandelPlateauPouzet-GDR-LTP-2010.pdf},
  note = {Article invit{\'e}}
}
@inproceedings{MandelPlateau-JFLA-2010,
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  title = {{Lucy-n} : une extension n-synchrone de {Lustre}},
  booktitle = {Vingt et uni{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2010})},
  year = 2010,
  month = jan,
  address = {Vieux-Port La Ciotat, France},
  url = {MandelPlateau-JFLA-2010.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/jfla10/}
}
@inproceedings{CohenMandelPlateauPouzet-HFL-2009,
  author = {Albert Cohen and Louis Mandel and Florence Plateau and Marc Pouzet},
  title = {Relaxing Synchronous Composition with Clock Abstraction},
  booktitle = {Hardware Design using Functional Languages ({HFL 2009})},
  year = 2009,
  month = mar,
  address = {York, UK},
  pages = {35-52},
  url = {CohenMandelPlateauPouzet-HFL-2009.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/hfl09/}
}
@inproceedings{MandelPlateau-JFLA-2009,
  author = {Louis Mandel and Florence Plateau},
  title = {Abstraction d'horloges dans les syst{\`e}mes synchrones flot de donn{\'e}es},
  booktitle = {Vingti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2009})},
  year = 2009,
  month = jan,
  address = {Saint-Quentin sur Is{\`e}re, France},
  publisher = {INRIA},
  url = {MandelPlateau-JFLA-2009.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/jfla09/}
}
@phdthesis{Plateau-These-2010,
  author = {Florence Plateau},
  month = jan,
  school = {Universit{\'e} Paris-Sud 11},
  title = {Mod{\`e}le n-synchrone pour la programmation de r{\'e}seaux de Kahn {\`a} m{\'e}moire born{\'e}e},
  year = {2010},
  url = {Plateau-These-2010.pdf},
  webpage = {http://www.lri.fr/~plateau/these}
}
@inproceedings{CohenMandelPlateauPouzet-APLAS-2008,
  author = {Albert Cohen and Louis Mandel and Florence Plateau and
                  Marc Pouzet},
  title = {{Abstraction of Clocks in Synchronous Data-flow Systems}},
  booktitle = {The Sixth ASIAN Symposium on Programming Languages and Systems
              ({APLAS 2008})},
  year = 2008,
  month = dec,
  date = {9--11},
  address = {Bangalore, India},
  url = {CohenMandelPlateauPouzet-APLAS-2008.pdf},
  webpage = {http://www.lri.fr/~mandel/lucy-n/aplas08/}
}
@inproceedings{CohenDurantonEisenbeisPagettiPlateau-POPL-2006,
  author = {Albert Cohen and Marc Duranton and Christine Eisenbeis
                  and Claire Pagetti and Florence Plateau and Marc Pouzet},
  title = {{N}-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems},
  booktitle = {ACM International Conference on 
                  Principles of Programming Languages (POPL'06)},
  address = {Charleston, South Carolina, USA},
  month = jan,
  year = 2006,
  url = {CohenDurantonEisenbeisPagettiPlateau-POPL-2006.pdf}
}
@inproceedings{CohenDurantonEisenbeisPagettiPlateau-EMSOFT-2005,
  author = {Albert Cohen and Marc Duranton and Christine Eisenbeis
                  and Claire Pagetti and Florence Plateau and Marc Pouzet},
  title = {Synchronizing Periodic Clocks},
  booktitle = {ACM International Conference on 
                  Embedded Software (EMSOFT'05)},
  address = {Jersey city, New Jersey, USA},
  month = sep,
  year = 2005,
  url = {CohenDurantonEisenbeisPagettiPlateau-EMSOFT-2005.pdf}
}

This file was generated by bibtex2html 1.98.