@ARTICLE{MandelPouzet-TSI-2007, author = {Louis Mandel and Marc Pouzet}, title = {{ReactiveML} : un langage fonctionnel pour la programmation r{\'e}active}, journal = {Technique et Science Informatiques ({TSI})}, year = {2007}, note = {Accepted for publication}, url = {MandelPouzet-TSI-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'07})}, 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'06})}, 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'06})}, 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'05})}, 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'05})}, 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'05})}, 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 has been generated by bibtex2html 1.85.