| [1] | Louis Mandel and Marc Pouzet. ReactiveML : un langage fonctionnel pour la programmation réactive. Technique et Science Informatiques (TSI), 2007. Accepted for publication. [ bib | .pdf ] |
| [2] | 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'07), March 2007. [ bib | .pdf ] |
| [3] | DVT Cluster. Prototype of AADL simulation in SCADE. ASSERT deliverable 4.3.2-2, ASSERT Project, November 2006. [ bib ] |
| [4] | 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 ] |
| [5] | DVT Cluster. Report on modeling GALS in SCADE. ASSERT deliverable 4.3.2-1, ASSERT Project, February 2006. [ bib ] |
| [6] | 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'06), Turku, Finland, June 2006. [ bib | .pdf ] |
| [7] | 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'06), Nice, France, May 2006. [ bib | .pdf ] |
| [8] | 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'05), Lisbon, Portugal, July 2005. [ bib | extended.pdf | .pdf ] |
| [9] | Louis Mandel and Farid Benbadis. Simulation of mobile ad hoc network protocols in ReactiveML. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05), Edinburgh, Scotland, April 2005. Electronic Notes in Theoretical Computer Science. [ bib | .pdf ] |
| [10] | Louis Mandel and Marc Pouzet. ReactiveML, un langage pour la programmation réactive en ML. In Journées Francophones des Langages Applicatifs (JFLA'05), Obernai, France, March 2005. INRIA. [ bib | .ps ] |
| [11] | Farid Benbadis, Louis Mandel, Marc Pouzet, and Ludovic Samper. Simulation of ad hoc networks in ReactiveML. En préparation, December 2006. [ bib | .pdf ] |
| [12] | Louis Mandel. Factorisation de polynômes sur les corps finis. Rapport de magistère, Université Paris 6, Septembre 2001. [ bib | .ps.gz ] |
| [13] | 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 has been generated by bibtex2html 1.85.