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/}
}