publications.bib

@inproceedings{MandelPlateau-JFLA11,
  author = {Louis Mandel and Florence Plateau},
  title = {{Typage des horloges périodiques en Lucy-n}},
  booktitle = {{Vingt deuxièmes Journ\'ees Francophones des Langages Applicatifs (JFLA 11)}},
  year = 2011,
  month = jan,
  address = {La Bresse, France},
  url = {papers/jfla11.pdf},
  webpage = {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 10)}},
  year = 2010,
  month = jun,
  address = {Qu{\'e}bec, Canada},
  url = {papers/mpc10.pdf},
  webpage = {mpc10/}
}
@inproceedings{MandelPlateauPouzet-DCC10,
  address = {Paphos, Cyprus},
  title = {{Clock Typing of n-Synchronous Programs}},
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  booktitle = {Designing Correct Circuits (DCC 10)},
  month = mar,
  year = 2010,
  url = {papers/dcc10.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 = {papers/gdr-ltp10.pdf}
}
@inproceedings{MandelPlateauPouzet-JFLA10,
  author = {Louis Mandel and Florence Plateau and Marc Pouzet},
  title = {{Lucy-n~: une extension n-synchrone de Lustre}},
  booktitle = {{Vingt et unièmes Journ\'ees Francophones des Langages Applicatifs (JFLA 10)}},
  year = 2010,
  month = jan,
  address = {Vieux-Port La Ciotat, France},
  url = {papers/jfla10.pdf},
  webpage = {jfla10/}
}
@phdthesis{plateau_phd10,
  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 {K}ahn {\`a} m{\'e}moire born{\'e}e},
  year = {2010},
  webpage = {these/},
  url = {papers/plateau-these.pdf}
}
@inproceedings{lucy:hfl09,
  address = {York, UK},
  author = {Albert Cohen and Louis Mandel and Florence Plateau and Marc Pouzet},
  booktitle = {Hardware Design using Functional Languages (HFL 09)},
  month = mar,
  title = {{Relaxing Synchronous Composition with Clock Abstraction}},
  year = {2009},
  webpage = {hfl09/},
  url = {papers/hfl09.pdf}
}
@inproceedings{lucy:jfla09,
  author = {Louis Mandel and Florence Plateau},
  title = {{Abstraction d'horloges dans les systèmes synchrones flot de données}},
  booktitle = {Vingtièmes Journ\'ees Francophones des Langages Applicatifs (JFLA 09)},
  year = 2009,
  month = feb,
  address = {Saint-Quentin sur Isère, France},
  webpage = {jfla09/},
  url = {papers/jfla09.pdf}
}
@inproceedings{lucy:aplas08,
  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 08)},
  year = 2008,
  month = dec,
  date = {9--11},
  address = { Bangalore, India},
  webpage = {aplas08/},
  url = {papers/aplas08.pdf}
}
@inproceedings{rml:slap08,
  author = {Louis Mandel and Florence Plateau},
  title = {{Interactive Programming of Reactive Systems.}},
  booktitle = {Proceedings of Model-driven High-level Programming of
  Embedded Systems (SLA++P 08)},
  address = {Budapest, Hungary},
  month = apr,
  year = 2008,
  webpage = {http://www.reactiveml.org/slap08},
  url = {papers/slap08.pdf}
}
@inproceedings{lucy:popl06,
  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 = {papers/popl06.pdf}
}
@inproceedings{lucy:emsoft05,
  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 = {papers/emsoft05.pdf.gz}
}
@techreport{rr-synchrone,
  author = {A. Cohen and M. Duranton and C. Eisenbeis
                  and C. Pagetti and F. Plateau and M. Pouzet},
  title = {{Synchronizing Periodic Clocks in Kahn Networks}},
  institution = {INRIA},
  number = 5603,
  month = jun,
  year = 2005,
  url = {http://hal.inria.fr/inria-00070404/fr/}
}