@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.