| [1] |
Louis Mandel and Florence Plateau.
Scheduling and buffer sizing of n-synchronous systems: Typing of
ultimately periodic clocks in Lucy-n.
In Eleventh International Conference on Mathematics of Program
Construction (MPC'12), Madrid, Spain, June 2012. [ bib | more details | .pdf ] |
| [2] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Static scheduling of latency insensitive designs with Lucy-n.
In Formal Methods in Computer Aided Design (FMCAD 2011),
Austin, TX, USA, October 2011. [ bib | more details | .pdf ] |
| [3] |
Pejman Attar, Frédéric Boussinot, Louis Mandel, and Jean-Ferdy Susini.
Proposal for a Dynamic Synchronous Language.
Draft, May 2011. [ bib | .pdf ] |
| [4] |
Louis Mandel and Florence Plateau.
Typage des horloges périodiques en Lucy-n.
In Vingt deuxièmes Journées Francophones des Langages
Applicatifs (JFLA 2011), La Bresse, France, January 2011. [ bib | more details | .pdf ] |
| [5] |
Louis Mandel and Florence Plateau.
Interactive programming of reactive systems.
Draft, November 2010. [ bib | more details | .pdf ] |
| [6] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Lucy-n: a n-synchronous extension of Lustre.
In Tenth International Conference on Mathematics of Program
Construction (MPC 2010), Québec, Canada, June 2010. [ bib | more details | .pdf ] |
| [7] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Clock typing of n-synchronous programs.
In Designing Correct Circuits (DCC 2010), Paphos, Cyprus,
March 2010. [ bib | .pdf ] |
| [8] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Lucy-n : une extension n-synchrone de Lustre.
In Deuxièmes Journées nationales du GDR Génie de la
Programmation et du Logiciel, Pau, France, March 2010.
Article invité. [ bib | .pdf ] |
| [9] |
Louis Mandel.
Cours de ReactiveML.
In Vingt et unièmes Journées Francophones des Langages
Applicatifs (JFLA 2010), Vieux-Port La Ciotat, France, January 2010. [ bib | .pdf ] |
| [10] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
Lucy-n : une extension n-synchrone de Lustre.
In Vingt et unièmes Journées Francophones des Langages
Applicatifs (JFLA 2010), Vieux-Port La Ciotat, France, January 2010. [ bib | more details | .pdf ] |
| [11] |
Louis Mandel, Florence Plateau, and Marc Pouzet.
The ReactiveML toplevel (tool demonstration).
In ACM SIGPLAN Workshop on ML, Edinburgh, UK, August 2009.
Workshop ICFP 2009. [ bib | .pdf ] |
| [12] |
Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet.
Relaxing synchronous composition with clock abstraction.
In Hardware Design using Functional Languages (HFL 2009),
pages 35-52, York, UK, March 2009. [ bib | more details | .pdf ] |
| [13] |
Louis Mandel and Florence Plateau.
Abstraction d'horloges dans les systèmes synchrones flot de
données.
In Vingtièmes Journées Francophones des Langages
Applicatifs (JFLA 2009), Saint-Quentin sur Isère, France, January
2009. INRIA. [ bib | more details | .pdf ] |
| [14] |
Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet.
Abstraction of Clocks in Synchronous Data-flow Systems.
In The Sixth ASIAN Symposium on Programming Languages and
Systems (APLAS 2008), Bangalore, India, December 2008. [ bib | more details | .pdf ] |
| [15] |
Louis Mandel and Florence Plateau.
Interactive programming of reactive systems.
In Proceedings of Model-driven High-level Programming of
Embedded Systems (SLA++P'08), Electronic Notes in Computer Science, pages
44-59, Budapest, Hungary, April 2008. Elsevier Science Publishers. [ bib | more details | .pdf ] |
| [16] |
Louis Mandel and Marc Pouzet.
ReactiveML : un langage fonctionnel pour la programmation
réactive.
Technique et Science Informatiques (TSI),
27(9-10/2008):1097-1128, 2008. [ bib | .pdf ] |
| [17] |
Louis Mandel and Luc Maranget.
Programming in JoCaml (tool demonstration).
In 17th European Symposium on Programming (ESOP 2008), pages
108-111, Budapest, Hungary, April 2008. [ bib | .pdf ] |
| [18] |
Louis Mandel and Luc Maranget.
Programming in JoCaml - extended version.
Technical Report 6261, INRIA, 2007. [ bib | .pdf ] |
| [19] |
Louis Mandel and Luc Maranget.
The JoCaml system, 2007.
Software and documentation available at
http://jocaml.inria.fr/. [ bib | .pdf ] |
| [20] |
Lionel Morel and Louis Mandel.
Executable contracts for incremental prototypes of embedded systems.
In Formal Foundations of Embedded Software and Component-Based
Software Architectures (FESCA 2007), March 2007. [ bib | .pdf ] |
| [21] |
DVT Cluster.
Prototype of AADL simulation in SCADE.
ASSERT deliverable 4.3.2-2, ASSERT Project, November 2006. [ bib ] |
| [22] |
Louis Mandel.
Conception, Sémantique et Implantation de ReactiveML : un
langage à la ML pour la programmation réactive.
PhD thesis, Université Paris 6, 2006. [ bib | .pdf ] |
| [23] |
DVT Cluster.
Report on modeling GALS in SCADE.
ASSERT deliverable 4.3.2-1, ASSERT Project, February 2006. [ bib ] |
| [24] |
Nicolas Halbwachs and Louis Mandel.
Simulation and verification of asynchronous systems by means of a
synchronous model.
In Sixth International Conference on Application of Concurrency
to System Design (ACSD 2006), Turku, Finland, June 2006. [ bib | .pdf ] |
| [25] |
Ludovic Samper, Florence Maraninchi, Laurent Mounier, and Louis Mandel.
GLONEMO: Global and accurate formal models for the analysis of ad
hoc sensor networks.
In Proceedings of the First International Conference on
Integrated Internet Ad hoc and Sensor Networks (InterSense 2006), Nice,
France, May 2006. [ bib | .pdf ] |
| [26] |
Louis Mandel and Marc Pouzet.
ReactiveML, a reactive extension to ML.
In Proceedings of 7th ACM SIGPLAN International conference on
Principles and Practice of Declarative Programming (PPDP 2005), Lisbon,
Portugal, July 2005. [ bib | extended.pdf | .pdf ] |
| [27] |
Louis Mandel and Farid Benbadis.
Simulation of mobile ad hoc network protocols in ReactiveML.
In Proceedings of Synchronous Languages, Applications, and
Programming (SLAP 2005), Edinburgh, Scotland, April 2005. Electronic Notes
in Theoretical Computer Science. [ bib | .pdf ] |
| [28] |
Louis Mandel and Marc Pouzet.
ReactiveML, un langage pour la programmation réactive en ML.
In Journées Francophones des Langages Applicatifs (JFLA
2005), Obernai, France, March 2005. INRIA. [ bib | .ps ] |
| [29] |
Farid Benbadis, Louis Mandel, Marc Pouzet, and Ludovic Samper.
Simulation of ad hoc networks in ReactiveML.
En préparation, December 2006. [ bib | .pdf ] |
| [30] |
Louis Mandel.
Factorisation de polynômes sur les corps finis.
Rapport de magistère, Université Paris 6, Septembre 2001. [ bib | .ps.gz ] |
| [31] |
Louis Mandel.
Aspects dynamiques dans les langages synchrones : la cas des
SugarCubes.
Rapport de D.E.A., Université Paris 6, Septembre 2002. [ bib | .ps.gz ] |
This file was generated by bibtex2html 1.96.