@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/}
}
@unpublished{AttarBoussinotMandelSusini-RR-2011,
title = {{Proposal for a Dynamic Synchronous Language}},
author = {Pejman Attar and Fr{\'e}d{\'e}ric Boussinot and Louis Mandel
and Jean-Ferdy Susini},
year = 2011,
month = may,
note = {Draft},
url = {AttarBoussinotMandelSusini-RR-2011.pdf}
}
@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/}
}
@unpublished{MandelPlateau-draft-2010-rmltop,
author = {Louis Mandel and Florence Plateau},
title = {Interactive Programming of Reactive Systems},
note = {Draft},
month = nov,
year = 2010,
url = {MandelPlateau-draft-2010-rmltop.pdf},
webpage = {http://reactiveml.org/rmltop}
}
@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-10,
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-10.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{Mandel-JFLA-2010,
author = {Louis Mandel},
title = {Cours de {ReactiveML}},
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 = {Mandel-JFLA-2010.pdf}
}
@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{MandelPlateauPouzet-MLworkshop-2009,
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
title = {The {ReactiveML} Toplevel (Tool Demonstration)},
booktitle = {ACM SIGPLAN Workshop on ML},
year = 2009,
month = aug,
address = {Edinburgh, UK},
note = {Workshop ICFP 2009},
url = {MandelPlateauPouzet-MLworkshop-2009.pdf}
}
@inproceedings{CohenMandelPlateauPouzet-HFL-09,
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-09.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/}
}
@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{MandelPlateau2008SLAP,
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})},
year = 2008,
month = apr,
address = {Budapest, Hungary},
pages = {44--59},
series = {Electronic Notes in Computer Science},
publisher = {Elsevier Science Publishers},
url = {MandelPlateau-SLAP-2008.pdf},
webpage = {http://reactiveML.org/rmltop}
}
@article{MandelPouzet-TSI-2008,
author = {Louis Mandel and Marc Pouzet},
title = {{ReactiveML} : un langage fonctionnel pour la programmation r{\'e}active},
journal = {Technique et Science Informatiques ({TSI})},
year = 2008,
volume = 27,
number = {9--10/2008},
pages = {1097--1128},
url = {MandelPouzet-TSI-2008.pdf}
}
@inproceedings{MandelMaranget-ESOP-2008,
author = {Louis Mandel and Luc Maranget},
title = {Programming in {JoCaml} (Tool Demonstration)},
booktitle = {17th European Symposium on Programming ({ESOP 2008})},
year = 2008,
month = apr,
address = {Budapest, Hungary},
pages = {108--111},
url = {MandelMaranget-ESOP-2008.pdf}
}
@techreport{MandelMaranget-RR-2007,
author = {Louis Mandel and Luc Maranget},
title = {Programming in {JoCaml} -- extended version},
institution = {INRIA},
year = 2007,
number = 6261,
url = {MandelMaranget-RR-2007.pdf}
}
@manual{MandelMaranget-jocaml-2007,
author = {Louis Mandel and Luc Maranget},
title = {The {JoCaml} system},
institution = {Inria-Rocquencourt},
note = {Software and documentation available at
\url{http://jocaml.inria.fr/}},
year = 2007,
url = {MandelMaranget-jocaml-2007.pdf}
}
@inproceedings{MorelMandel-FESCA-2007,
author = {Lionel Morel and Louis Mandel},
title = {Executable Contracts for Incremental Prototypes of Embedded Systems},
booktitle = {Formal Foundations of Embedded Software
and Component-Based Software Architectures ({FESCA 2007})},
month = mar,
year = 2007,
url = {MorelMandel-FESCA-2007.pdf}
}
@techreport{4.3.2-2,
key = {D432-2},
author = {DVT Cluster},
title = {Prototype of {AADL} simulation in {SCADE}},
type = {{ASSERT} Deliverable 4.3.2-2},
institution = {ASSERT Project},
month = nov,
year = 2006
}
@phdthesis{Mandel-These,
author = {Louis Mandel},
title = {Conception, S{\'e}mantique et Implantation de {ReactiveML} : un langage {\`a} la {ML} pour la programmation r{\'e}active},
school = {Universit{\'e} Paris 6},
year = {2006},
url = {Mandel-These.pdf}
}
@techreport{4.3.2-1,
key = {D432-1},
author = {DVT Cluster},
title = {Report on modeling {GALS} in {SCADE}},
type = {{ASSERT} Deliverable 4.3.2-1},
institution = {ASSERT Project},
month = feb,
year = 2006
}
@inproceedings{HalbwachsMandel-ACSD-2006,
author = {Nicolas Halbwachs and Louis Mandel},
title = {Simulation and verification of asynchronous systems by means of a synchronous model},
booktitle = {Sixth International Conference on Application of Concurrency to System Design ({ACSD 2006})},
year = {2006},
address = {Turku, Finland},
month = jun,
url = {HalbwachsMandel-ACSD-2006.pdf}
}
@inproceedings{SamperMaraninchiMounierMandel-InterSense-2006,
author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier
and Louis Mandel},
title = {{GLONEMO}: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks},
booktitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks ({InterSense 2006})},
year = {2006},
address = {Nice, France},
month = may,
url = {SamperMaraninchiMounierMandel-InterSense-2006.pdf}
}
@inproceedings{MandelPouzet-PPDP-2005,
author = {Louis Mandel and Marc Pouzet},
title = {{ReactiveML}, a Reactive Extension to {ML}},
booktitle = {Proceedings of 7th {ACM SIGPLAN} International conference on Principles and Practice of Declarative Programming ({PPDP 2005})},
year = 2005,
address = {Lisbon, Portugal},
month = jul,
url = {MandelPouzet-PPDP-2005.pdf},
url2 = {MandelPouzet-PPDPextended-2005.pdf}
}
@inproceedings{MandelBenbadis-SLAP-2005,
author = {Louis Mandel and Farid Benbadis},
title = {Simulation of Mobile Ad hoc Network Protocols in {ReactiveML}},
booktitle = {Proceedings of Synchronous Languages, Applications, and Programming ({SLAP 2005})},
publisher = {Electronic Notes in Theoretical Computer Science},
year = 2005,
month = apr,
address = {Edinburgh, Scotland},
url = {MandelBenbadis-SLAP-2005.pdf}
}
@inproceedings{MandelPouzet-JFLA-2005,
author = {Louis Mandel and Marc Pouzet},
title = {{ReactiveML}, un langage pour la programmation r{\'e}active en {ML}},
booktitle = {Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2005})},
year = 2005,
address = {Obernai, France},
month = mar,
publisher = {INRIA},
url = {MandelPouzet-JFLA-2005.ps}
}
@unpublished{BenbadisMandelPouzetSamper-simulation,
author = {Farid Benbadis and Louis Mandel and Marc Pouzet and Ludovic Samper},
title = {Simulation of Ad hoc Networks in {ReactiveML}},
note = {En pr{\'e}paration},
month = dec,
year = {2006},
url = {BenbadisMandelPouzetSamper-simulation.pdf}
}
@mastersthesis{Mandel-MIAIF,
author = {Louis Mandel},
title = {Factorisation de polyn{\^o}mes sur les corps finis},
school = {Universit{\'e} Paris 6},
month = {Septembre},
year = 2001,
type = {Rapport de magist{\`e}re},
url = {Mandel-MIAIF.ps.gz}
}
@mastersthesis{Mandel-DEA,
author = {Louis Mandel},
title = {Aspects dynamiques dans les langages synchrones :
la cas des {SugarCubes}},
school = {Universit{\'e} Paris 6},
month = {Septembre},
year = 2002,
type = {Rapport de {D}.{E}.{A}.},
url = {Mandel-DEA.ps.gz}
}
This file was generated by bibtex2html 1.96.