mandel.bib

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